Sciweavers

ICLP
2011
Springer

Implementation of Axiomatic Language

12 years 7 months ago
Implementation of Axiomatic Language
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.
Walter W. Wilson
Added 29 Aug 2011
Updated 29 Aug 2011
Type Journal
Year 2011
Where ICLP
Authors Walter W. Wilson
Comments (0)