Abstract is missing.
- Analysis of Pointer RotationNorihisa Suzuki. 1-11
- Data Types, Parameters, and Type CheckingAlan J. Demers, James E. Donahue. 12-23
- A High-Level Approach to Computer Document FormattingBrian K. Reid. 24-31
- Experience with an Applicative String Processing LanguageJames H. Morris Jr., Eric Schmidt, Philip Wadler. 32-46
- An Overview of the Summer Programming LanguagePaul Klint. 47-55
- Analysis of Simple Programs Over Different Sets of PrimitivesA. J. Kfoury. 56-61
- Synchronous Schemes and Their Decision ProblemsZohar Manna, Amir Pnueli. 62-67
- Qualified Data Flow ProblemsL. Howard Holley, Barry K. Rosen. 68-82
- Interprocedural Data Flow Analysis in the Presence of Pointers, Procedure Variables and Label VariablesWilliam E. Weihl. 83-94
- Prime Subprogram Parsing of a ProgramRobert Endre Tarjan. 95-105
- On Specifying VerifiersVaughan R. Pratt. 106-116
- A Case Study in Specifying the Semantics of a Programming LanguageRavi Sethi. 117-130
- Final Data Tye Specifications: A New Data Type Specification MethodSamuel N. Kamin. 131-138
- Expressiveness of the Operation Set of a Data AbstractionDeepak Kapur, Mandayam K. Srivas. 139-153
- On Proving Inductive Properties of Abstract Data TypesDavid R. Musser. 154-162
- On the Temporal Basis of FairnessDov M. Gabbay, Amir Pnueli, Saharon Shelah, Jonathan Stavi. 163-173
- Sometime is Sometimes Not Never - On the Temporal Logic of ProgramsLeslie Lamport. 174-185
- Propositional Logics of Programs: Systems, Models, and ComplexityRohit Parikh. 186-192
- A Dynamic Logic of Multiprocessing with Incomplete InformationJohn H. Reif, Gary L. Peterson. 193-202
- Axiomatic Definitions of Programming Languages: A Theoretical AssessmentAlbert R. Meyer, Joseph Y. Halpern. 203-212
- Efficient Algorithms for Structural Similarity of GrammarsHarry B. Hunt III, Daniel J. Rosenkrantz. 213-219
- Theoretical and Emperical Studies on Using Program Mutation to Test the Functional Correctness of ProgramsTimothy A. Budd, Richard A. DeMillo, Richard J. Lipton, Frederick G. Sayward. 220-233
- Type-Completeness as a Language Design PrincipleAlan J. Demers, James E. Donahue. 234-244
- An Indeterminate Constructor for Applicative ProgrammingDaniel P. Friedman, David S. Wise. 245-250
- Formal Specification as a Design ToolJohn V. Guttag, James J. Horning. 251-261