Axiomatic Language

A pure, minimal but extensible, logic-programming/specification language with meta-language capability is described. The paradigm involved explicitly ...

(from SIGPLAN Notices, Vol. 17, No. 9, Sept. 1982, pp.34-43 ...

Beyond PROLOG: Software Specification by Grammar. Walter W. Wilson The University of Texas at Arlington. 1. Introduction. In the programming language PROLOG ...

LOPSTR 2000 - A Minimal Specification Language - revised

Extended Abstracts of LOPSTR 2000, Tenth International Workshop on Logic-based Program Synthesis and Transformation, 24-28 July 2000, London, UK. ...

A Minimal Specification Language - transparencies, revised

Walter W. Wilson. Computer Sciences Corporation. & The University of Texas at Arlington. wwilson3@csc.com. wilsonww11@msn.com. LOPSTR 2000. July 27, 2000 ...

Rough Notes on Axiomatic Language

Rough Working Notes on Axiomatic Language. Utility Axioms and Definitions: overview.txt -- overview of utility axiom files ...

uncbasic.txt -- basic predicates defined by unconditional axioms ...

uncbasic.txt -- basic predicates defined by unconditional axioms uses: (nothing) Unconditional-Axiom Variable-Only Predicates 1. ...

higher.txt -- definition of the most-basic higher-order ...

higher.txt -- definition of the most-basic higher-order constructions uses: uncbasic -- unconditional basic predicates cbasic -- conditional basic ...

integer.txt -- integers and their arithmetic uses: higher.txt ...

integer.txt -- integers and their arithmetic uses: higher.txt *** Define type specific operations (+n, succn, succi0+, etc.) in addition to "overloaded" ...

finite.txt -- definition of finite sets This file gives the axioms ...

finite.txt -- definition of finite sets This file gives the axioms for defining finite sets of symbols and characters. 1. Finite Sets of Symbols (or ...

order.txt -- definition of ordering and related utilities (The ...

order.txt -- definition of ordering and related utilities (The axioms in this file need further refinement.) uses: basicc -- conditional basic predicates ...