Abstraction of Clocks in Synchronous Data-Flow Systems
From MaRDI portal
Publication:5502727
DOI10.1007/978-3-540-89330-1_17zbMath1286.68073MaRDI QIDQ5502727
Louis Mandel, Albert Cohen, Florence Plateau, Marc Pouzet
Publication date: 9 January 2009
Published in: Programming Languages and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-89330-1_17
real-time systems; semantics; compilation; synchronous languages; Kahn process networks; type-systems
68N15: Theory of programming languages
68N18: Functional programming and lambda calculus
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
Uses Software
Cites Work