First Steps Towards Inferential Programming

This publication has 23 references indexed in Scilit:

• A System for Assisting Program Transformation
  ACM Transactions on Programming Languages and Systems, 1982
• Programming in a wide spectrum language: a collection of examples
  Science of Computer Programming, 1981
• Program Development as a Formal Activity
  IEEE Transactions on Software Engineering, 1981
• Transformational Implementation: An Example
  IEEE Transactions on Software Engineering, 1981
• The Four-Color Theorem and Mathematical Proof
  The Journal of Philosophy, 1980
• The paradigms of programming
  Communications of the ACM, 1979
• Social processes and proofs of theorems and programs
  Communications of the ACM, 1979
• Edinburgh LCF
  Lecture Notes in Computer Science, 1979
• A partial evaluator, and its use as a programming tool
  Artificial Intelligence, 1977
• A Transformation System for Developing Recursive Programs
  Journal of the ACM, 1977