|
| << vorige | volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 3 van 25 gevonden artikelen
| Titel: |
A fixpoint semantics for "memory cells" in synchronous dataflows |
| Auteur: |
Catalin Dima |
| Verschenen in: |
Anale. Serie informaticÿéa |
| Paginering: | Jaargang 6 (2008) nr. 1 pagina's 31-59 |
| Jaar: |
2008 |
| Inhoud: |
We study an iteration operation modeling the repeated behavior of syn-chronous dataflows in which all partial results are issued and also memorized for the next computation step. The definition is by means of a fixpoint equation. We prove some equational properties of iteration, comparing them to the ones of the Elgot iteration. We also prove a normal form theorem for dataflows and show that equality is decidable for canonical dataflows associated to freely generated algebraic theories. |
| Uitgever: |
Mirton Publishing House, Timisoara (provided by DOAJ) |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 3 van 25 gevonden artikelen
| << vorige | volgende >> |