Open AccessStudying program correctness by constructing contracts
Author(s) -
Timothy S. Gegg-Harrison,
Gary R. Bunce,
Rebecca Ganetzky,
Christina M. Olson,
Joshua D. Wilson
Publication year - 2003
Publication title -
acm sigcse bulletin
Language(s) - Uncategorized
Resource type - Conference proceedings
eISSN - 2331-3927
pISSN - 0097-8418
DOI - 10.1145/961545.961548
Subject(s) - precondition , correctness , computer science , programming language , design by contract , construct (python library) , predicate transformer semantics , axiom , process (computing) , java , software engineering , software development , semantics (computer science) , software , mathematics , software construction , geometry , operational semantics
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom