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
  
• Margaret Hamilton, Saydean Zeldin:
  Higher order software techniques applied to a space shuttle prototype program. 17-32
  
• Thomas E. Cheatham Jr., Judy A. Townley:
  A proposed system for structured programming. 33-40
  

Program Correctness

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

Proving Properties of Programs

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

Specific Applications of Programming Languages

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

Control Structures

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

Schematology

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

Theory of Programming

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

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
  
• M. Chimnaud, A. Scrizzi:
  Un système de communications: logiciel ou matériel?. 298-313
  
• A. Kerangueven, F. Kerangueven:
  Structure du système SAR. 314-326
  

Parallel Processing

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

Formal Semantics

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

Last update Tue Feb 14 04:09:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page