Towards a provably correct hardware implementation of occam

This publication has 12 references indexed in Scilit:

• The VLSI-programming language Tangram and its translation into handshake circuits
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Normal form approach to compiler design
  Acta Informatica, 1993
• From Programs to Object Code using Logic and Logic Programming
  Published by Springer Nature ,1992
• Logic Program Synthesis and Transformation
  Published by Springer Nature ,1992
• FORMAL METHODS AND SOFTWARE SAFETY
  Published by Elsevier ,1992
• Towards Truly Delay-Insensitive Circuit Realizations of Process Algebras
  Published by Springer Nature ,1991
• Prolog in Practical Compiler Writing
  The Computer Journal, 1991
• The laws of OCCAM programming
  Theoretical Computer Science, 1988
• Occam as a hardware description language
  Software Engineering Journal, 1987
• Programming in Prolog
  Published by Springer Nature ,1987