Synchronous Functional Programming with Lucid Synchrone
Kapitel i bok, 2010

Functional languages

Synchronous model

Reactive systems

Unique framework

Programming language

Författare

P. Caspi

Verimag

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

Ämneskategorier

Data- och informationsvetenskap

DOI

10.1002/9780470611012.ch7

ISBN

9781848210134