default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID1. Symposium on Programming 1974: Paris, France
- Bernard J. Robinet:
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
- Robert N. Chanon:
On a measure of program structure. 9-16 - Margaret H. 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 structuring 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
- James H. Morris:
Towards more flexible type systems. 377-384 - Carl Hewitt, Peter Boehler 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-28 20:35 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
