Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

Parlog


Citation: Egon Börger and Elvinia Riccobene, "A formal specification of Parlog." In M. Droste and Y. Gurevich, eds., Semantics of Programming Languages and Model Theory, Gordon and Breach, 1993, pp. 1--42.
Summary: A formal semantics for Parlog, a parallel version of Prolog.
Subjects: Programming Languages
Download: PostScript, PDF, Compressed PostScript
Notes: