Executing formal specifications by translation to higher order logic programming

This publication has 9 references indexed in Scilit:

• An evaluation semantics for classical proofs
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Automating formal specification-based testing
  Published by Springer Nature ,1997
• Value-passing CCS in HOL
  Published by Springer Nature ,1994
• S: A machine readable specification notation based on higher order logic
  Published by Springer Nature ,1994
• Towards a meaning of life
  The Journal of Logic Programming, 1993
• The CLP( ℛ ) language and system
  ACM Transactions on Programming Languages and Systems, 1992
• Uniform proofs as a foundation for logic programming
  Annals of Pure and Applied Logic, 1991
• Higher-order logic programming
  Published by Springer Nature ,1986
• A Calculus of Communicating Systems
  Lecture Notes in Computer Science, 1980