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

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.
[an error occurred while processing this directive]
Jim Huggins / huggins@acm.org
Valid HTML 4.0!

[an error occurred while processing this directive] URL: http://web.eecs.umich.edu/gasm/papers/logicsurvey.html (page only)
last update: Wednesday, 14-Aug-2013 18:19:19 EDT