Synchronous programming of reactive systems
Lecture notes in computer science1998pp. 1–16
Citations Over TimeTop 1% of 1998 papers
Related Papers
- Operational refinement for compiler correctness(2012)
- A Prolog Compiler for the PLM(1984)
- → Prolog in Practical Compiler Writing(1991)12 cited
- → Babel, an application of extensible compilers(1971)4 cited
- → Development of C-Prolog compiler(1987)