Programming Symposium

Inhaltsverzeichnis

• On a measure of program structure.
• Higher order software techniques applied to a space shuttle prototype program.
• A proposed system for structured programming.
• S. V. P. Un system interactif pour la validation et la preparation de programmes.
• Proving program correctness in LCF.
• Finite state testing of structured programs.
• Structured recursive programming.
• Top-down approach to the synthesis of programs.
• A more mechanical approach to program verification.
• Tree structures handling by aps.
• Towards a high-level job control language.
• Formal Definition of a simple on-line teleprocessor in VDL.
• The suitability of a very high level language (setl) for simulation structuring and control.
• A control statement for natural top-down structured programming.
• On the transfer of control between contexts.
• Equivalences dans l'algèbre des schémas de programme.
• Inductive assertion patterns for recursive procedures.
• Completude d'un systeme formel pour prouver l'equivalence de certains schemas recursifs monadiques.
• Non-existence of program optimizers in an abstract setting.
• Listing of information structures defined by fixed-point operators.
• Application de la structuration de systeme a la conception interne du systeme GEMAU.
• Un systeme de communications: logiciel ou materiel?.
• Structure du systeme SAR.
• Une Transformation de programmes sequentiels en programmes paralleles.
• A model for structured parallel processing in block-structured programming languages.
• First version of a data flow procedure language.
• Towards more flexible type systems.
• Behavioral semantics of nonrecursive control structures.
• Towards a theory of type structure.