Programming Symposium: Proceedings, Colloque sur la Programmation Paris, April 9–11, 1974

Introduction....Pages 1-8
On a measure of program structure....Pages 9-16
Higher order software techniques applied to a space shuttle prototype program....Pages 17-32
A proposed system for structured programming....Pages 33-40
S. V. P. Un system interactif pour la validation et la preparation de programmes....Pages 41-58
Proving program correctness in LCF....Pages 59-71
Finite state testing of structured programs....Pages 72-80
Structured recursive programming....Pages 81-87
Top-down approach to the synthesis of programs....Pages 88-108
A more mechanical approach to program verification....Pages 109-119
Tree structures handling by aps....Pages 120-129
Towards a high-level job control language....Pages 130-140
Formal Definition of a simple on-line teleprocessor in VDL....Pages 141-155
The suitability of a very high level language (setl) for simulation structuring and control....Pages 156-169
A control statement for natural top-down structured programming....Pages 170-180
On the transfer of control between contexts....Pages 181-203
Equivalences dans l'algèbre des schémas de programme....Pages 204-220
Inductive assertion patterns for recursive procedures....Pages 221-233
Completude d'un systeme formel pour prouver l'equivalence de certains schemas recursifs monadiques....Pages 234-252
Non-existence of program optimizers in an abstract setting....Pages 253-265
Listing of information structures defined by fixed-point operators....Pages 266-279
Application de la structuration de systeme a la conception interne du systeme GEMAU....Pages 280-297
Un systeme de communications: logiciel ou materiel?....Pages 298-313
Structure du systeme SAR....Pages 314-326
Une Transformation de programmes sequentiels en programmes paralleles....Pages 327-349
A model for structured parallel processing in block-structured programming languages....Pages 350-361
First version of a data flow procedure language....Pages 362-376
Towards more flexible type systems....Pages 377-384
Behavioral semantics of nonrecursive control structures....Pages 385-407
Towards a theory of type structure....Pages 408-425