| 
|
QuoteRef: logiA4_2001
Topic:
consistency testing
Topic:
flavor analysis and typestates for supplementary type checking
Topic:
safe use of pointers
Topic:
execution profile
Reference
Loginov, A., Yong, S.H., Horwitz, S., Reps, T., "Debugging via run-time type checking", in hussH4_2001 (ed.), Fundamental Approaches to Software Engineering, 4th International Conference, FASE 2001, Genova, Italy, April 2001, Springer, LNCS 2029, pp. 217-232. Google
218 ;;Quote: run-time checks of actual types; unallocated, uninitialized, integral, real, and pointer; shows exact location of errors; 20x slower
222 ;;Quote: store run-time type information in a mirror of memory, 4 bits/byte; continuation bit, type, and size; two nibbles identifies an object
226 ;;Quote: add padding between allocated blocks to avoid pointer jumping from one block to another; like Purify
Topic: consistency testing (60 items)
Topic: flavor analysis and typestates for supplementary type checking (68 items)
Topic: safe use of pointers (102 items)
Topic: execution profile (43 items)