On the expressiveness of Timed Concurrent Constraint Programming
We prove that both the synchronous data flow language Lustre restricted to finite value types and the synchronous state oriented language Argos are embedded in the synchronous paradigm Timed Concurrent Constraint (tcc). In fact, for each of the two languages we provide a tcc language encoding it com...
Uloženo v:
| Vydáno v: | Electronic notes in theoretical computer science Ročník 27; s. 3 - 17 |
|---|---|
| Hlavní autor: | |
| Médium: | Journal Article |
| Jazyk: | angličtina |
| Vydáno: |
Elsevier B.V
1999
|
| ISSN: | 1571-0661, 1571-0661 |
| On-line přístup: | Získat plný text |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
| Shrnutí: | We prove that both the synchronous data flow language Lustre restricted to finite value types and the synchronous state oriented language Argos are embedded in the synchronous paradigm Timed Concurrent Constraint (tcc). In fact, for each of the two languages we provide a tcc language encoding it compositionally w.r. to the structure of programs. Moreover, we prove that the “strong abortion” mechanism of the synchronous imperative language Esterel can be encoded in tcc. |
|---|---|
| ISSN: | 1571-0661 1571-0661 |
| DOI: | 10.1016/S1571-0661(05)80291-9 |