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

Ämneskategorier

Data- och informationsvetenskap

DOI

10.1002/9780470611012.ch7

ISBN

9781848210134

Mer information

Senast uppdaterat

2021-07-09