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
export record as
dblp key:
export record as
dblp key:
conf/programm/HamiltonZ74 export record as
dblp key:
conf/programm/CheathamT74
Program Correctness
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/programm/HendersonQ74
Proving Properties of Programs
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Specific Applications of Programming Languages
export record as
dblp key:
conf/programm/AguzziCPSS74 export record as
dblp key:
export record as
dblp key:
George G. Hay :
Formal definition of a simple on-line teleprocessor in VDL.
141-155
Control Structures
export record as
dblp key:
William R. Franta ,
Kurt Maly :
The suitability of a very high level language (SETL) for simulation strucuturing and control.
156-169
export record as
dblp key:
export record as
dblp key:
conf/programm/LampsonMS74
Schematology
export record as
dblp key:
conf/programm/Guessarian74 export record as
dblp key:
export record as
dblp key:
conf/programm/CourcelleV74
Theory of Programming
export record as
dblp key:
export record as
dblp key:
System Design
export record as
dblp key:
conf/programm/DarondeauGO74 export record as
dblp key:
conf/programm/ChimnaudS74 export record as
dblp key:
conf/programm/KeranguevenK74
Parallel Processing
export record as
dblp key:
conf/programm/Roucairol74 Gérard Roucairol :
Transformation de programmes séquentiels en programmes parallèles.
327-349
export record as
dblp key:
conf/programm/MontangeroPT74 export record as
dblp key:
Jack B. Dennis :
First version of a data flow procedure language.
362-376
Formal Semantics
export record as
dblp key:
export record as
dblp key:
conf/programm/HewittBSGSMH74 export record as
dblp key:
data released under the ODC-BY 1.0 license
