Implementation of Axiomatic Language

Walter W. Wilson
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.
This data repository is not currently reporting usage information. For information on how your repository can submit usage information, please see our documentation.