1. Symposium on Programming 1974: Paris, France

@proceedings{DBLP:conf/programm/1974,
  editor    = {Bernard Robinet},
  title     = {Programming Symposium, Proceedings Colloque sur la Programmation,
               Paris, France, April 9-11, 1974},
  booktitle = {Symposium on Programming},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {19},
  year      = {1974},
  isbn      = {3-540-06859-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Structured Programm

• R. N. Chanon: On a measure of program structure. 9-16 BibTeX
• Margaret Hamilton, Saydean Zeldin: Higher order software techniques applied to a space shuttle prototype program. 17-32 BibTeX
• Thomas E. Cheatham Jr., Judy A. Townley: A proposed system for structured programming. 33-40 BibTeX

Program Correctness

• B. Amy, Farid Ouabdesselam: S. V. P., Un système interactif pour la validation et la préparation de programmes. 41-58 BibTeX
• Luigia Aiello, Mario Aiello: Proving program correctness in L. C. F.. 59-71 BibTeX
• Peter Henderson, Peter Quarendon: Finite state testing of structured programs. 72-80 BibTeX

Proving Properties of Programs

• Robert E. Noonan, Dale J. Panton: Structured recursive programming. 81-87 BibTeX
• G. Degli Antoni, Pierangelo Miglioli, Mario Ornaghi: Top-down approach to the synthesis of programs. 88-108 BibTeX
• Irene Greif, Richard J. Waldinger: A more mechanical approach to program verification. 109-119 BibTeX

Specific Applications of Programming Languages

• Gianni Aguzzi, Francesca Cesarini, Renzo Pinzani, Giovanni Soda, Renzo Sprugnoli: Tree structures handling by APS. 120-129 BibTeX
• Aaron Felix Gurski: Towards a high-level job control language. 130-140 BibTeX
• George G. Hay: Formal definition of a simple on-line teleprocessor in VDL. 141-155 BibTeX

Control Structures

• William R. Franta, Kurt Maly: The suitability of a very high level language (SETL) for simulation strucuturing and control. 156-169 BibTeX
• Charles T. Zahn Jr.: A control statement for natural top-down structured programming. 170-180 BibTeX
• Butler W. Lampson, James G. Mitchell, E. H. Satterthwhaite: On the transfer of control between contexts. 181-203 BibTeX

Schematology

• Irène Guessarian: Equivalence dans l'algèbre ds schémas de programmes. 204-220 BibTeX
• Maarten M. Fokkinga: Inductive assertion patters for recursive procedures. 221-233 BibTeX
• Bruno Courcelle, Jean Vuillemin: Complétude d'un système formel pour prouver l'équivalence de certains schémas récursifs monadiques. 234-252 BibTeX

Theory of Programming

• Donald A. Alton, John L. Lowther: Non-existence of program optimizers in an abstract setting. 253-265 BibTeX
• Corrado Böhm, Mariangiola Dezani-Ciancaglini, Simona Ronchi Della Rocca: Listing of information structures defined by fixed-point operators. 266-279 BibTeX

System Design

• Philippe Darondeau, Serge Guiboud-Ribaud, Claude Otrage: Application de la strucuturation des systéme à la conception interne du système GEMAU. 280-297 BibTeX
• M. Chimnaud, A. Scrizzi: Un système de communications: logiciel ou matériel?. 298-313 BibTeX
• A. Kerangueven, F. Kerangueven: Structure du système SAR. 314-326 BibTeX

Parallel Processing

• Gérard Roucairol: Transformation de programmes séquentiels en programmes parallèles. 327-349 BibTeX
• Carlo Montangero, Giuliano Pacini, Franco Turini: A model for structured parallel processing in block-structured programming languages. 350-361 BibTeX
• Jack B. Dennis: First version of a data flow procedure language. 362-376 BibTeX

Formal Semantics

• J. H. Morris: Towards more flexible type systems. 377-384 BibTeX
• Carl Hewitt, Peter Bishop, Richard Steiger, Irene Greif, Brian Cantwell Smith, Todd Matson, Roger Hale: Behavioral semantics of nonrecursive control structures. 385-407 BibTeX
• John C. Reynolds: Towards a theory of type structure. 408-423 BibTeX