Volume 19, Number 1, January 1997
Susan Horwitz: Precise Flow-Insensitive May-Alias Analysis is NP-Hard. 1-6- Agostino Cortesi, Gilberto Filé, Roberto Giacobazzi, Catuscia Palamidessi, Francesco Ranzato: Complementation in Abstract Interpretation. 7-47
- Brad Calder, Dirk Grunwald, Michael P. Jones, Donald C. Lindsay, James H. Martin, Michael Mozer, Benjamin G. Zorn: Evidence-Based Static Branch Prediction Using Machine Learning. 188-222
Volume 19, Number 2, March 1997
- Nicholas Pippenger: Pure Versus Impure Lisp. 223-238
- Vugranam C. Sreedhar, Guang R. Gao, Yong-Fong Lee: Incremental Computation of Dominator Trees. 239-252
- Patrick M. Sansom, Simon L. Peyton Jones: Formally Based Profiling for Higher-Order Functional Languages. 334-385
- Jin Yang, Aloysius K. Mok, Farn Wang: Symboloc Model Checking for Event-Driven Real-Time Systems. 386-412
Volume 19, Number 3, May 1997
- Charles L. A. Clarke, Gordon V. Cormack: On the Use of Regular Expressions for Searching Text. 413-426
- Dexter Kozen: Kleene Algebra with Tests. 427-443
- Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi: Formal Derivation of Efficient Parallel Programs by Construction of List Homomorphisms. 444-461
- Keshav Pingali, Gianfranco Bilardi: Optimal Control Dependence Computation and the Roman Chariots Problem. 462-491
Volume 19, Number 4, July 1997
- Paul Havlak: Nesting of Reducible and Irreducible Loops. 557-567
- Saumya K. Debray, Todd A. Proebsting: Interprocedural Control Flow Analysis of First-Order Programs with Tail-Call Optimization. 568-585
- Peter T. Breuer, Carlos Delgado Kloos, Andrés Marín López, Natividad Martínez Madrid, Luis Sánchez Fernández: A Refinement Calculus for the Synthesis of Verified Hardware Descriptions in VHDL. 585-616
- E. Allen Emerson, A. Prasad Sistla: Utilizing Symmetry when Model-Checking under Fairness Assumptions: An Automata-Theoretic Approach. 617-638
Volume 19, Number 5, September 1997
- Jan A. Bergstra, T. B. Dinesh, John Field, Jan Heering: Toward a Complete Transformational Toolkit for Compilers. 639-684
- Frank S. de Boer, Maurizio Gabbrielli, Elena Marchiori, Catuscia Palamidessi: Proving Concurrent Constraint Programs Correct. 685-725
- Thomas P. Jensen: Disjunctive Program Analysis for Algebraic Data Types. 751-803
- Peter Van Roy, Seif Haridi, Per Brand, Gert Smolka, Michael Mehl, Ralf Scheidhauer: Mobile Objects in Distributed Oz. 804-851
Volume 19, Number 6, November 1997
- Soo-Mook Moon, Kemal Ebcioglu: Parallelizing Nonnumerical Code with Selective Scheduling and Software Pipelining. 853-898
- Martin C. Rinard, Pedro C. Diniz: Commutativity Analysis: A New Analysis Technique for Parallelizing Compilers. 942-991
- Evelyn Duesterwald, Rajiv Gupta, Mary Lou Soffa: A Practical Framework for Demand-Driven Interprocedural Data Flow Analysis. 992-1030
- Deborah Whitfield, Mary Lou Soffa: An Approach for Exploring Code-Improving Transformations. 1053-1084
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team