From Programs to Object Code using Logic and Logic Programming

This publication has 10 references indexed in Scilit:

• An approach to verifiable compiling specification and prototyping
  Published by Springer Nature ,2005
• Prolog in Practical Compiler Writing
  The Computer Journal, 1991
• Formal specification of the ProCoS/safemos instruction set
  Microprocessors and Microsystems, 1990
• An introduction to Prolog III
  Communications of the ACM, 1990
• Constraint logic programming languages
  Communications of the ACM, 1990
• The Synthesis of Logic Programs from Inductive Proofs
  Published by Springer Nature ,1990
• The transputer T414 instruction set
  IEEE Micro, 1989
• The laws of OCCAM programming
  Theoretical Computer Science, 1988
• Logic programming and compiler writing
  Software: Practice and Experience, 1980
• The Semantics of Predicate Logic as a Programming Language
  Journal of the ACM, 1976