170
click to vote
ECOOP
2004
Springer
16 years 11 hour ago
2004
Springer
Today’s mainstream object-oriented compilers and tools do not support declaring and statically checking simple pre- and postconditions on methods and invariants on object represe...