| 
|
QuoteRef: aikeA6_2003
topics >
all references >
ThesaHelp:
ACM references a-e
ThesaHelp:
references a-b
Topic:
safe use of pointers
Topic:
code optimization by flow analysis
Topic:
flavor analysis and typestates for supplementary type checking
Topic:
device driver
Topic:
updating information with locking
Reference
Aiken, A., Foster, J.S., Kodumal, J., Terauchi, T., "Checking and inferring local non-aliasing", Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation (PLDI'03), San Diego, California USA, June 2003, ACM SIGPLAN, pp. 129-140. Google
130 ;;Quote: C's 'restrict' annotation splits aliases of p created outside of a procedure from those inside; enables better program checking and optimization
130 ;;Quote: type and effect system and formal semantics for 'restrict' annotations; O(kn) constraint-based algorithm and O(n^2) inference algorithm
136 ;;Quote: use 'confine' annotation to restrict aliasing of a pointer expression; like 'restrict' over common sub-expression elimination
137 ;;Quote: use 'confine' and 'restrict' to track lock state; removed spurious type errors in 138 of 152 device driver modules
ThesaHelp: ACM references a-e (259 items)
ThesaHelp: references a-b (396 items)
Topic: safe use of pointers (102 items)
Topic: code optimization by flow analysis (45 items)
Topic: flavor analysis and typestates for supplementary type checking (68 items)
Topic: device driver (15 items)
Topic: updating information with locking (20 items)