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 BibTeX
Jens Palsberg, Michael I. Schwartzbach: Static Typing for Object-Oriented Programming. 19-53 BibTeX
Panos Rondogiannis, Mantis H. M. Cheng: Petri-Net-Based Deadlock Analysis of Process Algebra Programs. 55-89 BibTeX

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