AXIOMATIC LANGUAGE

Axiomatic language is proposed as a tool for greater programmer productivity and software reliability... Goals - Axiomatic language has the following goals: (1) pure specification - you tell the computer what to do without telling it how to do it, (2) minimal, but extensible - as small as possible without sacrificing expressiveness, (3) a metalanguage - able to incorporate the capabilities and advantages of other languages, and (4) beauty... Recipe - Axiomatic language can be described as pure, definite Prolog with Lisp syntax, HiLog higher-order generalization, and "string variables", which match a string of expressions in a sequence. (See details at this webpage or this paper.

Primary location: Melbourne Australia