Special transformation techniques (English)
- New search for: Wössner, H.
- New search for: Pepper, P.
- New search for: Partsch, H.
- New search for: Bauer, F. L.
- New search for: Bauer, Friedrich L.
- New search for: Broy, Manfred
- New search for: Dijkstra, E. W.
- New search for: Gerhart, S. L.
- New search for: Gries, D.
- New search for: Griffiths, M.
- New search for: Guttag, J. V.
- New search for: Horning, J. J.
- New search for: Owicki, S. S.
- New search for: Pair, C.
- New search for: Partsch, H.
- New search for: Pepper, P.
- New search for: Wirsing, M.
- New search for: Wössner, H.
- New search for: Wössner, H.
- New search for: Pepper, P.
- New search for: Partsch, H.
- New search for: Bauer, F. L.
In:
Program Construction
: International Summer School
;
Chapter: 24
;
290-321
;
2005
- Article/Chapter (Book) / Electronic Resource
-
Title:Special transformation techniques
-
Additional title:Lect Notes Comput Sci
-
Contributors:Bauer, Friedrich L. ( editor ) / Broy, Manfred ( editor ) / Dijkstra, E. W. ( editor ) / Gerhart, S. L. ( editor ) / Gries, D. ( editor ) / Griffiths, M. ( editor ) / Guttag, J. V. ( editor ) / Horning, J. J. ( editor ) / Owicki, S. S. ( editor ) / Pair, C. ( editor )
-
Published in:Program Construction : International Summer School ; Chapter: 24 ; 290-321Lecture Notes in Computer Science ; 69 ; 290-321
-
Publisher:
- New search for: Springer Berlin Heidelberg
-
Place of publication:Berlin, Heidelberg
-
Publication date:2005-06-09
-
Size:32 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Type of media:Article/Chapter (Book)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents eBook
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
A more formal treatment of a less simple exampleDijkstra, Edsger W. et al. | 2005
- 2
-
Stationary behaviour of some ternary networksDijkstra, Edsger W. et al. | 2005
- 3
-
Finding the correctness proof of a concurrent programDijkstra, Edsger W. et al. | 2005
- 4
-
On the interplay between mathematics and programmingDijkstra, E. W. et al. | 2005
- 5
-
A theorem about odd powers of odd integersDijkstra, Edsger W. et al. | 2005
- 6
-
In honour of FibonacciDijkstra, Edsger W. et al. | 2005
- 7
-
On the foolishness of “natural language programming”Dijkstra, Edsger W. et al. | 2005
- 8
-
Program inversionDijkstra, Edsger W. et al. | 2005
- 9
-
The Schorr-Waite graph marking algorithmGries, David et al. | 2005
- 10
-
Eliminating the chaffGries, David et al. | 2005
- 11
-
Proofs, programs and their development — The axiomatic approachGries, D. et al. | 2005
- 12
-
Current ideas in programming methodologyGries, David et al. | 2005
- 13
-
Basic axiomatic definitionsGries, David et al. | 2005
- 14
-
The multiple assignment statementGries, David et al. | 2005
- 15
-
Is sometimes ever better than always?Gries, David et al. | 2005
- 16
-
A case study in language design: EuclidHorning, J. J. et al. | 2005
- 17
-
Proof rules for the programming language EuclidLondon, R. L. / Guttag, J. V. / Horning, J. J. / Lampson, B. W. / Mitchell, J. G. / Popek, G. J. et al. | 2005
- 18
-
Verification of Euclid programsHorning, J. J. et al. | 2005
- 19
-
Specifications and proofs for abstract data types in concurrent programsOwicki, Susan S. et al. | 2005
- 20
-
Specification and verification of a network mail systemOwicki, Susan S. et al. | 2005
- 21
-
From specification to implementation — The formal approachBauer, F. L. et al. | 2005
- 22
-
Program development by stepwise transformations — The project CIPBauer, F. L. et al. | 2005
- 23
-
Systematics of transformation rulesBauer, F. L. / Broy, M. / Partsch, H. / Pepper, P. / Wössner, H. et al. | 2005
- 24
-
Special transformation techniquesWössner, H. / Pepper, P. / Partsch, H. / Bauer, F. L. et al. | 2005
- 25
-
A study on transformational semanticsPepper, P. et al. | 2005
- 26
-
Detailization and lazy evaluation, infinite objects and pointer representationBauer, F. L. et al. | 2005
- 27
-
Examples for change of types and object structuresPartsch, H. / Broy, M. et al. | 2005
- 28
-
Development of the Schorr-Waite algorithmGriffiths, Michael et al. | 2005
- 29
-
A derivation-oriented proof of the Schorr-Waite marking algorithmGerhart, Susan L. et al. | 2005
- 30
-
Languages as tools — Interactive program constructionHorning, J. J. et al. | 2005
- 31
-
Programing languages for reliable computing systemsHorning, J. J. et al. | 2005
- 32
-
Programming methodology and language implicationsGriffiths, Michael et al. | 2005
- 33
-
Towards a wide spectrum language to support program specification and program developmentBauer, F. L. / Broy, M. / Gnatz, R. / Hesse, W. / Krieg-Brücknert, B. / Partsch, H. / Pepper, P. / Wössner, H. et al. | 2005
- 34
-
Semantics of nondeterministic and noncontinuous constructsBroy, M. / Gnatz, R. / Wirsing, M. et al. | 2005
- 35
-
Notes on type abstractionGuttag, John et al. | 2005
- 36
-
Some theoretical aspects of program constructionPair, Claude et al. | 2005