Proceedings of a Workshop on Program Specification
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

Full names Links ISxN
	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)

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.