Abstract is missing.
- On a measure of program structureR. N. Chanon. 9-16
- Higher order software techniques applied to a space shuttle prototype programMargaret Hamilton, Saydean Zeldin. 17-32
- A proposed system for structured programmingThomas E. Cheatham Jr., Judy A. Townley. 33-40
- S. V. P., Un système interactif pour la validation et la préparation de programmesB. Amy, Farid Ouabdesselam. 41-58
- Proving program correctness in L. C. F.Luigia Aiello, Mario Aiello. 59-71
- Finite state testing of structured programsPeter Henderson, Peter Quarendon. 72-80
- Structured recursive programmingRobert E. Noonan, Dale J. Panton. 81-87
- Top-down approach to the synthesis of programsG. Degli Antoni, Pierangelo Miglioli, Mario Ornaghi. 88-108
- A more mechanical approach to program verificationIrene Greif, Richard J. Waldinger. 109-119
- Tree structures handling by APSGianni Aguzzi, Francesca Cesarini, Renzo Pinzani, Giovanni Soda, Renzo Sprugnoli. 120-129
- Towards a high-level job control languageAaron Felix Gurski. 130-140
- Formal definition of a simple on-line teleprocessor in VDLGeorge G. Hay. 141-155
- The suitability of a very high level language (SETL) for simulation strucuturing and controlWilliam R. Franta, Kurt Maly. 156-169
- A control statement for natural top-down structured programmingCharles T. Zahn Jr.. 170-180
- On the transfer of control between contextsButler W. Lampson, James G. Mitchell, E. H. Satterthwhaite. 181-203
- Equivalence dans l algèbre ds schémas de programmesIrène Guessarian. 204-220
- Inductive assertion patters for recursive proceduresMaarten M. Fokkinga. 221-233
- Complétude d un système formel pour prouver l équivalence de certains schémas récursifs monadiquesBruno Courcelle, Jean Vuillemin. 234-252
- Non-existence of program optimizers in an abstract settingDonald A. Alton, John L. Lowther. 253-265
- Listing of information structures defined by fixed-point operatorsCorrado Böhm, Mariangiola Dezani-Ciancaglini, Simona Ronchi Della Rocca. 266-279
- Application de la strucuturation des systéme à la conception interne du système GEMAUPhilippe Darondeau, Serge Guiboud-Ribaud, Claude Otrage. 280-297
- Un système de communications: logiciel ou matériel?M. Chimnaud, A. Scrizzi. 298-313
- Structure du système SARA. Kerangueven, F. Kerangueven. 314-326
- Transformation de programmes séquentiels en programmes parallèlesGérard Roucairol. 327-349
- A model for structured parallel processing in block-structured programming languagesCarlo Montangero, Giuliano Pacini, Franco Turini. 350-361
- First version of a data flow procedure languageJack B. Dennis. 362-376
- Towards more flexible type systemsJ. H. Morris. 377-384
- Behavioral semantics of nonrecursive control structuresCarl Hewitt, Peter Bishop, Richard Steiger, Irene Greif, Brian Cantwell Smith, Todd Matson, Roger Hale. 385-407
- Towards a theory of type structureJohn C. Reynolds. 408-423