Programming symposium : proceedings, Colloque sur la Programmation, Paris, April 9-11, 1974
Uloženo v:
| Korporativní autor: | |
|---|---|
| Další autoři: | |
| Médium: | Livre numérique |
| Jazyk: | Anglais Français |
| Vydáno: |
Berlin [etc.] :
Springer
2005.
Cham : Springer Nature |
| Edice: | Lecture notes in computer science
19 |
| Témata: | |
| On-line přístup: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Poznámka: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Programming symposium, proceedings, Colloque sur la Programmation, Paris, April 9-11, 1974, ed. by B. Robinet, 1974, Berlin, Springer-Verlag, 1 vol. (425 p.), Lecture Notes in computer Science, 3-540-06859-7 • Programming Symposium, Texte imprimé, 9783662182550 |
Obsah:
- 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.