LIPIcs.ICLP.2011.290.pdf
- Filesize: 276 kB
- 6 pages
Document
Implementation of Axiomatic Language
Author
-
Part of:
Volume:
Technical Communications of the 27th International Conference on Logic Programming (ICLP'11) (ICLP 2011)
Series: Leibniz International Proceedings in Informatics (LIPIcs)
Conference: International Conference on Logic Programming (ICLP) - License:
Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported license
- Publication Date: 2011-06-27
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
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)
0PDF Downloads