Richard A. DeMillo
Conference Record of the Ninth Annual Symposium on Principles of Programming Languages
POPL, 1982.

@proceedings{POPL-1982,
	acmid         = "582153",
	address       = "Albuquerque, New Mexico, USA",
	editor        = "Richard A. DeMillo",
	isbn          = "0-89791-065-6",
	publisher     = "{ACM Press}",
	title         = "{Conference Record of the Ninth Annual Symposium on Principles of Programming Languages}",
	year          = 1982,
}

Contents (38 items)

6 ×#source code
5 ×#semantics
4 ×#logic
4 ×#on the
4 ×#process
3 ×#axiom
3 ×#communication
3 ×#generative
2 ×#analysis
2 ×#attribute grammar

POPL-1982-HartSP #concurrent #probability #source code #termination

Termination of Probabilistic Concurrent Programs (SH, MS, AP), pp. 1–6.

POPL-1982-LiskovS #distributed #robust #source code

Guardians and Actions: Linguistic Support for Robust, Distributed Programs (BL, RS), pp. 7–19.

POPL-1982-Wolper #communication #logic #process #specification #synthesis #using

Specification and Synthesis of Communicating Processes using an Extended Temporal Logic (PW), pp. 20–33.

POPL-1982-Wall

Messages as Active Agents (DWW), pp. 34–39.

POPL-1982-Francez #communication #process

Extended Naming Conventions for Communicating Processes (NF), pp. 40–45.

POPL-1982-ReifS #bound #communication #distributed #variability

Unbounded Speed Variability in Distributed Communication Systems (JHR, PGS), pp. 46–56.

POPL-1982-LiptonSV #aspect-oriented #programming

Programming Aspects of VLSI (RJL, RS, JV), pp. 57–65.

POPL-1982-JonesM #analysis #approach #data flow #data type #flexibility #interprocedural #recursion #source code

A Flexible Approach to Interprocedural Data Flow Analysis and Programs with Recursive Data Structures (NDJ, SSM), pp. 66–74.

POPL-1982-Giegerich #automation #generative

Automatic Generation of Machine Specific Code Optimizers (RG), pp. 75–81.

POPL-1982-RamanathS

Optimal Code for Control Structures (MVSR, MHS), pp. 82–94.

POPL-1982-Farrow #attribute grammar #compilation #experience #grammarware

Experience with an Attribute Grammar-Based Compiler (RF), pp. 95–107.

POPL-1982-GanapathiF #attribute grammar #code generation #using

Description-Driven Code Generation using Attribute Grammars (MG, CNF), pp. 108–119.

POPL-1982-HennessyG #code generation #constraints #pipes and filters

Code Generation and Reorganization in the Presence of Pipeline Constraints (JLH, TRG), pp. 120–127.

POPL-1982-DavidsonF

Eliminating Redundant Object Code (JWD, CWF), pp. 128–132.

POPL-1982-BorningI #smalltalk

A Type Declaration and Inference System for Smalltalk (AB, DHHI), pp. 133–141.

POPL-1982-Sandberg #flexibility #named #syntax

Lithe: A Language Combining a Flexible Syntax, Classes (DS), pp. 142–145.

POPL-1982-Sandewall

Unified Dialogue Management in the Carousel System (ES), pp. 146–156.

POPL-1982-Voda #named #operating system #programming language

Maple: a Programming Language, Operating System (PJV), pp. 157–168.

POPL-1982-Reps #analysis #editing #incremental #semantics

Optimal-Time Incremental Semantic Analysis for Syntax-Directed Editors (TWR), pp. 169–176.

POPL-1982-SippiS #fault #lr #parsing

Practical Error Recovery in LR Parsing (SS, ESS), pp. 177–184.

POPL-1982-JohnsonF #editing

Non-Syntactic Attribute Flow in Language Based Editors (GFJ, CNF), pp. 185–195.

POPL-1982-JaliliG #parsing

Building Friendly Parsers (FJ, JHG), pp. 196–206.

POPL-1982-DamasM #functional #source code

Principal Type-Schemes for Functional Programs (LD, RM), pp. 207–212.

POPL-1982-Pratt #composition #on the #process

On the Composition of Processes (VRP), pp. 213–223.

POPL-1982-Paulson #compilation #generative #semantics

A Semantics-Directed Compiler Generator (LCP), pp. 224–233.

POPL-1982-Wand #architecture #semantics

Semantics-Directed Machine Architecture (MW), pp. 234–241.

POPL-1982-Henson #generative #interpreter #semantics

Completion Semantics, Interpreter Generation (MCH, RT), pp. 242–254.

POPL-1982-Komorowski #data type #implementation #partial evaluation #prolog

Partial Evaluation as a Means for Inferencing Data Structures in an Applicative Language: A Theory and Implementation in the Case of Prolog (HJK), pp. 255–267.

POPL-1982-Boehm #logic

A Logic for Expressions with Side-Effects (HJB), pp. 268–280.

POPL-1982-Yemeni #axiom #exception

An Axiomatic Treatment of Exception Handling (SY), pp. 281–288.

POPL-1982-GansnerHKMS #correctness #query #semantics

Semantics and Correctness of a Query Language Translation (EG, JRH, CMRK, DJM, PS), pp. 289–298.

POPL-1982-Shapiro #algorithm

Algorithmic Program Diagnosis (EYS), pp. 299–308.

POPL-1982-ClarkeGH #axiom #effectiveness #hoare #logic #on the

On Effective Axiomatizations of Hoare Logics (EMC, SMG, JYH), pp. 309–321.

POPL-1982-HailpernO #composition #concurrent #source code #verification

Modular Verification of Concurrent Programs (BH, SSO), pp. 322–336.

POPL-1982-MeyerM #axiom #recursion #source code

Axiomatic Definability and Completeness for Recursive Programs (ARM, JCM), pp. 337–346.

POPL-1982-ShermanPH #logic #process

Is the Interesting Part of Process Logic Uninteresting — A Translation from PL to PDL (RS, AP, DH), pp. 347–360.

POPL-1982-Cooper #database #on the #power of #query #relational

On the Expressive Power of Query Languages for Relational Databases (ECC), pp. 361–365.

POPL-1982-Critcher #information management #on the

On the Ability of Structures to Store and Access Information (AC), pp. 366–378.