Abstract is missing.
- Opening RemarksJack B. Dennis.
- Issues in the Formal Specifications of Programming LanguagesEric B. Anderson 0001, Frank C. Belz, Edward K. Blum. 1-30
- Transforming Predicate TransformersRobert Milne. 31-66
- Static and Computational Semantics of a Definitional LanguageJean-Pierre Finance. 67-94
- Some Relationships Between Asynchronous Interpreters of a Dataflow LanguageArvind, Kim P. Gostelow. 95-120
- Towards a More Declarative Programming StyleLuigia Aiello, Giuseppe Attardi, Gianfranco Prini. 121-138
- Equivalence of Operational and Denotational Semantics for a Fragment of PascalKrzysztof R. Apt. 139-164
- Recursive Programs as Predicate TransformersJaco de Bakker. 165-182
- Towards Mathematical Structured ProgrammingAndrzej Blikle. 183-202
- On the Power of Applicative LanguagesRichard J. Lipton, Lawrence Snyder. 203-210
- A Proof Rule for Euclid ProceduresJohn V. Guttag, James J. Horning, Ralph L. London. 211-220
- Axiomatization of Declarations and the Formal Treatment of an Escape ConstructMaarten M. Fokkinga. 221-236
- Static Determination of Dynamic Properties of Recursive ProceduresPatrick Cousot, Radhia Cousot. 237-278
- Verifying Concurrent Programs With Shared Data ClassesSusan S. Owicki. 279-300
- On the Problem of Achieving Adequacy of Concurrent ProgramsPeter E. Lauer, Eike Best, Michael W. Shields. 301-336
- Denotational Models for Parallel Programs with Indeterminate OperatorsRobert M. Keller. 337-366
- Actors and Continuous FunctionalsCarl E. Hewitt, Henry G. Baker. 367-390
- On the Essence of CompilationAndrei P. Ershov. 391-420
- Computation and Deductive Information RetrievalMaarten H. van Emden. 421-440
- A Uniform Logical Basis for the Description, Specification and Verification of ProgramsFred Kröger. 441-460
- Higher Type Recursion and Self-Application as Control StructuresWerner Damm, Elfriede Fehr, Klaus Indermark. 461-490
- Abstract Errors for Abstract Data TypesJoseph A. Goguen. 491-526
- Describing and Verifying Programs with Abstract Data TypesReiji Nakajima, Michio Honda, Hayao Nakahara. 527-556
- Models of Hierarchical Machine SupportDaniel M. Berry, Michael Erlinger, John B. Johnston, Arndt von Staa. 557-588
- Nondeterminism and the Correctness of Parallel ProgramsLawrence Flon, Norihisa Suzuki. 589-608
- From Verifying Termination to Guaranteeing it: A Case StudyAxel van Lamsweerde. 609-620
- On Backtracking and Greatest FixpointsWillem P. de Roever. 621-640