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

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
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
Identifiers
URN: urn:nbn:se:liu:diva-67126DOI: http://dx.doi.org/10.1016/0743-1066(93)90026-DOAI: oai:DiVA.org:liu-67126DiVA: diva2:407562
Available from: 2011-03-30 Created: 2011-03-30 Last updated: 2017-12-11

Open Access in DiVA

No full text

Other links

Publisher's full text

Authority records BETA

Nilsson, Ulf

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

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 23 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf