| 
|
QuoteRef: aggaA6_2001
topics >
all references >
ThesaHelp:
ACM references a-e
ThesaHelp:
references a-b
Group:
program proving
Topic:
range checking
Reference
Aggarwal, A., Randall, K.H., "Related field analysis", Proceedings of the ACM SIGPLAN 2001 Conference on Programming Language Design and Implementation (PLDI), Snowbird Utah, ACM SIGPLAN, June 2001, pp. 214-220. Google
abstract ;;Quote: use related field analysis to remove 50% of array bounds checks; proves relationships between fields of an object
ThesaHelp: ACM references a-e (259 items)
ThesaHelp: references a-b (396 items)
Group: program proving (10 topics, 310 quotes)
Topic: range checking (20 items)