| Type de publication : |
 |
Articles dans des revues avec comité de lecture |
|
| Domaine : |
|
Informatique/Langage de programmation
|
|
| Titre : |
|
The SL synchronous language, revisited |
|
| Auteur(s) : |
|
Roberto M. Amadio ( ) 1 |
|
| Laboratoire : |
|
|
|
| Résumé : |
|
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. |
|
Langue du texte
intégral : |
|
Anglais |
|
|
| Journal : |
|
| Journal of Logic and Algebraic Programming |
| Publisher |
Elsevier |
| ISSN |
1567-8326 |
|
|
| Audience : |
|
internationale |
|
| Date de publication : |
|
15/02/2007 |
|
| Volume : |
|
70 |
|
| Page, identifiant, ... : |
|
121-150 |
|
|
| Mots Clés : |
|
Synchronous programming – Determinism – Reactivity – CPS translation – Expressivity – Bisimulation |
|
|
| Contrat, financement : |
|
ACI CRISS. |
|
Récupérer au format
