Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

Logic Programming Survey


Citation: Egon Börger, "Logic Programming: The Evolving Algebra Approach." In IFIP 13th World Computer Congress 1994, Volume I: Technology and Foundations, eds. B. Pehrson and I. Simon, North-Holland, Amsterdam, 391-395.
Summary: A survey on the history of logic programming research and ASMs.
Subjects: Historical Surveys & Bibliographies
Download: LaTeX, PostScript, PDF, Compressed PostScript.
Notes: Presented at IFIP Congress '94.