default search action
Formal Description of Programming Concepts 1977: St. Andrews, NB, Canada
- Erich J. Neuhold:
Formal Description of Programming Concepts: Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, St. Andrews, NB, Canada, August 1-5, 1977. North-Holland 1978, ISBN 0-444-85107-0
Session 1, Monday morning, August 1, Chairman: Manfred Paul
- Jack B. Dennis:
Opening Remarks. Formal Description of Programming Concepts 1977: xi - Eric R. Anderson, Frank C. Belz, Edward K. Blum:
Issues in the Formal Specifications of Programming Languages. Formal Description of Programming Concepts 1977: 1-30 - Robert Milne:
Transforming Predicate Transformers. Formal Description of Programming Concepts 1977: 31-66
Session 2, Monday afternoon, August 1 Chairman: Robert D. Tennent
- Jean-Pierre Finance:
Static and Computational Semantics of a Definitional Language. Formal Description of Programming Concepts 1977: 67-94 - Arvind, Kim P. Gostelow:
Some Relationships Between Asynchronous Interpreters of a Dataflow Language. Formal Description of Programming Concepts 1977: 95-120 - Luigia Aiello, Giuseppe Attardi, Gianfranco Prini:
Towards a More Declarative Programming Style. Formal Description of Programming Concepts 1977: 121-138
Session 3, Tuesday morning, August 2, Chairman: Edward K. Blum
- Krzysztof R. Apt:
Equivalence of Operational and Denotational Semantics for a Fragment of Pascal. Formal Description of Programming Concepts 1977: 139-164 - Jaco de Bakker:
Recursive Programs as Predicate Transformers. Formal Description of Programming Concepts 1977: 165-182 - Andrzej Blikle:
Towards Mathematical Structured Programming. Formal Description of Programming Concepts 1977: 183-202 - Richard J. Lipton, Lawrence Snyder:
On the Power of Applicative Languages. Formal Description of Programming Concepts 1977: 203-210
Session 4, Tuesday afternoon, August 2, Chairman: Claude Pair
- John V. Guttag, James J. Horning, Ralph L. London:
A Proof Rule for Euclid Procedures. Formal Description of Programming Concepts 1977: 211-220 - Maarten M. Fokkinga:
Axiomatization of Declarations and the Formal Treatment of an Escape Construct. Formal Description of Programming Concepts 1977: 221-236 - Patrick Cousot, Radhia Cousot:
Static Determination of Dynamic Properties of Recursive Procedures. Formal Description of Programming Concepts 1977: 237-278
Session 5, Wednesday morning, August 3, Chairman: Raymond E. Miller
- Susan S. Owicki:
Verifying Concurrent Programs With Shared Data Classes. Formal Description of Programming Concepts 1977: 279-300 - Peter E. Lauer, Eike Best, Michael W. Shields:
On the Problem of Achieving Adequacy of Concurrent Programs. Formal Description of Programming Concepts 1977: 301-336 - Robert M. Keller:
Denotational Models for Parallel Programs with Indeterminate Operators. Formal Description of Programming Concepts 1977: 337-366 - Carl E. Hewitt, Henry G. Baker:
Actors and Continuous Functionals. Formal Description of Programming Concepts 1977: 367-390
Session 6, Thursday morning, August 4, Chairman: Shigeru Igarashi
- Andrei P. Ershov:
On the Essence of Compilation. Formal Description of Programming Concepts 1977: 391-420 - Maarten H. van Emden:
Computation and Deductive Information Retrieval. Formal Description of Programming Concepts 1977: 421-440 - Fred Kröger:
A Uniform Logical Basis for the Description, Specification and Verification of Programs. Formal Description of Programming Concepts 1977: 441-460 - Werner Damm, Elfriede Fehr, Klaus Indermark:
Higher Type Recursion and Self-Application as Control Structures. Formal Description of Programming Concepts 1977: 461-490
Session 7, Thursday afternoon, August 4, Chairman: Andrei P. Ershov
- Joseph A. Goguen:
Abstract Errors for Abstract Data Types. Formal Description of Programming Concepts 1977: 491-526 - Reiji Nakajima, Michio Honda, Hayao Nakahara:
Describing and Verifying Programs with Abstract Data Types. Formal Description of Programming Concepts 1977: 527-556 - Daniel M. Berry, Michael Erlinger, John B. Johnston, Arndt von Staa:
Models of Hierarchical Machine Support. Formal Description of Programming Concepts 1977: 557-588
Session 8, Friday morning, August 5, Chairman: Jaco W. de Bakker
- Lawrence Flon, Norihisa Suzuki:
Nondeterminism and the Correctness of Parallel Programs. Formal Description of Programming Concepts 1977: 589-608 - Axel van Lamsweerde:
From Verifying Termination to Guaranteeing it: A Case Study. Formal Description of Programming Concepts 1977: 609-620 - Willem P. de Roever:
On Backtracking and Greatest Fixpoints. Formal Description of Programming Concepts 1977: 621-640
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-15 19:20 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: