An Implementation of Constructive Synchronous Programs in POLIS

This publication has 12 references indexed in Scilit:

• Domains and Lambda-Calculi
  1998
• Hardware-Software Co-Design of Embedded Systems
  1997
• Asynchronous Circuits
  1995
• Analysis of cyclic combinational circuits
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1994
• Synchronous Programming of Reactive Systems
  1993
• The Esterel synchronous programming language: design, semantics, implementation
  Science of Computer Programming, 1992
• Programming real-time applications with SIGNAL
  Proceedings of the IEEE, 1991
• The synchronous data flow programming language LUSTRE
  Proceedings of the IEEE, 1991
• Statecharts: a visual formalism for complex systems
  Science of Computer Programming, 1987
• LCF considered as a programming language
  Theoretical Computer Science, 1977