Strange Loop

September 26-28 2018


Stifel Theatre


St. Louis, MO

Register for 2018!

Axiomatic Language

Programming languages are constrained by the need for efficiency. But what kind of language would we want if efficiency could be ignored? Axiomatic language is an answer to this question. It 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 - nothing is built-in that can be defined, and (3) a metalanguage - able to imitate and thus subsume other languages. Axiomatic language is based on the idea that the external behavior of a program can be defined by an infinite set of symbolic expressions that enumerate all possible inputs, or sequences of inputs, along with the corresponding outputs. The language is just a formal system for defining these symbolic expressions.

Walter Wilson

Walter Wilson is a software developer of CAD/CAM applications at Lockheed Martin in Fort Worth.