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