default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID3rd SLAP@ETAPS 2004: Barcelona, Spain
- Florence Maraninchi, Alain Girault, Marc Pouzet:
Proceedings of the Third International Workshop on Synchronous Languages, Applications, and Programs, SLAP 2004, Satellite Event of ETAPS 2004, Barcelona, Spain, March 28, 2004. Electronic Notes in Theoretical Computer Science 153(4), Elsevier 2006 - Florence Maraninchi, Alain Girault, Marc Pouzet:
Preface. 1-2 - Laure Gonnord, Nicolas Halbwachs, Pascal Raymond:
From Discrete Duration Calculus to Symbolic Automata. 3-18 - Eric Vecchié, Robert de Simone:
Syntax-driven Behavior Partitioning for Model-checking of Esterel Programs. 19-35 - Grégoire Hamon:
Synchronous Dataflow Pattern Matching. 37-54 - Olivier Tardieu:
Goto and Concurrency Introducing Safe Jumps in Esterel. 55-70 - Klaus Schneider
, Jens Brandt, Tobias Schüle:
A Verified Compiler for Synchronous Programs with Local Declarations. 71-97 - Reinhard Budde, Axel Poigné, Karl-Heinz Sylla:
synERJY An Object-oriented Synchronous Language. 99-115 - Stephen A. Edwards, Vimal Kapadia, Michael Halasz:
Compiling Esterel into Static Discrete-Event Code. 117-131
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-29 20:21 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
