The SL synchronous language, revisitedReportar como inadecuado




The SL synchronous language, revisited - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

1 PPS - Preuves, Programmes et Systèmes

Abstract : 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.

Keywords : Synchronous programming Determinism Reactivity CPS translation Expressivity Bisimulation





Autor: Roberto M. Amadio -

Fuente: https://hal.archives-ouvertes.fr/



DESCARGAR PDF




Documentos relacionados