Science of Computer Programming, Volume 23

Volume 23, Number 1, October 1994

Jeremy Gibbons, Wentong Cai, David B. Skillicorn: Efficient Parallel Algorithms for Tree Accumulations. 1-18
Jens Palsberg, Michael I. Schwartzbach: Static Typing for Object-Oriented Programming. 19-53
Panos Rondogiannis, Mantis H. M. Cheng: Petri-Net-Based Deadlock Analysis of Process Algebra Programs. 55-89

Selected Papers of the Colloquium on Formal Approaches of Software Engineering (A Colloquium of TAPSOFT 1993, Orsay, France, April 1993)

Marie-Claude Gaudel: Foreword: Selected Papers of TAPSOFT'93. 105
Pierre Collette: Composition of Assumption-Commitment Specifications in a UNITY Style. 107-125
Fosca Giannotti, Diego Latella: Gate Splitting in LOTOS Specifications Using Abstract Interpretation. 127-149
Javier Esparza: Model Checking Using Net Unfoldings. 151-195
Geoffrey Smith: Principal Type Schemes for Functional Programs with Overloading and Subtyping. 197-226
Gilles Bernot, Pascale Le Gall, Marc Aiguier: Label Algebras and Exception Handling. 227-286
Françoise Bellegarde, James Hook: Subsitution: A Formal Methods Case Study Using Monads and Transformations. 287-311