Table Of Content

SCIENCE OF COMPUTER PROGRAMMING VOLUME 38, NUMBERS 1-3, AUGUST 2000 Abstracted/indexed in: ACM Computing Reviews, Anbar Electronic Intelligence, Cambridge Scientific Abstracts, CompuMath Citation Index, Compuscience, Computer Abstracts, Computer Literature Index, Current Contents: Engineering, Computing & Technology, Engineering Index/Compendex, INSPEC Information Services, Mathematical Reviews, Research Alert SciSearch, Zentralblatt fur Mathematik. CONTENTS R. Berghammer and T. Hoffmann Deriving relational programs for computing kernels by reconstructing a proof of Richardson's theorem A. Cortesi, B. Le Charlier and P. Van Hentenryck Combinations of abstract domains for logic programming: open product and generic pattern construction R.B. Ayed, J. Desharnais, M. Frappier and A. Mili A calculus of program adaptation and its applications S. Diehl A generative methodology for the design of abstract machines G. Balbo Book review J. van Eijck Book review D. Sangiorgi Book review T. Streicher Book review Author index of Volume 38 CONTE NTS This journal is part of ContentsDirect, the free alerting service which sends tables of contents by e-mail for Elsevier Science * books and journals. You can register for ContentsDirect online at: www.elsevier.ni/locate/contentsdirect Keep track of recently published papers || | | via the journal’s homepage on the WWW: http:/Awww.elsevier.ni/locate/scico 0167-6423( 200008 )38:1-3;1-J SCIENCE OF COMPUTER PROGRAMMING VOLUME 38, NUMBERS 1-3, AUGUST 2000 Abstracted/indexed in: ACM Computing Reviews, Anbar Electronic Intelligence, Cambridge Scientific Abstracts, CompuMath Citation Index, Compuscience, Computer Abstracts, Computer Literature Index, Current Contents: Engineering, Computing & Technology, Engineering Index/Compendex, INSPEC Information Services, Mathematical Reviews, Research Alert SciSearch, Zentralblatt fur Mathematik. CONTENTS R. Berghammer and T. Hoffmann Deriving relational programs for computing kernels by reconstructing a proof of Richardson's theorem A. Cortesi, B. Le Charlier and P. Van Hentenryck Combinations of abstract domains for logic programming: open product and generic pattern construction R.B. Ayed, J. Desharnais, M. Frappier and A. Mili A calculus of program adaptation and its applications S. Diehl A generative methodology for the design of abstract machines G. Balbo Book review J. van Eijck Book review D. Sangiorgi Book review T. Streicher Book review Author index of Volume 38 CONTE NTS This journal is part of ContentsDirect, the free alerting service which sends tables of contents by e-mail for Elsevier Science * books and journals. You can register for ContentsDirect online at: www.elsevier.ni/locate/contentsdirect Keep track of recently published papers || | | via the journal’s homepage on the WWW: http:/Awww.elsevier.ni/locate/scico 0167-6423( 200008 )38:1-3;1-J -_