Executing formal specifications by translation to higher order logic programming-Reference-Cited by-同舟云学术

Executing formal specifications by translation to higher order logic programming

Published:1997 Issue: Volume: Page:17-32
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Andrews James H.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/BFb0028383

Reference18 articles.

1. Hassan Ait-Kaci and Andreas Podelski. Towards a meaning of Life. Journal of Logic Programming, 16(3/4):195, July 1993.

2. Pascal Brisset and Olivier Ridoux. The compilation of Lambda Prolog and its execution with MALI. Technical Report 1831, INRIA, 1993.

3. Albert Camilleri. Simulation as an aid to verification using the HOL theorem prover. Technical Report 150, University of Cambridge Computer Laboratory, October 1988.

4. Michael R. Donat. Automating formal specification-based testing. In TAPSOFT: 7th International Joint Conference on Theory and Practice of Software Engineering, April 1997.

5. John Harman and Dale Miller. From operational semantics to abstract machines: Preliminary results. In Proceedings of the ACM Conference on Lisp and Functional Programming, pages 323–332, Nice, France, June 1990. ACM Press.

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Non-unified View of Modelling, Specification and Programming;Leveraging Applications of Formal Methods, Verification and Validation. Modeling;2018

2. Executing Higher Order Logic;Lecture Notes in Computer Science;2002

3. Symbolic Functional Evaluation;Lecture Notes in Computer Science;1999

4. 3.3.4 Practical Experience Applying Formal Methods to Air Traffic Management Software;INCOSE International Symposium;1998-07