Program Specification

Keyphrases

Publications

volume 134, 1982

Program Specification, Proceedings of a Workshop, Aarhus, Denmark, August 1981 Program Specification 134 (1982)

1981

James J. Horning
Issues and Observations. Program Specification (1981)
Derek Coleman, Robin M. Gallimore
Specification of Distributed Programs. Program Specification (1981)
Herbert Klaeren
Recursive Definitions of Operations in Universal Algebras. Program Specification (1981)
Ib Holm Sørensen
A Specification Language. Program Specification (1981)
Deepak Kapur, David R. Musser, Alexander A. Stepanov
Tecton: A Language for Manipulating Generic Objects. Program Specification (1981)
Leif Sandegaard Nielsen, Ib Holm Sørensen
Communication Network. Program Specification (1981)
Derek Coleman, Robin M. Gallimore
Partial Correctness of Distributed Programs. Program Specification (1981)
Jane W. Hughes, Malcolm S. Powell
A Reduction Specification for DTL. Program Specification (1981)
Jørgen Staunstrup
Introduction. Program Specification (1981)
Flaviu Cristian
Robust Data Types. Program Specification (1981)
Herbert Klaeren
The SRDL Specification Experiment. Program Specification (1981)
Hartmut Ehrig, Hans-Jörg Kreowski, James W. Thatcher, Eric G. Wagner, Jesse B. Wright
Parameter Passing in Algebraic Specification Languages. Program Specification (1981)
Leif Sandegaard Nielsen
Concurrency. Program Specification (1981)
John V. Guttag
A few Remarks on Putting Formal Specifications to Productive Use. Program Specification (1981)
Jørgen Staunstrup, Joseph A. Goguen
Geometrical Constructions. Program Specification (1981)
Jørgen Steensgaard-Madsen
Program Specification by Module Trees. Program Specification (1981)
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. Program Specification (1981)