Science of Computer Programming 1994: Vol 23 Index

1 Pages·1994·0.1 MB·English

Science of
Computer
Programming
ELSEVIER Science of Computer Programming 23 (1994) 313
Author Index Volume 23 (1994)
(The issue number is given in front of the page numbers)
Aiguier, M., see G. Bernot
Bellegarde, F. and J. Hook, Substitution: a formal methods case study using monads and
transformations
Bernot, G., P. Le Gall and M. Aiguier, Label algebras and exception handling
Borger, E., Book review
Cai, W., see J. Gibbons
Cheng, M.H.W., see P. Rondogiannis
Collette, P., Composition of assumption-commitment specifications in a UNITY style
Esparza, J., Model checking using net unfoldings
Gaudel, M.-C., Foreword
Giannotti, F. and D. Latella, Gate splitting in LOTOS specifications using abstract
interpretation
Gibbons, J., W. Cai and D.B. Skillicorn, Efficient parallel algorithms for tree
accumulations (1)
Hook, J., see F. Bellegarde (2-3) 287
Latella, D., see F. Giannotti (2-3) 127
Le Gall, P., see G. Bernot (2-3) 227
Palsberg, J. and M.I. Schwarzbach, Static typing for object-oriented programming (1) 19
Rondogiannis, P. and M.H.W. Cheng, Petri-net-based deadlock analysis of Process
Algebra programs (1) 55
Schwartzbach, M.L, see J. Palsberg (1) 19
Skillicorn, D.B., see J. Gibbons (il) 1
Smith, G.S., Principal type schemes for functional programs with overloading and
subtyping (2-3) 197-2
Elsevier Science B.V.