Science of Computer Programming 2002: Vol 43 Index

2 Pages·2002·0.26 MB·English

Science of
Computer
Programming
ELSEVIER Science of Computer Programming 43 (2002) 231
www.elsevier.com/locate/scico
Author index of Volume 43
Abramov, S. and R. Gliick, The universal resolving algorithm and its correctness:
inverse computation in a functional language (2-3) 193-229
Backhouse, R. and J. Oliveria, Preface (2-3) 91-— 92
Bunkenburg, A., see J.-M. Morris (1) 77— 89
Gliick, R., see S. Abramov (2-3) 193—229
Hayes, I., Reasoning about real-time repetitions: terminating and nonterminating (2-3) 161-192
Hinze, R., Polytypic values possess polykinded types (2-3) 129-159
Jansson, P. and J. Jeuring, Polytypic data conversion programs (1) 35— 75
Jeuring, J., see P. Jansson (1) so- 15
Morris, JM. and A. Bunkenburg, A source of inconsistency in theories of
nondeterministic functions (1) 77— 89
Nordlander, J., Polymorphic subtyping in O’Haskell (2-3) 93-127
Oliveria, J., see R. Backhouse (2-3) 91-— 92
Usenko, Y.S., State space generation for the HAVi leader election protocol (1) l- 33
Elsevier Science B.V.
PII: S0167-6423(02)00051-5