Abstract is missing.
- Security and Dynamic Class Loading in Java: A FormalizationThomas P. Jensen, Daniel Le Métayer, Tommy Thorn. 4-15 [doi]
- Transactions for JavaAlex Garthwaite, Scott Nettles. 16-27 [doi]
- Breaking Abstractions and Unstructuring Data StructuresChristian S. Collberg, Clark D. Thomborson, Douglas Low. 28-38 [doi]
- Using Reflexivity to Interface with CORBARoberto Ierusalimschy, Renato Cerqueira, Noemi de La Rocque Rodriguez. 39 [doi]
- Design and Implementation of Triveni: A Process-Algebraic API for Threads + EventsChristopher Colby, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Konstantin Läufer, Carlos Puchol. 58-67 [doi]
- Distributed Computations Driven by Resource ConsumptionLuc Moreau, Christian Queinnec. 68 [doi]
- Automatic Generation of Microarchitecture SimulatorsSoner Önder, Rajiv Gupta. 80-89 [doi]
- Microprocessor Specification in HawkJohn Matthews, Byron Cook, John Launchbury. 90-101 [doi]
- The Template and Multiple Inheritance Approach into Attribute GrammarsMarjan Mernik, Mitja Lenic, Enis Avdicausevic, Viljem Zumer. 102-110 [doi]
- Modular Compilers Based on Monad TransformersWilliam L. Harrison, Samuel N. Kamin. 122-131 [doi]
- Automatic, Template-Based Run-Time Specialization: Implementation and Experimental StudyFrançois Noël, Luke Hornof, Charles Consel, Julia L. Lawall. 132-142 [doi]
- Controlled Self-Applicable On-Line Partial Evaluation, Using StrategiesM. Beckman, Samuel N. Kamin. 143-152 [doi]
- Parallelization via Context PreservationWei-Ngan Chin, Akihiko Takano, Zhenjiang Hu. 153 [doi]
- Type Reconstruction for Syntactic Control of Interference, Part 2Hongseok Yang, Howard Huang. 164-173 [doi]
- An Operational Semantics for Probabilistic Concurrent Constraint ProgrammingAlessandra Di Pierro, Herbert Wiklicky. 174-183 [doi]
- Set Constraints for Destructive Array Update OptimizationMitchell Wand, William D. Clinger. 184 [doi]
- A Conservative Technique to Improve Deterministic Evaluation of Logic ProgramsAbhik Roychoudhury, C. R. Ramakrishnan, I. V. Ramakrishnan, R. C. Sekar. 196-205 [doi]
- Dependence Analysis for Recursive DataYanhong A. Liu. 206-215 [doi]
- Optimal Code Motion in the Presence of Large ExpressionsOliver Rüthing. 216 [doi]
- Path Profile Guided Partial Redundancy Elimination Using SpeculationRajiv Gupta, David A. Berson, Jesse Zhixi Fang. 230-239 [doi]
- Formal Callability and Its Relevance and Application to Interprocedural Data-Flow AnalysisJens Knoop. 252-261 [doi]
- Loop Optimization for Aggregate Array ComputationsYanhong A. Liu, Scott D. Stoller. 262-271 [doi]
- Data Flow Analysis across Tuplespace Process BoundariesJames B. Fenwick Jr., Lori L. Pollock. 272 [doi]