Global Optimization for a Coagulating Code Generator: Final Technical Report* (1991)

Cached

Download Links

by Michael Karr , Walter G. Morris , Steve Rozen

Active Bibliography

3 A language-theoretic approach to algorithms – Deepak Goyal - 2000
Generating Incremental . . . – Tom Rothamel, Yanhong A. Liu - 2008
7 Core role-based access control: Efficient implementations by transformations – Yanhong A. Liu, Chen Wang, Michael Gorbovitski, Tom Rothamel, Yongxi Cheng, Yingchao Zhao, Jing Zhang - 2006
26 Mechanical Translation of Set Theoretic Problem Specifications Into Efficient RAM Code - A Case Study – Robert Paige, Fritz Henglein - 1985
39 Deriving incremental programs – Yanhong A. Liu, Tim Teitelbaum - 1993
111 Incremental Recomputation of Active Relational Expressions – Xiaolei Qian, Gio Wiederhold - 1991
Flexible List Management in a Directory – Jagadish Att, H. V. Jagadish, Mark A. Jones, Divesh Srivastava - 1998
Generating Update Constraints from PRL5.0 Specifications – Preliminary Report Presented, Timothy Griffin, Howard Trickey, Curtis Tuckey - 1992
Integrity Maintenance in a Telecommunications Switch – Timothy Griffin Howard, Howard Trickey - 1994
Algorithms for Deferred View Maintenance – Latha Colby Bell, Timothy Griffin, Leonid Libkin, Inderpal Singh Mumick, Howard Trickey - 1997
Incremental Maintenance of Views with Duplicates – Timothy Griffin Leonid, Leonid Libkin - 1995
7 Integrity Constraint Reformulation for Efficient Validation – Xiaolci Qian - 1987
13 Integrity maintenance in an object-oriented database – H. V. Jagadish, Xiaolei Qian - 1992
Knowledge-Based Integrity . . . – Qian, et al. - 1986
21 The Deductive Synthesis of Database Transactions – Xiaolei Qian - 1993
207 Query optimization in database systems – Matthias Jarke, J├╝rgen Koch - 1984
274 Maintenance of Materialized Views: Problems, Techniques, and Applications – Ashish Gupta, Inderpal Singh Mumick - 1995
105 Materialized view maintenance and integrity constraint checking: Trading space for time – Kenneth A. Ross, Divesh Srivastava - 1996
6 Runtime Checking for Program Verification – Karen Zee, Viktor Kuncak, Michael Taylor, Martin Rinard