Synchronous Functional Programming with Lucid Synchrone
Kapitel i bok, 2010
Synchronous model
Reactive systems
Unique framework
Programming language
Functional languages
Författare
P. Caspi
Université Grenoble Alpes
Grégoire Hamon
Chalmers, Data- och informationsteknik, Datavetenskap
M. Pouzet
Laboratoire de Recherche en Informatique
Modeling and Verification of Real-Time Systems: Formalisms and Software Tools
207-247
9781848210134 (ISBN)
Ämneskategorier (SSIF 2011)
Data- och informationsvetenskap
DOI
10.1002/9780470611012.ch7
ISBN
9781848210134