Abstract is missing.
- Remote Attribute Updating for Language-Based EditorsThomas W. Reps, Carla Marceau, Tim Teitelbaum. 1-13
- Dynamically Bypassing Copy Rule Chains in Attribute GrammarsRoger Hoover. 14-25
- Global Storage Allocation in Attribute EvaluationTakuya Katayama, Hisashi Sasaki. 26-37
- Finding the Source of Type ErrorsMitchell Wand. 38-43
- A Maximum-Flow Approach to Anomaly Isolation in Unification-Based Incremental Type InferenceGregory F. Johnson, Janet A. Walz. 44-57
- Hierarchical VLSI Design Systems Based on Attribute GrammarsLarry G. Jones, Janos Simon. 58-69
- Code Motion of Control Structures in High-Level LanguagesRon Cytron, Andy Lowry, F. Kenneth Zadeck. 70-85
- Compilers and Staging TransformationsUlrik Jørring, William L. Scherlis. 86-96
- Higher-Order Strictness Analysis in Untyped Lambda CalculusPaul Hudak, Jonathan Young. 97-109
- Retargetable High-Level Alias AnalysisDeborah S. Coutant. 110-118
- High-Quality Code Generation Via Bottom-Up Tree Pattern MatchingPhilip J. Hatcher, Thomas W. Christopher. 119-130
- A Parallel Language and its Compilation to Multiprocessor Machines or VLSIMarina C. Chen. 131-139
- Towards Programming with Knowledge ExpressionsReino Kurki-Suonio. 140-149
- Limitations of Synchronous Communication with Static Process Structure in Languages for Distributed ComputingBarbara Liskov, Maurice Herlihy, Lucy Gilbert. 150-159
- Atomic Data Abstractions in a Distributed Collaborative Editing SystemIrene Greif, Robert Seliger, William E. Weihl. 160-172
- A Really Abstract Concurrent Model and its Temporal LogicHoward Barringer, Ruurd Kuiper, Amir Pnueli. 173-183
- Expressing Interesting Properties of Programs in Propositional Temporal LogicPierre Wolper. 184-193
- Operational Semantics of a Parallel Object-Oriented LanguagePierre America, Jaco de Bakker, Joost N. Kok, Jan J. M. M. Rutten. 194-208
- Equational Logic Programming: An Extension to Equational ProgrammingJia-Huai You, P. A. Subrahmanyam. 209-218
- Logic and InheritanceHassan Aït-Kaci, Roger Nasr. 219-228
- Unification in Many-Sorted Algebras as a Device for Incremental Semantic AnalysisGregor Snelting, Wolfgang Henhapl. 229-235
- Distributed Data Structures in LindaNicholas Carriero, David Gelernter, Jerrold Leichter. 236-242
- Para-Functional Programming: A Paradigm for Programming Multiprocessor SystemsPaul Hudak, Lauren Smith. 243-254
- Annotations for Distributed Programming in LogicRaghu Ramakrishnan, Abraham Silberschatz. 255-262
- Representation Independence and Data AbstractionJohn C. Mitchell. 263-276
- Using Dependent Types to Express Modular StructureDavid B. MacQueen. 277-286
- Type Is Not A TypeAlbert R. Meyer, Mark B. Reinhold. 287-295
- Data Flow Analysis of Applicative Programs Using Minimal Function GraphsNeil D. Jones, Alan Mycroft. 296-306
- A Mechanically Certified Theorem about Optimal Concurrency of Sorting NetworksChristian Lengauer, Chua-Huang Huang. 307-317
- Executable Specifications with Quantifiers in the FASE SystemStan Jefferson, Samuel N. Kamin. 318-326