Executing HOL Specifications: Towards an Evaluation Semantics for Classical Higher Order Logic

Authors:
Sreeranga P. Rajan
Affiliations:
-
Venue:
HOL'92 Proceedings of the IFIP TC10/WG10.2 Workshop on Higher Order Logic Theorem Proving and its Applications
Year:
1992

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
An executable object-oriented semantics and its application to firewall verification

Software and Systems Modeling (SoSyM)
Mechanization Of Real-Time Linear Csp With Higher Order Logic

Fundamenta Informaticae

Hi-index	0.00