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

• 1979
• 
  Friedrich L. Bauer, Manfred Broy:
  Program Construction, International Summer School, July 26 - August 6, 1978, Marktoberdorf, Germany. Lecture Notes in Computer Science 69, Springer 1979, ISBN 3-540-09251-X [contents]
• 1978
• 
  Friedrich L. Bauer:
  Program Development by Stepwise Transformations - The Project CIP. Appendix: Programming Languages under Educational and under Professional Aspects. Program Construction 1978: 237-272
• 
  Friedrich L. Bauer:
  Detailization and Lazy Evaluation, Infinite Objects and Pointer Representation. Program Construction 1978: 406-420
• 
  Friedrich L. Bauer, Manfred Broy, Rupert Gnatz, Wolfgang Hesse, Bernd Krieg-Brückner, Helmuth Partsch, Peter Pepper, Hans Wössner:
  Towards a Wide Spectrum Language to Support Program Specification and Program Development. Program Construction 1978: 543-552
• 
  Friedrich L. Bauer, Manfred Broy, Helmuth Partsch, Peter Pepper, Hans Wössner:
  Systematics of Transformation Rules. Program Construction 1978: 273-289
• 
  Manfred Broy, Rupert Gnatz, Martin Wirsing:
  Semantics of Nondeterministic and Noncontinuous Constructs. Program Construction 1978: 553-592
• 
  Edsger W. Dijkstra:
  A More Formal Treatment of a Less Simple Example. Program Construction 1978: 2-20
• 
  Edsger W. Dijkstra:
  Stationary Behaviour of Some Ternary Networks. Program Construction 1978: 21-23
• 
  Edsger W. Dijkstra:
  Finding the Correctness Proof of a Concurrent Program. Program Construction 1978: 24-34
• 
  Edsger W. Dijkstra:
  On the Interplay between Mathematics and Programming. Program Construction 1978: 35-46
• 
  Edsger W. Dijkstra:
  A Theorem about Odd Powers of Odd Integers. Program Construction 1978: 47-48
• 
  Edsger W. Dijkstra:
  In Honour of Fibonacci. Program Construction 1978: 49-50
• 
  Edsger W. Dijkstra:
  On the Foolishness of "Natural Language Programming". Program Construction 1978: 51-53
• 
  Edsger W. Dijkstra:
  Program Inversion. Program Construction 1978: 54-57
• 
  Susan L. Gerhart:
  A Derivation Oriented Proof of the Schorr-Waite Marking Algorithm. Program Construction 1978: 472-492
• 
  David Gries:
  The Schorr-Waite Graph Marking Algorithm. Program Construction 1978: 58-69
• 
  David Gries:
  Eliminating the Chaff. Program Construction 1978: 70-74
• 
  David Gries:
  Current Ideas in Programming Methodology. Program Construction 1978: 77-93
• 
  David Gries:
  Basic Axiomatic Definitions. Program Construction 1978: 94-99
• 
  David Gries:
  The Multiple Assignment Statement. Program Construction 1978: 100-112
• 
  David Gries:
  Is Sometimes Ever Better Than Always? Program Construction 1978: 113-124
• 
  Michael Griffiths:
  Development of the Schorr-Waite Algorithm. Program Construction 1978: 464-471
• 
  Michael Griffiths:
  Programming Methodology and Language Implications. Program Construction 1978: 531-542
• 
  John V. Guttag:
  Notes on Type Abstraction. Program Construction 1978: 593-616
• 
  James J. Horning:
  A Case Study in Language Design: Euclid. Program Construction 1978: 125-132
• 
  James J. Horning:
  Verification of Euclid Programs. Program Construction 1978: 164-173
• 
  James J. Horning:
  Programming Languages for Reliable Computing Systems. Program Construction 1978: 494-530
• 
  Ralph L. London, John V. Guttag, James J. Horning, Butler W. Lampson, James G. Mitchell, Gerald J. Popek:
  Proof Rules for the Programming Language Euclid. Program Construction 1978: 133-163
• 
  Susan S. Owicki:
  Specifications and Proofs for Abstract Data Types in Concurrent Programs. Program Construction 1978: 174-197
• 
  Susan S. Owicki:
  Specification and Verification of a Network Nail System. Program Construction 1978: 198-234

skipping 4 more matches