A formal specification of PARLOG

Authors:
Egon Börger;Elvinia Riccobene
Affiliations:
-;-
Venue:
Semantics of programming languages and model theory
Year:
1993

Citing 0
Cited 1

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

Quantified Score

Hi-index	0.00

Visualization

Abstract