Vote UpVote

Emerging Languages Camp Part 5: Axiomatic Language

Craig Stuntz's Weblog – This is the fifth post of my notes from Emerging Languages Camp last year. If you haven’t seen it already, you might want to read the Introduction to this series. Axiomatic Language Walter Wilson Homepage · Slides · Presentation One of the ways that you can describe a coding style is declarative versus imperative. That is, focusing on the desired result versus focusing on how that result should be computed, respectively. Walter Wilson’s axiomatic language attempts to take the former approach as far as possible. It is a pure specification language which attempts to provide a means for ...
Favorite? Off-Topic? Craig Stuntz @ 2014-06-30 20:44


Visits: 622
Votes: 0
Favorites: 0
Off-Topic: 1

Visits by Source

User Actions

Users who voted for this posting

Contact us to advertise on DelphiFeeds.com

Community Links

Torry Firebird News


Please login or register to use this functionality.
(click on this box to dismiss)