Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDProgram Construction 1978: Marktoberdorf, Germany
- Friedrich L. Bauer, Manfred Broy:
Program Construction, International Summer School, July 26 - August 6, 1978, Marktoberdorf, Germany. Lecture Notes in Computer Science 69, Springer 1979, ISBN 3-540-09251-X
The Thinking Programmer
- Edsger W. Dijkstra:
A More Formal Treatment of a Less Simple Example. 2-20 - Edsger W. Dijkstra:
Stationary Behaviour of Some Ternary Networks. 21-23 - Edsger W. Dijkstra:
Finding the Correctness Proof of a Concurrent Program. 24-34 - Edsger W. Dijkstra:
On the Interplay between Mathematics and Programming. 35-46 - Edsger W. Dijkstra:
A Theorem about Odd Powers of Odd Integers. 47-48 - Edsger W. Dijkstra:
In Honour of Fibonacci. 49-50 - Edsger W. Dijkstra:
On the Foolishness of "Natural Language Programming". 51-53 - Edsger W. Dijkstra:
Program Inversion. 54-57 - David Gries
:
The Schorr-Waite Graph Marking Algorithm. 58-69 - David Gries:
Eliminating the Chaff. 70-74
Program Verification
- David Gries:
Current Ideas in Programming Methodology. 77-93 - David Gries:
Basic Axiomatic Definitions. 94-99 - David Gries:
The Multiple Assignment Statement. 100-112 - David Gries:
Is Sometimes Ever Better Than Always? 113-124 - James J. Horning:
A Case Study in Language Design: Euclid. 125-132 - 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. 133-163 - James J. Horning:
Verification of Euclid Programs. 164-173 - Susan S. Owicki:
Specifications and Proofs for Abstract Data Types in Concurrent Programs. 174-197 - Susan S. Owicki:
Specification and Verification of a Network Nail System. 198-234
Program Development by Transformation
- Friedrich L. Bauer:
Program Development by Stepwise Transformations - The Project CIP. Appendix: Programming Languages under Educational and under Professional Aspects. 237-272 - Friedrich L. Bauer, Manfred Broy, Helmuth Partsch, Peter Pepper, Hans Wössner:
Systematics of Transformation Rules. 273-289 - Hans Wössner, Peter Pepper, Helmuth Partsch, Friedrich L. Bauer:
Special Transformation Techniques. 290-321 - Peter Pepper:
A Study on Transformational Semantics. 322-405 - Friedrich L. Bauer:
Detailization and Lazy Evaluation, Infinite Objects and Pointer Representation. 406-420 - Helmuth Partsch, Manfred Broy:
Examples for Change of Types and Object Structures. 421-463 - Michael Griffiths:
Development of the Schorr-Waite Algorithm. 464-471 - Susan L. Gerhart:
A Derivation Oriented Proof of the Schorr-Waite Marking Algorithm. 472-492
Special Language Considerations and Formal Tools
- James J. Horning:
Programming Languages for Reliable Computing Systems. 494-530 - Michael Griffiths:
Programming Methodology and Language Implications. 531-542 - 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. 543-552 - Manfred Broy, Rupert Gnatz, Martin Wirsing:
Semantics of Nondeterministic and Noncontinuous Constructs. 553-592 - John V. Guttag:
Notes on Type Abstraction. 593-616 - Claude Pair:
Some Theoretical Aspects of Program Construction. 617-651
a service of 
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-04-25 05:26 CEST 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:
