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 te...Read more
Are you Walter Wilson?
Claim your profile today and start building your speaker history.