Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James W. Thatcher
Proceedings of the First International Joint Conference on Theory and Practice of Software Development, Volume 1: Advanced Seminar on the Role of Semantics in Software Development
TAPSOFT, Vol.1: AS, 1985.

@proceedings{AS-v1-1985,
	doi           = "10.1007/3-540-15198-2",
	editor        = "Hartmut Ehrig and Christiane Floyd and Maurice Nivat and James W. Thatcher",
	isbn          = "3-540-15198-2",
	publisher     = "{Springer}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the First International Joint Conference on Theory and Practice of Software Development, Volume 1: Advanced Seminar on the Role of Semantics in Software Development}",
	volume        = 185,
	year          = 1985,
}

Contents (6 items)

AS-1985-Broy #design #distributed #specification #top-down

Specification and Top Down Design of Distributed Systems (MB), pp. 4–28.

AS-1985-DeganoM #distributed #specification

Specification Languages for Distributed Systems (PD, UM), pp. 29–51.

AS-1985-ScherlisS #programming #semantics #summary #tool support

Semantically Based Programming Tools (Summary) (WLS, DSS), pp. 52–59.

AS-1985-Backus #optimisation #program transformation #semantics

From Function Level Semantics to Program Transformation and Optimization (JWB), pp. 60–91.

AS-1985-Burstall

Inductively Defined Functions (Extended Abstract) (RMB), pp. 92–96.

AS-1985-Reynolds

Three Approaches to Type Structure (JCR), pp. 97–138.