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

• 1976
• 
  Friedrich L. Bauer, Klaus Samelson:
  Language Hierarchies and Interfaces, International Summer School, Marktoberdorf, Germany, July 23 - August 2, 1975. Lecture Notes in Computer Science 46, Springer 1976, ISBN 3-540-07994-7 [contents]
• 1975
• 
  Friedrich L. Bauer:
  Programming as an evolutionary process. Language Hierarchies and Interfaces 1975: 153-182
• 
  Friedrich L. Bauer:
  Appendix: a philosophy of programming. Language Hierarchies and Interfaces 1975: 194-241
• 
  Edsger W. Dijkstra:
  On the teaching of programming, i. e. on the teaching of thinking. Language Hierarchies and Interfaces 1975: 1-10
• 
  Edsger W. Dijkstra:
  Guarded commands, non-determinancy and a calculus for the derivation of programs. Language Hierarchies and Interfaces 1975: 111-124
• 
  Edsger W. Dijkstra:
  A time-wise hierarchy imposed upon the use of a two-level store. Language Hierarchies and Interfaces 1975: 345-357
• 
  Edsger W. Dijkstra, Leslie Lamport, Alain J. Martin, Carel S. Scholten, Elisabeth F. M. Steffens:
  On-the-fly garbage collection: an exercise in cooperation. Language Hierarchies and Interfaces 1975: 43-56
• 
  Andrei P. Ershov:
  Problems in many-language systems. Language Hierarchies and Interfaces 1975: 358-428
• 
  David Gries:
  An exercise in proving parallel programs correct. Language Hierarchies and Interfaces 1975: 57-81
• 
  M. Griffiths:
  Program production by successive transformation. Language Hierarchies and Interfaces 1975: 125-152
• 
  Per Brinch Hansen:
  The programming language concurrent pascal. Language Hierarchies and Interfaces 1975: 82-110
• 
  C. A. R. Hoare:
  Parallel programming: an axiomatic approach. Language Hierarchies and Interfaces 1975: 11-42
• 
  C. A. R. Hoare:
  Proof of correctness of data representation. Language Hierarchies and Interfaces 1975: 183-193
• 
  C. A. R. Hoare:
  The structure of an operating system. Language Hierarchies and Interfaces 1975: 242-265
• 
  Gerhard Seegmüller:
  Language aspects in operating systems. Language Hierarchies and Interfaces 1975: 266-292
• 
  William A. Wulf:
  Structured programming in the basic layers of an operating system. Language Hierarchies and Interfaces 1975: 293-344