liu.seSearch for publications in DiVA
Change search
ReferencesLink to record
Permanent link

Direct link
Towards a methodology for the design of abstract machines for logic programming languages
Linköping University, Department of Computer and Information Science, TCSLAB - Theoretical Computer Science Laboratory. Linköping University, The Institute of Technology.
1993 (English)In: The journal of logic programming, ISSN 0743-1066, E-ISSN 1873-5789, Vol. 16, no 1-2, 163-189 p.Article in journal (Refereed) Published
Abstract [en]

A number of constituents of a methodology for the systematic design of abstract machines for logic programming languages are described. By means of partial deduction and other program transformation techniques, an interpreter and a source program are “compiled” into a new residual program consisting of: 1) “machine code” for the source program, and 2) an abstract machine for the machine code. Based upon the appearance of these, the user may choose to refine the original interpreter and repeat the process until the resulting “machine code” and the abstract machine satisfy the user's expectations of an abstract machine. We illustrate these principles by reconstructing several of the control instructions of Warren's Abstract Machine. The paper complements previous work of Kursawe, who reconstructed several of the unification instructions using similar techniques.

Place, publisher, year, edition, pages
Elsevier , 1993. Vol. 16, no 1-2, 163-189 p.
National Category
Computer Science
URN: urn:nbn:se:liu:diva-67126DOI: diva2:407562
Available from: 2011-03-30 Created: 2011-03-30 Last updated: 2011-04-20

Open Access in DiVA

No full text

Other links

Publisher's full text

Search in DiVA

By author/editor
Nilsson, Ulf
By organisation
TCSLAB - Theoretical Computer Science LaboratoryThe Institute of Technology
In the same journal
The journal of logic programming
Computer Science

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 18 hits
ReferencesLink to record
Permanent link

Direct link