Samson Abramsky, T. S. E. Maibaum
Proceedings of the Fourth International Joint Conference on Theory and Practice of Software Development, Volume 2: Colloquium on Combining Paradigms for Software Development
TAPSOFT, Vol.2: CCPSD, 1991.

@proceedings{CCPSD-1991,
	doi           = "10.1007/3-540-53981-6",
	editor        = "Samson Abramsky and T. S. E. Maibaum",
	isbn          = "3-540-53981-6",
	publisher     = "{Springer}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Fourth International Joint Conference on Theory and Practice of Software Development, Volume 2: Colloquium on Combining Paradigms for Software Development}",
	volume        = 494,
	year          = 1991,
}

Contents (21 items)

CCPSD-1991-JungclausS #object-oriented #specification

Formal Specification of Object Systems (RJ, GS), pp. 60–82.

CCPSD-1991-LoweEFJ #algebra #on the #specification

On the Relationship Between Algebraic Module Specifications and Program Modules (ML, HE, WF, DJ), pp. 83–98.

CCPSD-1991-Bernot #perspective #specification #testing

Testing Against Formal Specifications: A Theoretical View (GB), pp. 99–119.

CCPSD-1991-CazinCJLM #reuse #using

Construction and Reuse of Formal Program Developments (JC, PC, RJ, ML, PM), pp. 120–136.

CCPSD-1991-RamalingamR #formal method

A Theory of Program Modifications (GR, TWR), pp. 137–152.

CCPSD-1991-BossiCF #logic programming #proving #source code #termination

Proving Termination of Logic Programs by Exploiting Term Properties (AB, NC, MF), pp. 153–180.

CCPSD-1991-Hanus #logic programming #order #parametricity

Parametric Order-Sorted Types in Logic Programming (MH), pp. 181–200.

CCPSD-1991-DietrichL #functional #lazy evaluation #nondeterminism

Exploiting Non-Determinism through Laziness in Guarded Functional Languages (RD, HCRL), pp. 201–216.

CCPSD-1991-BolognesiLZ #specification #standard

Non-standard Interpretations of LOTOS Specifications (TB, DL, EZ), pp. 217–234.

CCPSD-1991-Wright #analysis #strict

A New Technique for Strictness Analysis (DAW), pp. 235–258.

CCPSD-1991-Cardell-Oliver #higher-order #logic #modelling #protocol #realtime #using

Using Higher Order Logic for Modelling Real-Time Protocols (RCO), pp. 259–282.

CCPSD-1991-CamilleriIN #algebra #automation #interactive #process #verification

Combining Interaction and Automation in Process Algebra Verification (AJC, PI, MN), pp. 283–296.

CCPSD-1991-BrinksmaJO #communication #interface

Refining Interfaces of Communicating Systems (EB, BJ, FO), pp. 297–312.

CCPSD-1991-Krieg-BrucknerS #dependent type #higher-order #in the large #in the small #inheritance #specification

Structuring Specifications in-the-Large and in-the-Small: Higher-Order Functions, Dependent Types and Inheritance in SPECTRAL (BKB, DS), pp. 313–336.

CCPSD-1991-MeyerW #logic #specification

Actor-Oriented System Specification with Dynamic Logic (JJCM, RJW), pp. 337–357.

CCPSD-1991-CramerFGG #component #towards

Towards a Formally Based Component Description Language (JC, WF, MG, MGR), pp. 358–378.

CCPSD-1991-BrlekCS #on the

On Addition Schemes (SB, PC, RS), pp. 379–393.

CCPSD-1991-SteffenKR #adaptation #performance #reduction

Efficient Code Motion and an Adaption to Strength Reduction (BS, JK, OR), pp. 394–415.

CCPSD-1991-Frutos-EscrigF #on the #strict

On Narrowing Strategies for Partial Non-Strict Functions (DdFE, MIFC), pp. 416–437.

CCPSD-1991-Loogen #reduction

From Reduction Machines To Narrowing Machines (RL), pp. 438–457.

CCPSD-1991-Burn #correctness #evaluation #reduction

The Evaluation Transformer Model of Reduction and Its Correctness (GLB), pp. 458–482.