Jørgen Staunstrup
Proceedings of a Workshop on Program Specification
PS, 1981.

@proceedings{PS-1981,
	address       = "Aarhus, Denmark",
	editor        = "Jørgen Staunstrup",
	isbn          = "3-540-11490-4",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of a Workshop on Program Specification}",
	volume        = 134,
	year          = 1981,
}

Contents (16 items)

7 ×#specification
2 ×#algebra
2 ×#distributed
2 ×#source code

PS-1981-Horning

Issues and Observations (JJH), pp. 5–24.

PS-1981-StaunstrupG #geometry

Geometrical Constructions (JS, JAG), pp. 25–46.

PS-1981-Steensgaard-MadsenHPEKNASGCG #generative

KWIC-index generation (JSM, JWH, MSP, HE, HJK, LSN, JRA, IHS, RMG, DC, JAG), pp. 47–117.

PS-1981-NielsenS #communication #network

Communication Network (LSN, IHS), pp. 118–136.

PS-1981-ColemanG #correctness #distributed #source code

Partial Correctness of Distributed Programs (DC, RMG), pp. 138–180.

PS-1981-ColemanG81a #distributed #source code #specification

Specification of Distributed Programs (DC, RMG), pp. 181–214.

PS-1981-Cristian #data type #robust

Robust Data Types (FC), pp. 215–254.

PS-1981-HughesP #reduction #specification

A Reduction Specification for DTL (JWH, MSP), pp. 255–267.

PS-1981-Klaeren #algebra #recursion

Recursive Definitions of Operations in Universal Algebras (HK), pp. 268–281.

PS-1981-Klaeren81a #empirical #specification

The SRDL Specification Experiment (HK), pp. 282–293.

PS-1981-Steensgaard-Madsen #specification

Program Specification by Module Trees (JSM), pp. 294–321.

PS-1981-EhrigKTWW #algebra #parametricity #specification

Parameter Passing in Algebraic Specification Languages (HE, HJK, JWT, EGW, JBW), pp. 322–369.

PS-1981-Guttag #effectiveness #specification

A few Remarks on Putting Formal Specifications to Productive Use (JVG), pp. 370–380.

PS-1981-Sorensen #specification

A Specification Language (IHS), pp. 381–401.

PS-1981-KapurMS #named

Tecton: A Language for Manipulating Generic Objects (DK, DRM, AAS), pp. 402–414.

PS-1981-Nielsen #concurrent

Concurrency (LSN), pp. 415–422.