Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Programming Symposium: Proceedings, Colloque sur la Programmation, Paris, April 9-11, 1974 > A control statement for natural top-down structured programming
Programming Symposium: Proceedings, Colloque sur la Programmation, Paris, April 9-11, 1974 |
B. Robinet
Springer Berlin Heidelberg
Programming Symposium: Proceedings, Colloque sur la Programmation, Paris, April 9-11, 1974
A control statement for natural top-down structured programming
Authors

Charles T. Zahn Jr.

ARI Id

1664252819418_935227

Access

Not Available Free

Pages

170-180

DOI

10.1007/3-540-06859-7_133

Chapter URL

https://rd.springer.com/chapter/10.1007/3-540-06859-7_133

Table of Contents of Book
Showing 1 to 20 of 31 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
Introduction
1-8
On a measure of program structure
R. N. Chanon
9-16
Higher order software techniques applied to a space shuttle prototype program
Margaret Hamilton; Saydean Zeldin
17-32
A proposed system for structured programming
T. E. Cheatham Jr.; Judy A. Townley
33-40
S. V. P. Un system interactif pour la validation et la preparation de programmes
B. Amy; F. Ouabdesselam
41-58
Proving program correctness in LCF
Luigia Aiello; Mario Aiello
59-71
Finite state testing of structured programs
P. Henderson; P. Quarendon
72-80
Structured recursive programming
Robert E. Noonan; Dale J. Panton
81-87
Top-down approach to the synthesis of programs
G. Degli Antoni; P. A. Miglioli; M. Ornaghi
88-108
A more mechanical approach to program verification
Irene Greif; Richard Waldinger
109-119
Tree structures handling by aps
Gianni Aguzzi; Francesca Cesarini; Renzo Pinzani; Giovanni Soda; Renzo Sprugnoli
120-129
Towards a high-level job control language
Aaron Felix Gurski
130-140
Formal Definition of a simple on-line teleprocessor in VDL
George G. Hay
141-155
The suitability of a very high level language (setl) for simulation structuring and control
W. R. Franta; Kurt Maly
156-169
A control statement for natural top-down structured programming
Charles T. Zahn Jr.
170-180
On the transfer of control between contexts
B. W. Lampson; J. G. Mitchell; E. H. Satterthwaite
181-203
Equivalences dans l'algèbre des schémas de programme
Irène Guessarian
204-220
Inductive assertion patterns for recursive procedures
M. M. Fokkinga
221-233
Completude d'un systeme formel pour prouver l'equivalence de certains schemas recursifs monadiques
B. Courcelle; J. Vuillemin
234-252
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 31 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings