Paul W. Abrahams, Richard J. Lipton, Stephen R. Bourne
Conference Record of the Seventh Annual Symposium on Principles of Programming Languages
POPL, 1980.

@proceedings{POPL-1980,
	acmid         = "567446",
	address       = "Las Vegas, Nevada, USA",
	editor        = "Paul W. Abrahams and Richard J. Lipton and Stephen R. Bourne",
	isbn          = "0-89791-011-7",
	publisher     = "{ACM Press}",
	title         = "{Conference Record of the Seventh Annual Symposium on Principles of Programming Languages}",
	year          = 1980,
}

Contents (25 items)

4 ×#source code
4 ×#specification
3 ×#analysis
3 ×#data type
3 ×#logic
3 ×#on the
3 ×#programming language
2 ×#data flow
2 ×#design
2 ×#pointer

POPL-1980-Suzuki #analysis #pointer

Analysis of Pointer Rotation (NS), pp. 1–11.

POPL-1980-DemersD #data type #parametricity #type checking

Data Types, Parameters, and Type Checking (AJD, JED), pp. 12–23.

POPL-1980-Reid #approach #documentation #pretty-printing

A High-Level Approach to Computer Document Formatting (BKR), pp. 24–31.

POPL-1980-MorrisSW #experience #string

Experience with an Applicative String Processing Language (JHMJ, ES, PW), pp. 32–46.

POPL-1980-Klint #overview #programming language

An Overview of the Summer Programming Language (PK), pp. 47–55.

POPL-1980-Kfoury #analysis #set #source code

Analysis of Simple Programs Over Different Sets of Primitives (AJK), pp. 56–61.

POPL-1980-MannaP #problem

Synchronous Schemes and Their Decision Problems (ZM, AP), pp. 62–67.

POPL-1980-HolleyR #data flow #problem

Qualified Data Flow Problems (LHH, BKR), pp. 68–82.

POPL-1980-Weihl #analysis #data flow #interprocedural #pointer

Interprocedural Data Flow Analysis in the Presence of Pointers, Procedure Variables and Label Variables (WEW), pp. 83–94.

POPL-1980-Tarjan #parsing

Prime Subprogram Parsing of a Program (RET), pp. 95–105.

POPL-1980-Pratt #on the #specification #verification

On Specifying Verifiers (VRP), pp. 106–116.

POPL-1980-Sethi #case study #programming language #semantics #specification

A Case Study in Specifying the Semantics of a Programming Language (RS), pp. 117–130.

POPL-1980-Kamin #data type #specification

Final Data Tye Specifications: A New Data Type Specification Method (SNK), pp. 131–138.

POPL-1980-KapurM #abstraction #set

Expressiveness of the Operation Set of a Data Abstraction (DK, MKS), pp. 139–153.

POPL-1980-Musser #data type #induction #on the #proving

On Proving Inductive Properties of Abstract Data Types (DRM), pp. 154–162.

POPL-1980-GabbayPSS #on the

On the Temporal Basis of Fairness (DMG, AP, SS, JS), pp. 163–173.

POPL-1980-Lamport #logic #quote #source code

“Sometime” is Sometimes “Not Never” — On the Temporal Logic of Programs (LL), pp. 174–185.

POPL-1980-Parikh #complexity #logic #modelling #source code

Propositional Logics of Programs: Systems, Models, and Complexity (RP), pp. 186–192.

POPL-1980-ReifP #logic #multi

A Dynamic Logic of Multiprocessing with Incomplete Information (JHR, GLP), pp. 193–202.

POPL-1980-MeyerH #assessment #axiom #programming language

Axiomatic Definitions of Programming Languages: A Theoretical Assessment (ARM, JYH), pp. 203–212.

POPL-1980-HuntR #algorithm #performance #similarity

Efficient Algorithms for Structural Similarity of Grammars (HBHI, DJR), pp. 213–219.

POPL-1980-BuddDLS #correctness #functional #source code #using

Theoretical and Emperical Studies on Using Program Mutation to Test the Functional Correctness of Programs (TAB, RAD, RJL, FGS), pp. 220–233.

POPL-1980-DemersD80a #design #principle

“Type-Completeness” as a Language Design Principle (AJD, JED), pp. 234–244.

POPL-1980-FriedmanW #programming

An Indeterminate Constructor for Applicative Programming (DPF, DSW), pp. 245–250.

POPL-1980-GuttagH #design #specification

Formal Specification as a Design Tool (JVG, JJH), pp. 251–261.