• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 30 matches

• 1974
• 
  Gianni Aguzzi, Francesca Cesarini, Renzo Pinzani, Giovanni Soda, Renzo Sprugnoli:
  Tree structures handling by APS. Symposium on Programming 1974: 120-129
• 
  Luigia Aiello, Mario Aiello:
  Proving program correctness in L. C. F.. Symposium on Programming 1974: 59-71
• 
  Donald A. Alton, John L. Lowther:
  Non-existence of program optimizers in an abstract setting. Symposium on Programming 1974: 253-265
• 
  B. Amy, Farid Ouabdesselam:
  S. V. P., Un système interactif pour la validation et la préparation de programmes. Symposium on Programming 1974: 41-58
• 
  G. Degli Antoni, Pierangelo Miglioli, Mario Ornaghi:
  Top-down approach to the synthesis of programs. Symposium on Programming 1974: 88-108
• 
  Corrado Böhm, Mariangiola Dezani-Ciancaglini, Simona Ronchi Della Rocca:
  Listing of information structures defined by fixed-point operators. Symposium on Programming 1974: 266-279
• 
  Robert N. Chanon:
  On a measure of program structure. Symposium on Programming 1974: 9-16
• 
  Thomas E. Cheatham Jr., Judy A. Townley:
  A proposed system for structured programming. Symposium on Programming 1974: 33-40
• 
  M. Chimnaud, A. Scrizzi:
  Un système de communications: logiciel ou matériel?. Symposium on Programming 1974: 298-313
• 
  Bruno Courcelle, Jean Vuillemin:
  Complétude d'un système formel pour prouver l'équivalence de certains schémas récursifs monadiques. Symposium on Programming 1974: 234-252
• 
  Philippe Darondeau, Serge Guiboud-Ribaud, Claude Otrage:
  Application de la strucuturation des systéme à la conception interne du système GEMAU. Symposium on Programming 1974: 280-297
• 
  Jack B. Dennis:
  First version of a data flow procedure language. Symposium on Programming 1974: 362-376
• 
  Maarten M. Fokkinga:
  Inductive assertion patters for recursive procedures. Symposium on Programming 1974: 221-233
• 
  William R. Franta, Kurt Maly:
  The suitability of a very high level language (SETL) for simulation structuring and control. Symposium on Programming 1974: 156-169
• 
  Irene Greif, Richard J. Waldinger:
  A more mechanical approach to program verification. Symposium on Programming 1974: 109-119
• 
  Irène Guessarian:
  Equivalence dans l'algèbre ds schémas de programmes. Symposium on Programming 1974: 204-220
• 
  Aaron Felix Gurski:
  Towards a high-level job control language. Symposium on Programming 1974: 130-140
• 
  Margaret H. Hamilton, Saydean Zeldin:
  Higher order software techniques applied to a space shuttle prototype program. Symposium on Programming 1974: 17-32
• 
  George G. Hay:
  Formal definition of a simple on-line teleprocessor in VDL. Symposium on Programming 1974: 141-155
• 
  Peter Henderson, Peter Quarendon:
  Finite state testing of structured programs. Symposium on Programming 1974: 72-80
• 
  Carl Hewitt, Peter Boehler Bishop, Richard Steiger, Irene Greif, Brian Cantwell Smith, Todd Matson, Roger Hale:
  Behavioral semantics of nonrecursive control structures. Symposium on Programming 1974: 385-407
• 
  A. Kerangueven, F. Kerangueven:
  Structure du système SAR. Symposium on Programming 1974: 314-326
• 
  Butler W. Lampson, James G. Mitchell, E. H. Satterthwhaite:
  On the transfer of control between contexts. Symposium on Programming 1974: 181-203
• 
  Carlo Montangero, Giuliano Pacini, Franco Turini:
  A model for structured parallel processing in block-structured programming languages. Symposium on Programming 1974: 350-361
• 
  James H. Morris:
  Towards more flexible type systems. Symposium on Programming 1974: 377-384
• 
  Robert E. Noonan, Dale J. Panton:
  Structured recursive programming. Symposium on Programming 1974: 81-87
• 
  John C. Reynolds:
  Towards a theory of type structure. Symposium on Programming 1974: 408-423
• 
  Gérard Roucairol:
  Transformation de programmes séquentiels en programmes parallèles. Symposium on Programming 1974: 327-349
• 
  Charles T. Zahn Jr.:
  A control statement for natural top-down structured programming. Symposium on Programming 1974: 170-180
• 
  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 [contents]