Axiomatic Language Walter W. Wilson Axiomatic language is proposed as a tool for greater programmer productivity and software reliability. Goals – Axiomatic language has the following goals: (1) pure specification – - Pure function - Document - PDFSEARCH.IO

First Page	Meta Content
	Axiomatic Language Walter W. Wilson Axiomatic language is proposed as a tool for greater programmer productivity and software reliability. Goals – Axiomatic language has the following goals: (1) pure specification – Add to Reading List Document Date: 2015-04-04 17:54:15 Open Document File Size: 74,67 KB Share Result on Facebook IndustryTerm internal processing / software reliability / / Person Walter W. Wilson / W. Wilson Axiomatic / / Position programmer / / ProgrammingLanguage Prolog / Lisp / / SocialTag Formal systems Metalogic Formal methods Function Axiom Lisp Mathematical proof Axiomatic system Mathematics Logic

Axiomatic Language Walter W. Wilson Axiomatic language is proposed as a tool for greater programmer productivity and software reliability. Goals – Axiomatic language has the following goals: (1) pure specification – Add to Reading List