3 ms·
What's a good introduction to contracts? I'd like to know how a basic contract system works and which extensions are there? What's the relation between contract
by jules 16y ago
What's a good introduction to contracts? I'd like to know how a basic contract system works and which extensions are there? What's the relation between contracts and assert?
- limmeau 16y agoProvided that to you, a "good introduction" is something with a lambda-calculus extension and a reduction semantics, the 2002 paper by Findler and Felleisen[1] is a good read. 1. http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.11.4081&rep=rep1&type=pdf http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.11....
- jules 16y agoThanks, that is exactly what I meant :) I also found this one quite interesting: http://www.cs.brown.edu/~arjun/public/poly-contracts.pdf http://www.cs.brown.edu/~arjun/public/poly-contracts.pdf
- Nick_C 16y agoIf you want introductory, see Bertrand Myer and the Eiffel programming language. http://www.eiffel.com/developers/design_by_contract.html http://www.eiffel.com/developers/design_by_contract.html http://en.wikipedia.org/wiki/Design_by_contract http://en.wikipedia.org/wiki/Design_by_contract http://en.wikipedia.org/wiki/Eiffel_(programming_language) http://en.wikipedia.org/wiki/Eiffel_(programming_language)