Programming Symposium
Proceedings, Colloque sur la Programmation, Paris, April 9-11, 1974
(Sprache: Englisch, Französisch)
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...
Leider schon ausverkauft
versandkostenfrei
Buch
37.44 €
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenlose Rücksendung
Produktdetails
Produktinformationen zu „Programming Symposium “
Klappentext zu „Programming Symposium “
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¿e des sch¿s 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.
Inhaltsverzeichnis zu „Programming Symposium “
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.
Bibliographische Angaben
- 1974, 436 Seiten, Maße: 15,5 x 23,5 cm, Kartoniert (TB), Französisch/Englisch
- Herausgegeben: B. Robinet
- Verlag: Springer Berlin Heidelberg
- ISBN-10: 3540068597
- ISBN-13: 9783540068594
- Erscheinungsdatum: 05.11.1974
Sprache:
Englisch, Französisch
Kommentar zu "Programming Symposium"
0 Gebrauchte Artikel zu „Programming Symposium“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Programming Symposium".
Kommentar verfassen