Sign in
Program Construction
1978
1979
1978
1979
Keyphrases
Publications
volume 69, 1979
Program Construction, International Summer School, July 26 - August 6, 1978, Marktoberdorf, Germany
Program Construction
69 (1979)
1978
Susan S. Owicki
Specification and Verification of a Network Nail System.
Program Construction
(1978)
Michael Griffiths
Development of the Schorr-Waite Algorithm.
Program Construction
(1978)
David Gries
The Multiple Assignment Statement.
Program Construction
(1978)
Edsger W. Dijkstra
Stationary Behaviour of Some Ternary Networks.
Program Construction
(1978)
Manfred Broy
,
Rupert Gnatz
,
Martin Wirsing
Semantics of Nondeterministic and Noncontinuous Constructs.
Program Construction
(1978)
Friedrich L. Bauer
Detailization and Lazy Evaluation, Infinite Objects and Pointer Representation.
Program Construction
(1978)
James J. Horning
Verification of Euclid Programs.
Program Construction
(1978)
Friedrich L. Bauer
,
Manfred Broy
,
Rupert Gnatz
,
Wolfgang Hesse
,
Bernd Krieg-Brückner
,
Helmuth Partsch
,
Peter Pepper
,
Hans Wössner
Towards a Wide Spectrum Language to Support Program Specification and Program Development.
Program Construction
(1978)
Susan L. Gerhart
A Derivation Oriented Proof of the Schorr-Waite Marking Algorithm.
Program Construction
(1978)
Edsger W. Dijkstra
A Theorem about Odd Powers of Odd Integers.
Program Construction
(1978)
Susan S. Owicki
Specifications and Proofs for Abstract Data Types in Concurrent Programs.
Program Construction
(1978)
John V. Guttag
Notes on Type Abstraction.
Program Construction
(1978)
James J. Horning
Programming Languages for Reliable Computing Systems.
Program Construction
(1978)
Edsger W. Dijkstra
In Honour of Fibonacci.
Program Construction
(1978)
Claude Pair
Some Theoretical Aspects of Program Construction.
Program Construction
(1978)
Friedrich L. Bauer
Program Development by Stepwise Transformations - The Project CIP. Appendix: Programming Languages under Educational and under Professional Aspects.
Program Construction
(1978)
Edsger W. Dijkstra
Finding the Correctness Proof of a Concurrent Program.
Program Construction
(1978)
Edsger W. Dijkstra
On the Foolishness of "Natural Language Programming".
Program Construction
(1978)
Edsger W. Dijkstra
Program Inversion.
Program Construction
(1978)
Edsger W. Dijkstra
A More Formal Treatment of a Less Simple Example.
Program Construction
(1978)
Michael Griffiths
Programming Methodology and Language Implications.
Program Construction
(1978)
Hans Wössner
,
Peter Pepper
,
Helmuth Partsch
,
Friedrich L. Bauer
Special Transformation Techniques.
Program Construction
(1978)
David Gries
Eliminating the Chaff.
Program Construction
(1978)
David Gries
The Schorr-Waite Graph Marking Algorithm.
Program Construction
(1978)
Friedrich L. Bauer
,
Manfred Broy
,
Helmuth Partsch
,
Peter Pepper
,
Hans Wössner
Systematics of Transformation Rules.
Program Construction
(1978)
Ralph L. London
,
John V. Guttag
,
James J. Horning
,
Butler W. Lampson
,
James G. Mitchell
,
Gerald J. Popek
Proof Rules for the Programming Language Euclid.
Program Construction
(1978)
Peter Pepper
A Study on Transformational Semantics.
Program Construction
(1978)
James J. Horning
A Case Study in Language Design: Euclid.
Program Construction
(1978)
Helmuth Partsch
,
Manfred Broy
Examples for Change of Types and Object Structures.
Program Construction
(1978)
Edsger W. Dijkstra
On the Interplay between Mathematics and Programming.
Program Construction
(1978)
David Gries
Basic Axiomatic Definitions.
Program Construction
(1978)
David Gries
Current Ideas in Programming Methodology.
Program Construction
(1978)
David Gries
Is Sometimes Ever Better Than Always?
Program Construction
(1978)