Incremental Computation: A Semantics-Based Systematic Transformational Approach (1996)

Cached

Download Links

by Annie Liu , Yanhong Annie Liu , Ph. D
Citations:9 - 3 self

Documents Related by Co-Citation

39 Deriving incremental programs – Yanhong A. Liu, Tim Teitelbaum - 1993
22 Discovering auxiliary information for incremental computation – Yanhong A. Liu, Scott D. Stoller, Tim Teitelbaum - 1996
46 Static caching for incremental computation – Yanhong A. Liu, Scott D. Stoller, Tim Teitelbaum - 1998
9 CACHET: An interactive, incremental-attribution-based program transformation system for deriving incremental programs – Yanhong A. Liu - 1995
29 Non-Restoring Integer Square Root: A Case Study in Design by Principled Optimization – John O'Leary , Miriam Leeser, Jason Hickey, Mark Aagaard - 1994
90 Memo” functions and machine learning – D Michie - 1968
71 Analysis and Caching of Dependencies – Martin Abadi , Butler Lampson, Jean-Jacques Levy - 1996
4 Toward a super duper hardware tactic – Mark D Aagard, Miriam E Leeser, Phillip J Windley - 1993
5 Integrated reasoning support in system design: design derivation and theorem proving – Steven D Johnson, Paul S Miner
24 Symbolic Simulation of the JEM1 Microprocessor – David A. Greve, The World's First Java - 1998
10 Principled Strength Reduction – Yanhong A. Liu - 1996
55 Continuation-Based Program Transformation Strategies – Mitchell Wand - 1980
23 Symbolic Simulation: an ACL2 Approach – J. Strother Moore - 1998
467 The Science of Programming – D Gries - 1981
5 Incremental Reduction in the Lambda Calculus and Related Reduction Systems – J H Field - 1991
25 The Vesta Approach to Software Configuration Management – Allan Heydon, Roy Levin, Timothy Mann, Yuan Yu - 1999
22 Fully persistent lists with catenation – James R Driscoll, Daniel D K Sleator, Robert E Tarjan - 1994
44 Selective Memoization – Umut A. Acar, Guy E. Blelloch, Robert Harper
45 Caching Function Calls Using Precise Dependencies – Allan Heydon, Roy Levin, Yuan Yu - 2000