| 
|
QuoteRef: howdWE12_1989
topics >
all references >
ThesaHelp:
references g-h
ThesaHelp:
ACM references f-l
Topic:
flavor analysis and typestates for supplementary type checking
Reference
Howden, W.E., "Validating programs without specifications", Proceedings of the ACM SIGSOFT '89 Third Symposium on Software Testing, Analysis, and Verification (TAV3), Software Engineering Notes, 14, 8, December 1989, pp. 2-9. Google
4 ;;Quote: flavor analysis: check assumptions about data properties from assertions of those properties along all flows of control
5 ;;Quote: flavor analysis enormously useful for checking assumptions about temporaries and registers; particularly for maintenance
ThesaHelp: references g-h (299 items)
ThesaHelp: ACM references f-l (241 items)
Topic: flavor analysis and typestates for supplementary type checking (68 items)