Program Specification 1981: Aarhus, Denmark

Introduction

• Jørgen Staunstrup:
  Introduction. 1-4
  
• James J. Horning:
  Issues and Observations. 5-24
  

Geometrical Constructions

• Jørgen Staunstrup, Joseph A. Goguen:
  Geometrical Constructions. 25-46
  

KWIC-index generation

• Jørgen Steensgaard-Madsen, Jane W. Hughes, Malcolm S. Powell, Hartmut Ehrig, Hans-Jörg Kreowski, Leif Sandegaard Nielsen, Jean-Raymond Abrial, Ib Holm Sørensen, Robin M. Gallimore, Derek Coleman, Joseph A. Goguen:
  KWIC-index generation. 47-117

Communication Network

• Leif Sandegaard Nielsen, Ib Holm Sørensen:
  Communication Network. 118-136

Submitted papers

• Derek Coleman, Robin M. Gallimore:
  Partial Correctness of Distributed Programs. 138-180
  
• Derek Coleman, Robin M. Gallimore:
  Specification of Distributed Programs. 181-214
  
• Flaviu Cristian:
  Robust Data Types. 215-254
  
• Jane W. Hughes, Malcolm S. Powell:
  A Reduction Specification for DTL. 255-267
  
• Herbert Klaeren:
  Recursive Definitions of Operations in Universal Algebras. 268-281
  
• Herbert Klaeren:
  The SRDL Specification Experiment. 282-293
  
• Jørgen Steensgaard-Madsen:
  Program Specification by Module Trees. 294-321
  
• Hartmut Ehrig, Hans-Jörg Kreowski, James W. Thatcher, Eric G. Wagner, Jesse B. Wright:
  Parameter Passing in Algebraic Specification Languages. 322-369
  
• John V. Guttag:
  A few Remarks on Putting Formal Specifications to Productive Use. 370-380
  
• Ib Holm Sørensen:
  A Specification Language. 381-401
  
• Deepak Kapur, David R. Musser, Alexander A. Stepanov:
  Tecton: A Language for Manipulating Generic Objects. 402-414
  
• Leif Sandegaard Nielsen:
  Concurrency. 415-422