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

Last update Mon May 20 03:05:45 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page