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
Languages, Performance – Tom Rothamel, Yanhong A. Liu
109 Incremental Recomputation of Active Relational Expressions – Xiaolei Qian, Gio Wiederhold - 1991
38 Systematic Derivation of Incremental Programs – Yanhong A. Liu, Tim Teitelbaum - 1995
6 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
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
2 Runtime Checking for Program Verification – Karen Zee, Viktor Kuncak, Michael Taylor, Martin Rinard
86 Materialized view maintenance and integrity constraint checking: Trading space for time – Kenneth A. Ross, Divesh Srivastava - 1996
194 Query optimization in database systems – Matthias Jarke, Jürgen Koch - 1984
255 Maintenance of Materialized Views: Problems, Techniques, and Applications – Ashish Gupta, Inderpal Singh Mumick - 1995
VISTA: Vpo Interactive System for Tuning Applications – Baosheng Cai, Wankang Zhao, David Whalley, Robert Van Engelen, Jack Davidson, Kyle Gallivan