A tool to support formal reasoning about computer languages

This publication has 15 references indexed in Scilit:

• Generation of formatters for context-free languages
  ACM Transactions on Software Engineering and Methodology, 1996
• Studying the ML module system in HOL
  The Computer Journal, 1995
• The essence of functional programming
  1992
• Notions of computation and monads
  Information and Computation, 1991
• Mechanizing Programming Logics in Higher Order Logic
  1989
• Centaur: the system
  ACM SIGPLAN Notices, 1988
• The ergo support system: an integrated set of tools for prototyping integrated environments
  ACM SIGSOFT Software Engineering Notes, 1988
• Object-oriented development for Ada
  ACM SIGSOFT Software Engineering Notes, 1988
• The PSG system: from formal language definitions to interactive programming environments
  ACM Transactions on Programming Languages and Systems, 1986
• A higher-order implementation of rewriting
  Science of Computer Programming, 1983