Abstract is missing.
- Termination of Probabilistic Concurrent ProgramsSergiu Hart, Micha Sharir, Amir Pnueli. 1-6
- Guardians and Actions: Linguistic Support for Robust, Distributed ProgramsBarbara Liskov, Robert Scheifler. 7-19
- Specification and Synthesis of Communicating Processes using an Extended Temporal LogicPierre Wolper. 20-33
- Messages as Active AgentsDavid W. Wall. 34-39
- Extended Naming Conventions for Communicating ProcessesNissim Francez. 40-45
- Unbounded Speed Variability in Distributed Communication SystemsJohn H. Reif, Paul G. Spirakis. 46-56
- Programming Aspects of VLSIRichard J. Lipton, Robert Sedgewick, Jacobo Valdes. 57-65
- A Flexible Approach to Interprocedural Data Flow Analysis and Programs with Recursive Data StructuresNeil D. Jones, Steven S. Muchnick. 66-74
- Automatic Generation of Machine Specific Code OptimizersRobert Giegerich. 75-81
- Optimal Code for Control StructuresM. V. S. Ramanath, Marvin H. Solomon. 82-94
- Experience with an Attribute Grammar-Based CompilerRodney Farrow. 95-107
- Description-Driven Code Generation using Attribute GrammarsMahadevan Ganapathi, Charles N. Fischer. 108-119
- Code Generation and Reorganization in the Presence of Pipeline ConstraintsJohn L. Hennessy, Thomas R. Gross. 120-127
- Eliminating Redundant Object CodeJack W. Davidson, Christopher W. Fraser. 128-132
- A Type Declaration and Inference System for SmalltalkAlan Borning, Daniel H. H. Ingalls. 133-141
- Lithe: A Language Combining a Flexible Syntax, ClassesDavid Sandberg. 142-145
- Unified Dialogue Management in the Carousel SystemErik Sandewall. 146-156
- Maple: a Programming Language, Operating SystemPaul J. Voda. 157-168
- Optimal-Time Incremental Semantic Analysis for Syntax-Directed EditorsThomas W. Reps. 169-176 [doi]
- Practical Error Recovery in LR ParsingSeppo Sippu, Eljas Soisalon-Soininen. 177-184
- Non-Syntactic Attribute Flow in Language Based EditorsGregory F. Johnson, Charles N. Fischer. 185-195
- Building Friendly ParsersFahimeh Jalili, Jean H. Gallier. 196-206
- Principal Type-Schemes for Functional ProgramsLuís Damas, Robin Milner. 207-212
- On the Composition of ProcessesVaughan R. Pratt. 213-223
- A Semantics-Directed Compiler GeneratorLawrence C. Paulson. 224-233
- Semantics-Directed Machine ArchitectureMitchell Wand. 234-241
- Completion Semantics, Interpreter GenerationMartin C. Henson, Raymond Turner. 242-254
- Partial Evaluation as a Means for Inferencing Data Structures in an Applicative Language: A Theory and Implementation in the Case of PrologHenryk Jan Komorowski. 255-267
- A Logic for Expressions with Side-EffectsHans-Juergen Boehm. 268-280
- An Axiomatic Treatment of Exception HandlingShaula Yemini. 281-288
- Semantics and Correctness of a Query Language TranslationE. Gansner, Joseph R. Horgan, Chandra M. R. Kintala, D. J. Moore, P. Surko. 289-298
- Algorithmic Program DiagnosisEhud Y. Shapiro. 299-308
- On Effective Axiomatizations of Hoare LogicsEdmund M. Clarke, Steven M. German, Joseph Y. Halpern. 309-321
- Modular Verification of Concurrent ProgramsBrent Hailpern, Susan S. Owicki. 322-336
- Axiomatic Definability and Completeness for Recursive ProgramsAlbert R. Meyer, John C. Mitchell. 337-346
- Is the Interesting Part of Process Logic Uninteresting - A Translation from PL to PDLRivi Sherman, Amir Pnueli, David Harel. 347-360
- On the Expressive Power of Query Languages for Relational DatabasesEric C. Cooper. 361-365 [doi]