7. POPL 1980:
Las Vegas, Nevada
Conference Record of the Seventh Annual ACM Symposium on Principles of Programming Languages,
Las Vegas, Nevada, January 1980.
- Norihisa Suzuki:
Analysis of Pointer Rotation.
1-11
- Alan J. Demers, James E. Donahue:
Data Types, Parameters, and Type Checking.
12-23
- Brian K. Reid:
A High-Level Approach to Computer Document Formatting.
24-31
- James H. Morris Jr., Eric Schmidt, Philip Wadler:
Experience with an Applicative String Processing Language.
32-46
- Paul Klint:
An Overview of the Summer Programming Language.
47-55
- A. J. Kfoury:
Analysis of Simple Programs Over Different Sets of Primitives.
56-61
- Zohar Manna, Amir Pnueli:
Synchronous Schemes and Their Decision Problems.
62-67
- L. Howard Holley, Barry K. Rosen:
Qualified Data Flow Problems.
68-82
- William E. Weihl:
Interprocedural Data Flow Analysis in the Presence of Pointers, Procedure Variables and Label Variables.
83-94
- Robert Endre Tarjan:
Prime Subprogram Parsing of a Program.
95-105
- Vaughan R. Pratt:
On Specifying Verifiers.
106-116
- Ravi Sethi:
A Case Study in Specifying the Semantics of a Programming Language.
117-130
- Samuel N. Kamin:
Final Data Tye Specifications: A New Data Type Specification Method.
131-138
- Deepak Kapur, Mandayam K. Srivas:
Expressiveness of the Operation Set of a Data Abstraction.
139-153
- David R. Musser:
On Proving Inductive Properties of Abstract Data Types.
154-162
- Dov M. Gabbay, Amir Pnueli, Saharon Shelah, Jonathan Stavi:
On the Temporal Basis of Fairness.
163-173
- Leslie Lamport:
``Sometime'' is Sometimes ``Not Never'' - On the Temporal Logic of Programs.
174-185
- Rohit Parikh:
Propositional Logics of Programs: Systems, Models, and Complexity.
186-192
- John H. Reif, Gary L. Peterson:
A Dynamic Logic of Multiprocessing with Incomplete Information.
193-202
- Albert R. Meyer, Joseph Y. Halpern:
Axiomatic Definitions of Programming Languages: A Theoretical Assessment.
203-212
- Harry B. Hunt III, Daniel J. Rosenkrantz:
Efficient Algorithms for Structural Similarity of Grammars.
213-219
- Timothy A. Budd, Richard A. DeMillo, Richard J. Lipton, Frederick G. Sayward:
Theoretical and Emperical Studies on Using Program Mutation to Test the Functional Correctness of Programs.
220-233
- Alan J. Demers, James E. Donahue:
``Type-Completeness'' as a Language Design Principle.
234-244
- Daniel P. Friedman, David S. Wise:
An Indeterminate Constructor for Applicative Programming.
245-250
- John V. Guttag, James J. Horning:
Formal Specification as a Design Tool.
251-261
Copyright © Mon Dec 7 19:02:17 2009
by Michael Ley (ley@uni-trier.de)
