1. Symposium on Programming 1974: Paris, France

Bernard Robinet (Ed.): Programming Symposium, Proceedings Colloque sur la Programmation, Paris, France, April 9-11, 1974. Lecture Notes in Computer Science 19 Springer 1974, ISBN 3-540-06859-7

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 Thu May 23 17:51:22 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page