Science of Computer Programming 1992: Vol 19 Index

1 Pages·1992·0.1 MB·English

Science of Computer Programming 19 (1992) 315
Elsevier
Author Index—Volume 19 (1992)
(This issue number is given in front of the page numbers)
Anderson, J.H. and GroSelj, B., Beyond atomic registers: bounded
wait-free implementations of nontrivial objects (3) 197-237
Banerjee, D., A technique for solving a class of quadratic FP equations (1) 61- 85
Barbuti, R. and R. Giacobazzi, A bottom-up polymorphic type
inference in logic programming (3) 281-313
Berry, G. and G. Gonthier, The Esteret synchronous programming
language: design, semantics, implementation (2) 87-152
Finance, J.-P., see Perrin, G.-R. (1) 25- 59
Giacobazzi, R., see Barbuti, R. (3) 281-313
Gonthier, G., see Berry, G. (2) 87-152
GroSelj, B., see Anderson, J.H. (3) 197-237
Hesselink, W.H., LR-parsing derived (2) 171-196
Jongejan, J.H., Correctness of transformations on register transfers (2) 153-169
Kamareddine, F., A system at the cross-roads of functional and logic
programming (3) 239-279
Knapp, E., Derivation of concurrent programs: two examples (1) 1- 23
Perrin, G.-R. and J.P. Finance, Communication relations: a paradigm
for parallel program design (1) 25- 59
Elsevier Science Publishers, B.V.