213
click to vote
ICSE
1999
IEEE-ACM
16 years 12 days ago
1999
IEEE-ACM
ÐExplicitly stated program invariants can help programmers by identifying program properties that must be preserved when modifying code. In practice, however, these invariants are...