Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach
Special Volume of the Sixth International Joint Conference on Theory and Practice of Software Development
TAPSOFT-J-1995, 1996.

@proceedings{TAPSOFT-J-1995,
	editor        = "Peter D. Mosses and Mogens Nielsen and Michael I. Schwartzbach",
	issn          = "0304-3975",
	journal       = "{Theoretical Computer Science}",
	number        = "1&2",
	pages         = "1",
	title         = "{Special Volume of the Sixth International Joint Conference on Theory and Practice of Software Development}",
	volume        = 167,
	year          = 1996,
}

Contents (8 items)

TAPSOFT-J-1995-HofmannS96 #abstraction #behaviour #higher-order #logic #on the

On Behavioural Abstraction and Behavioural Satisfaction in Higher-Order Logic (MH, DS), pp. 3–45.

TAPSOFT-J-1995-JonssonT96 #linear #logic #specification

Assumption/Guarantee Specifications in Linear-Time Temporal Logic (BJ, YKT), pp. 47–72.

TAPSOFT-J-1995-Kozen96 #constraints #set

Rational Spaces and Set Constraints (DK), pp. 73–94.

TAPSOFT-J-1995-MiddeldorpOI96 #lazy evaluation

Lazy Narrowing: Strong Completeness and Eager Variable Elimination (AM, SO, TI), pp. 95–130.

TAPSOFT-J-1995-SagivRH96 #analysis #constant #data flow #interprocedural #precise

Precise Interprocedural Dataflow Analysis with Applications to Constant Propagation (SS, TWR, SH), pp. 131–170.

TAPSOFT-J-1995-Salomaa96 #automaton #decidability #equivalence

Decidability of Equivalence for Deterministic Synchronized Tree Automata (KS), pp. 171–192.

TAPSOFT-J-1995-Sands96 #automation #correctness #program transformation #proving #recursion

Proving the Correctness of Recursion-Based Automatic Program Transformations (DS), pp. 193–233.

TAPSOFT-J-1995-Sangiorgi96a #calculus #π-calculus

pi-Calculus, Internal Mobility, and Agent-Passing Calculi (DS), pp. 235–274.