Implementation of Axiomatic Language

Author Walter W. Wilson



PDF
Thumbnail PDF

File

LIPIcs.ICLP.2011.290.pdf
  • Filesize: 276 kB
  • 6 pages

Document Identifiers

Author Details

Walter W. Wilson

Cite AsGet BibTex

Walter W. Wilson. Implementation of Axiomatic Language. In Technical Communications of the 27th International Conference on Logic Programming (ICLP'11). Leibniz International Proceedings in Informatics (LIPIcs), Volume 11, pp. 290-295, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)
https://doi.org/10.4230/LIPIcs.ICLP.2011.290

Abstract

This report summarizes a PhD research effort to implement a type of logic programming language called "axiomatic language". Axiomatic language is intended as a specification language, so its implementation involves the transformation of specifications to efficient algorithms. The language is described and the implementation task is discussed.
Keywords
  • axiomatic language
  • specification
  • program transformation
  • unfold/fold

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail