Volume 16,
Number 1,
January 1994
Volume 16,
Number 2,
March 1994
Volume 16,
Number 3,
May 1994
- Shlomit S. Pinter, Ron Y. Pinter:
Program Optimization and Parallelization Using Idioms.
305-327
- Adrienne Bloss:
Path Analysis and the Optimization of Nonstrict Functional Programs.
328-369
- Rajiv Gupta, Mary Lou Soffa, Denise Ombres:
Efficient Register Allocation via Coloring Using Clique Separators.
370-386
- Max Copperman:
Debugging Optimized Code Without Being Misled.
387-427 ,
a 8 pages appendix (PostScript) is available
- Preston Briggs, Keith D. Cooper, Linda Torczon:
Improvements to Graph Coloring Register Allocation.
428-455
- Suresh Jagannathan:
Metalevel Building Blocks for Modular Systems.
456-492
- Richard Kennaway, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries:
On the Adequacy of Graph Rewriting for Simulating Term Rewriting.
493-523
- Lawrence A. Crowl, Thomas J. LeBlanc:
Parallel Programming with Control Abstraction.
524-576
- Ian T. Foster, Stephen Taylor:
A Compiler Approach to Scalable Concurrent-Program Design.
577-604
- Bijan Arbab, Daniel M. Berry:
Some Comments on ``A Denotational Semantics for Prolog''.
605-606
- Kim Marriott, Harald Søndergaard, Neil D. Jones:
Denotational Abstract Interpretation of Logic Programs.
607-648
- Michael Codish, Moreno Falaschi, Kim Marriott:
Suspension Analyses for Concurrent Logic Programs.
649-686
- Krzysztof R. Apt, Alessandro Pellegrini:
On the Occur-Check-Free Prolog Programs.
687-726 ,
preliminary version:
PLILP 1992:
69-86
- David Garlan, Charles W. Krueger, Barbara Staudt Lerner:
TransformGen: Automating the Maintenance of Structure-Oriented Environments.
727-774
- Lin Yu, Daniel J. Rosenkrantz:
A Linear-Time Scheme for Version Reconstruction.
775-797
- Josyula R. Rao:
Reasoning about Probabilistic Parallel Programs.
798-842
- Orna Grumberg, David E. Long:
Model Checking and Modular Verification.
843-871
- Leslie Lamport:
The Temporal Logic of Actions.
872-923
- Manfred Broy, Greg Nelson:
Adding Fair Choice to Dijkstra's Calculus.
924-938
- Yehuda Afek, Danny Dolev, Eli Gafni, Michael Merritt, Nir Shavit:
A Bounded First-In, First-Enabled Solution to the l-Exclusion Problem.
939-953
- Yuh-Jzer Joung, Scott A. Smolka:
Coordinating First-Order Multiparty Interactions.
954-985
- Michael K. Reiter, Kenneth P. Birman:
How to Securely Replicate Services.
986-1009
- Jan Heering, Paul Klint, J. Rekers:
Lazy and Incremental Program Generation.
1010-1023
- Mikkel Thorup:
Controlled Grammatic Ambiguity.
1024-1050 ,
a 26 pages appendix (PostScript) is available
- Joseph Bates, Alon Lavie:
Recognizing Substrings of LR(k) Languages in Linear Time.
1051-1077
Volume 16,
Number 4,
July 1994
- Annalisa Bossi, Sandro Etalle:
Transforming Acyclic Programs.
1081-1096
- Jong-Deok Choi, Jeanne Ferrante:
Static Slicing in the Presence of Goto Statements.
1096-1113
- Michael Wolfe:
The Definition of Dependence Distance.
1114-1116
- Jens Knoop, Oliver Rüthing, Bernhard Steffen:
Optimal Code Motion: Theory and Practice.
1117-1155
- Stefan Freudenberger, Thomas R. Gross, P. Geoffrey Lowney:
Avoidance and Supression of Compensation Code in a Trace Scheduling Compiler.
1156-1214
- John Hannan:
Operational Semantics-Directed Compilers and Machine Architectures.
1215-1247
- William Pugh, David Wonnacott:
Static Analysis of Upper and Lower Bounds on Dependences and Parallelism.
1248-1278
- Hassan Aït-Kaci, Andreas Podelski:
Functions as Passive Constraints in LIFE.
1279-1318
- Thomas Ball, James R. Larus:
Optimally Profiling and Tracing Programs.
1319-1360
- Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini:
Modular Logic Programming.
1361-1398 ,
a 6 pages appendix (PostScript) with proofs is available
Volume 16,
Number 5,
September 1994
Short Communications
Articles
Volume 16,
Number 6,
November 1994
Short Communications
Articles
Copyright © Fri Mar 12 17:34:00 2010
by Michael Ley (ley@uni-trier.de)
