| 
|
QuoteRef: rugiR4_2001
Topic:
type-safe and secure languages
Topic:
flavor analysis and typestates for supplementary type checking
Topic:
code optimization by flow analysis
Topic:
aliasing
Topic:
memory management by regions or memory pool
Topic:
parallel algorithms
Reference
Rugina, R., Rinard, M., "Design-driven compilation", in Wilhelm, R. (ed.), Compiler Construction, 10th International Conference, CC 2001, Genova, Italy, April 2001, Springer, LNCS 2027, pp. 150-164. Google
151 ;;Quote: explicit specification of a procedure's design information documents the programmer's intent, allows compile-time checking, provides modularity, and enables lexical analysis and separate compilation
151 ;;Quote: pointer interfaces specify how procedures change the points-to information
151+;;Quote: region interfaces specify the regions of memory accessed by a procedure
151+;;Quote: use pointer and region interfaces to automatically parallelize divide and conquer programs; decreases complexity while increasing the compiler's efficiency; excellent performance
155 ;;Quote: verify pointer interfaces with an intraprocedural, flow-sensitive pointer analysis; matches computed points-to information with a call site's pointer interface
155 ;;Quote: verify region interfaces by computing lower and upper bounds for each pointer and array index variable; a region interface must include the procedure's bounds and the region interfaces of its callees
160 ;;Quote: defining pointer and region interfaces simplified the automatic parallelization of Quicksort and other algorithms
Topic: type-safe and secure languages (43 items)
Topic: flavor analysis and typestates for supplementary type checking (68 items)
Topic: code optimization by flow analysis (47 items)
Topic: aliasing (28 items)
Topic: memory management by regions or memory pool (17 items)
Topic: parallel algorithms (15 items)