 |
|
|
|
| HAL : hal-00014540, version 1 |
| arXiv : cs.PL/0511092 |
| Fiche détaillée |  Récupérer au format |
|
|
| Journal of Logic and Algebraic Programming 70 (2007) 121-150 |
|
|
|
|
| The SL synchronous language, revisited |
|
|
| Roberto M. Amadio 1 |
|
|
| (15/02/2007) |
|
|
|
| We revisit the SL synchronous programming model introduced by Boussinot and De Simone (IEEE, Trans. on Soft. Eng., 1996). We discuss an alternative design of the model including thread spawning and recursive definitions and we explore some basic properties of the revised model: determinism, reactivity, CPS translation to a tail recursive form, computational expressivity, and a compositional notion of program equivalence. |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | Preuves, Programmes et Systèmes (PPS) |
|
|
|
CNRS : UMR7126 – Université Paris VII - Paris Diderot |
|
|
|
|
|
|
|
|
|
| Domaine | : | Informatique/Langage de programmation |
|
|
| Synchronous programming – Determinism – Reactivity – CPS translation – Expressivity – Bisimulation |
|
|
|
|
|
| hal-00014540, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00014540 | |
| oai:hal.archives-ouvertes.fr:hal-00014540 | |
| Contributeur : Roberto Amadio | |
| Soumis le : Lundi 28 Novembre 2005, 08:18:41 | |
| Dernière modification le : Mardi 15 Mai 2012, 15:36:32 | |
