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

Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

CLP(X)


Citation: Christoph Beierle, "Formal design of an abstract machine for constraint logic programming". In IFIP 13th World Computer Congress 1994, Volume I: Technology and Foundations, eds. B. Pehrson and I. Simon, North-Holland, Amsterdam, 377-382.
Summary: A general implementation scheme for CLP(X) is studied by designing a generic extension WAM(X) of the WAM. Based on the approach used in the WAM and PAM papers, a corresponding generic compilation scheme of CLP(X) programs to WAM(X) code is developed, obtaining also a mathematical correctness proof of the design.
Subjects: Verification, WAM / Logic Programming
Download: PostScript, PDF, Compressed PostScript.
Notes: Presented at IFIP Congress '94.
[an error occurred while processing this directive]