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
A simple correctness proof for magic transformation
Linköping University, Department of Computer and Information Science, Software and Systems. Linköping University, The Institute of Technology.
2012 (English)In: Theory and Practice of Logic Programming, ISSN 1471-0684, E-ISSN 1475-3081, Vol. 12, no 6, 929-936 p.Article in journal (Refereed) Published
Abstract [en]

The paper presents a simple and concise proof of correctness of the magic transformation. We believe that it may provide a useful example of formal reasoning about logic programs. The correctness property concerns the declarative semantics. The proof, however, refers to the operational semantics (LD-resolution) of the source programs. Its conciseness is due to applying a suitable proof method.

Place, publisher, year, edition, pages
Cambridge University Press (CUP) , 2012. Vol. 12, no 6, 929-936 p.
Keyword [en]
program correctness, logic programming, magic transformation, declarative semantics, LD-resolution, operational semantics
National Category
Engineering and Technology
Identifiers
URN: urn:nbn:se:liu:diva-86115DOI: 10.1017/S1471068411000032ISI: 000310854200004OAI: oai:DiVA.org:liu-86115DiVA: diva2:574981
Available from: 2012-12-07 Created: 2012-12-07 Last updated: 2017-12-07

Open Access in DiVA

fulltext(172 kB)143 downloads
File information
File name FULLTEXT01.pdfFile size 172 kBChecksum SHA-512
bcd027146067cd616e4ecfd392cee9d7619fa736b3fe4f4ee1e02a14506a2c11a2ff2834f773af66e85d9922c97de42312fb591db60b46b5b41e1ad395289d1d
Type fulltextMimetype application/pdf

Other links

Publisher's full text

Authority records BETA

Drabent, Wlodzimierz

Search in DiVA

By author/editor
Drabent, Wlodzimierz
By organisation
Software and SystemsThe Institute of Technology
In the same journal
Theory and Practice of Logic Programming
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar
Total: 143 downloads
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

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 102 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