[an error occurred while processing this directive] [an error occurred while processing this directive]

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:  
[an error occurred while processing this directive]