Program construction : international summer school /
Guardado en:
| Autor Corporativo: | |
|---|---|
| Otros Autores: | , |
| Formato: | Libro |
| Idioma: | English |
| Publicado: |
Berlin ; New York :
Springer-Verlag,
1979.
|
| Series: | Lecture notes in computer science ;
69 |
| Materias: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Tabla de Contenidos:
- F. L. Bauer, Preface. I. The thinking programmer: Edsger W. Dijkstra, A more formal treatment of a less simple example
- Edsger W. Dijkstra, Stationary behaviour of some ternary networks
- Edsger W. Dijkstra, Finding the correctness proof of a concurrent program
- Edsger W. Dijkstra, On the interplay between mathematics and programming
- Edsger W. Dijkstra, A theorem about odd powers of odd integers
- Edsger W. Dijkstra, In honour of Fibonacci
- Edsger W. Dijkstra, On the foolishness of ``natural language programming''
- Edsger W. Dijkstra, Program inversion
- David Gries, The Schorr-Waite graph marking algorithm
- David Gries, Eliminating the chaff
- . II. Program verification: David Gries, Current ideas in programming methodology
- David Gries, Basic axiomatic definitions
- David Gries, The multiple assignment statement
- David Gries, Is sometimes ever better than always?
- J. J. Horning, A case study in language design: Euclid
- R. L. London, J. V. Guttag, J. J. Horning, B. W. Lampson, J. G. Mitchell and G. J. Popek, Proof rules for the programming language Euclid
- J. J. Horning, Verification of Euclid programs
- Susan S. Owicki, Specifications and proofs for abstract data types in concurrent programs
- Susan S. Owicki, Specification and verification of a network mail system
- . III. Program development by transformation: F. L. Bauer, Program development by stepwise transformations
- -the project CIP
- F. L. Bauer, M. Broy, H. Partsch, P. Pepper and H. Wössner, Systematics of transformation rules
- H. Wössner, P. Pepper, H. Partsch and F. L. Bauer, Special transformation techniques
- P. Pepper, A study on transformational semantics
- F. L. Bauer, Detailization and lazy evaluation, infinite objects and pointer representation
- H. Partsch and M. Broy, Examples for change of types and object structures
- Michael Griffiths, Development of the Schorr-Waite algorithm
- Susan L. Gerhart, A derivation-oriented proof of the Schorr-Waite marking algorithm
- . IV. Special language considerations and formal tools: J. J. Horning, Programming languages for reliable computing systems
- Michael Griffiths, Programming methodology and language implications
- F. L. Bauer, M. Broy, R. Gnatz, W. Hesse, B. Krieg-Brückner, H. Partsch, P. Pepper and H. Wössner, Towards a wide spectrum language to support program specification and program development
- M. Broy, R. Gnatz and M. Wirsing, Semantics of nondeterministic and noncontinuous constructs
- John Guttag, Notes on type abstraction
- Claude Pair, Some theoretical aspects of program construction.