• 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 41 matches

• 1973
• 
  Paul W. Abrahams:
  A compiler writer's wishbook for operating systems. SIGPLAN-SIGOPS Interface Meeting 1973: 30-33
• 
  Joseph H. Austin Jr.:
  Specification languages for control programs. SIGPLAN-SIGOPS Interface Meeting 1973: 34-37
• 
  Alan Ballard, Dennis Tsichritzis:
  System correctness. SIGPLAN-SIGOPS Interface Meeting 1973: 38-41
• 
  Gérald Belpaire, Jean Pierre Wilmotte:
  Semantic aspects of concurrent processes. SIGPLAN-SIGOPS Interface Meeting 1973: 42-45
• 
  Daniel M. Berry:
  Towards ISMs for OPSs. SIGPLAN-SIGOPS Interface Meeting 1973: 46-49
• 
  Gregor v. Bochmann:
  Hierarchical language definition. SIGPLAN-SIGOPS Interface Meeting 1973: 50-51
• 
  B. L. Clark, James J. Horning:
  Reflections on a language designed to write an operating system. SIGPLAN-SIGOPS Interface Meeting 1973: 52-56
• 
  Norbert J. Denil:
  Software design with invocation diagram. SIGPLAN-SIGOPS Interface Meeting 1973: 57-59
• 
  Jack B. Dennis:
  Report of session on semantics. SIGPLAN-SIGOPS Interface Meeting 1973: 2-4
• 
  Jack B. Dennis, Michael D. Schroeder:
  Report of session on concurrency. SIGPLAN-SIGOPS Interface Meeting 1973: 17-21
• 
  Robert A. Freiburghouse, Robert M. Graham:
  Report of session on systems programming languages. SIGPLAN-SIGOPS Interface Meeting 1973: 22-26
• 
  Robert A. Freiburghouse, Barbara Liskov:
  Report of session on structured programming. SIGPLAN-SIGOPS Interface Meeting 1973: 5-10
• 
  Robert G. Herriot:
  GLOSS: A semantic model of programming languages. SIGPLAN-SIGOPS Interface Meeting 1973: 70-73
• 
  Richard C. Holt, Marc S. Grushcow:
  A short discussion of interprocess communication in the sue/360/370 operating system. SIGPLAN-SIGOPS Interface Meeting 1973: 74-78
• 
  Jean Ichbiah, J. P. Rissen, Jean-Claude Heliard:
  The two-level approach to data definition and space management in the LIS system implementation language. SIGPLAN-SIGOPS Interface Meeting 1973: 79-81
• 
  Peter Jensen:
  The grok project data structures and process communication. SIGPLAN-SIGOPS Interface Meeting 1973: 82-85
• 
  James C. King:
  Abstract machines and software design. SIGPLAN-SIGOPS Interface Meeting 1973: 86-88
• 
  Paul R. Kosinski:
  A data flow language for operating systems programming. SIGPLAN-SIGOPS Interface Meeting 1973: 89-94
• 
  Olivier Lecarme:
  An experience in structured programming and transferability. SIGPLAN-SIGOPS Interface Meeting 1973: 95-96
• 
  Karl N. Levitt:
  Report of evening session on hierarchical methods. SIGPLAN-SIGOPS Interface Meeting 1973: 28-29
• 
  Theodore A. Linden:
  Proving the adequacy of protection in an operating system. SIGPLAN-SIGOPS Interface Meeting 1973: 97-99
• 
  Barbara H. Liskov, Leroy A. Smith:
  SPIL: A language for construction of reliable system software. SIGPLAN-SIGOPS Interface Meeting 1973: 100-103
• 
  M. Donald MacLaren:
  Tasking in standard PL/I. SIGPLAN-SIGOPS Interface Meeting 1973: 104-108
• 
  R. M. McKeag:
  Programming languages for operating systems. SIGPLAN-SIGOPS Interface Meeting 1973: 109-111
• 
  Alan G. Merten, Edgar H. Sibley:
  Transferability and translation of data. SIGPLAN-SIGOPS Interface Meeting 1973: 112-114
• 
  James S. Miller:
  A programming language family for the navy AADC. SIGPLAN-SIGOPS Interface Meeting 1973: 115-116
• 
  Harlan D. Mills, Max L. Wilson:
  A Kernel System for information system development, evolution, and operation. SIGPLAN-SIGOPS Interface Meeting 1973: 117-119
• 
  James B. Morris:
  Programming by semantic refinement. SIGPLAN-SIGOPS Interface Meeting 1973: 120-122
• 
  Erich J. Neuhold:
  Towards the formal description of operating systems. SIGPLAN-SIGOPS Interface Meeting 1973: 123-126
• 
  Peter G. Neumann:
  Report of evening session protection. SIGPLAN-SIGOPS Interface Meeting 1973: 27

skipping 11 more matches