Strengthening invariants for efficient computation

Science of Computer Programming

Volumn 41, Issue 2, 2001, Pages 139-172

  Liu, Yanhong A ^a   Stoller, Scott D ^a   Teitelbaum, Tim ^b  

^a Stony Brook University   (United States)

^b Department of Computer Science and School of Operations Research and Information Engineering   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CACHE MEMORY; COMPUTER SOFTWARE; FINITE DIFFERENCE METHOD; INVARIANCE; OPTIMIZATION; PROBLEM SOLVING; PROGRAM COMPILERS; PROGRAMMING THEORY;

INCREMENTAL COMPUTATION PROBLEMS;

COMPUTER SYSTEMS PROGRAMMING;

EID: 0035479227     PISSN: 01676423     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0167-6423(01)00003-X     Document Type: Article

References (89)

1. Reduction of operator strength
2. Incremental evaluation of computational circuits
3. The PSG system: From formal language definitions to interactive programming environments
4. The Pan language-based editing system
5. Formal program construction by transformations - Computer-aided, intuition-guided programming
6. The promotion and accumulation strategies in transformational programming
7. Addendum: The promotion and accumulation strategies in transformational programming
8. CENTAUR: The system
9. Algebraic methods for program construction: The project CIP
10. Proving properties of programs by structural induction
11. A transformation system for developing recursive programs
12. Towards an automated tupling strategy
13. A bounds inference method for vector-based memoization
14. An algorithm for reduction of operator strength
15. A discipline of programming
16. Programming environments based on structure editor: The Mentor experience
17. High level iterators and a method for automatically designing data structure representation
18. A system for assisting program transformation
19. Incremental reduction in the lambda calculus
20. Mathematical logic flushes out the bugs in chip designs
21. A note on a standard strategy for developing loop invariants and loops
22. Gandalf: Software development environments
23. Alphonse: Incremental computation as a programming abstraction
24. Generating editing environments based on relations and attributes
25. Building friendly parsers
26. An experiment in partial evaluation: The generation of a compiler generator
27. Compile-time garbage collection by sharing analysis
28. Compilers and staging transformations
29. Incremental dynamic semantics for language-based programming environments
30. Ordered attributed grammars
31. Translation of attribute grammars into procedures
32. Projections for specialisation
33. CACHET: An interactive, incremental-attribution-based program transformation system for deriving incremental programs
34. Principled strength reduction
35. Dependence analysis for recursive data
36. Automatic accurate time-bound analysis for high-level languages
37. Loop optimization for aggregate array computations
38. Dynamic programming via static incrementalization
39. Eliminating dead code on recursive data
40. From recursion to iteration: What are the optimizations?
41. Static caching for incremental computation
42. Caching intermediate results for program improvement
43. Systematic derivation of incremental programs
44. A deductive approach to program synthesis
45. Fundamentals of deductive program synthesis
46. Non-restoring integer square root: A case study in design by principled optimization
47. Expression continuity and the formal differentiation of algorithms
48. Transformational programming - Applications to algorithms and systems
49. Programming with invariants
50. Finite differencing of computable expressions
51. A powerful strategy for deriving efficient programs by transformation
52. Rules and strategies for transforming functional and logic programs
53. Incremental global reoptimization of programs
54. The Omega test: A fast and practical integer programming algorithm for dependence analysis
55. Incremental computation via function caching
56. An approach to incremental compilation
57. Incremental context-dependent analysis for language-based editors
58. Automatic complexity analysis
59. Incremental data flow analysis algorithms
60. KIDS: A semiautomatic program development system
61. Efficient code motion and an adaption to strength reduction
62. Incremental computation via partial evaluation
63. Set constraints for destructive array update optimization
64. Steps towards architecture-independent image processing
65. Mechanical program analysis
66. Program slicing
67. III. Efficient synthesis of Gaussian filters by cascaded uniform filters
68. INC: A language for incremental computations
69. Non-parametric local transforms for computing visual correspondence
70. Automating derivation of incremental programs