An Architecture for Interactive Program Provers

This publication has 7 references indexed in Scilit:

• Reasoning about Java classes
  Published by Association for Computing Machinery (ACM) ,1998
• Prototyping realistic programming languages based on formal specifications
  Acta Informatica, 1997
• ANTLR: A predicated‐LL(k) parser generator
  Software: Practice and Experience, 1995
• Isabelle
  Published by Springer Nature ,1994
• Larch: Languages and Tools for Formal Specification
  Published by Springer Nature ,1993
• Formal verification of Ada programs
  IEEE Transactions on Software Engineering, 1990
• Mechanizing Programming Logics in Higher Order Logic
  Published by Springer Nature ,1989