The SL synchronous language, revisited

Simple item page
dc.creatorAmadio, Roberto
dc.date2005-11-28
dc.date.accessioned2026-07-07T08:05:51Z
dc.date.available2026-07-07T08:05:51Z
dc.descriptionWe 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.
dc.identifierhttps://arxiv.org/abs/cs/0511092
dc.identifierhttp://arxiv.org/abs/cs/0511092
dc.identifierJournal of Logic and Algebraic Programming 70 (15/02/2007) 121-150
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/130408
dc.subjectProgramming Languages
dc.titleThe SL synchronous language, revisited
dc.typetext

Files

Collections

arXiv