A logical operational semantics of full Prolog

Authors:
Egon Börger
Affiliations:
-
Venue:
MFCS '90 Proceedings on Mathematical foundations of computer science 1990
Year:
1990

Citing 0
Cited 2

High Level System Design and Analysis Using Abstract State Machines

FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
Linking the Meaning of Programs to What the Compiler Can Verify

Verified Software: Theories, Tools, Experiments

Quantified Score

Hi-index	0.00

Visualization

Abstract