Executing Formal Specifications by Translation to Higher Order Logic Programming

Authors:
James H. Andrews
Affiliations:
-
Venue:
TPHOLs '97 Proceedings of the 10th International Conference on Theorem Proving in Higher Order Logics
Year:
1997

Citing 0
Cited 2

Symbolic Functional Evaluation

TPHOLs '99 Proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics
Executing Higher Order Logic

TYPES '00 Selected papers from the International Workshop on Types for Proofs and Programs

Quantified Score

Hi-index	0.00

Visualization

Abstract