Implementation of Axiomatic Language

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. 1998 ACM… (More)
DOI: 10.4230/LIPIcs.ICLP.2011.290

Topics

Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.