POPL 1986
30 papers
- "Type" Is Not A Type
- A Maximum-Flow Approach to Anomaly Isolation in Unification-Based Incremental Type Inference
- A Mechanically Certified Theorem about Optimal Concurrency of Sorting Networks
- A Parallel Language and its Compilation to Multiprocessor Machines or VLSI
- A Really Abstract Concurrent Model and its Temporal Logic
- Annotations for Distributed Programming in Logic
- Atomic Data Abstractions in a Distributed Collaborative Editing System
- Code Motion of Control Structures in High-Level Languages
- Compilers and Staging Transformations
- Data Flow Analysis of Applicative Programs Using Minimal Function Graphs
- Distributed Data Structures in Linda
- Dynamically Bypassing Copy Rule Chains in Attribute Grammars
- Equational Logic Programming: An Extension to Equational Programming
- Executable Specifications with Quantifiers in the FASE System
- Expressing Interesting Properties of Programs in Propositional Temporal Logic
- Finding the Source of Type Errors
- Global Storage Allocation in Attribute Evaluation
- Hierarchical VLSI Design Systems Based on Attribute Grammars
- High-Quality Code Generation Via Bottom-Up Tree Pattern Matching
- Higher-Order Strictness Analysis in Untyped Lambda Calculus
- Limitations of Synchronous Communication with Static Process Structure in Languages for Distributed Computing
- Logic and Inheritance
- Operational Semantics of a Parallel Object-Oriented Language
- Para-Functional Programming: A Paradigm for Programming Multiprocessor Systems
- Remote Attribute Updating for Language-Based Editors
- Representation Independence and Data Abstraction
- Retargetable High-Level Alias Analysis
- Towards Programming with Knowledge Expressions
- Unification in Many-Sorted Algebras as a Device for Incremental Semantic Analysis
- Using Dependent Types to Express Modular Structure