THE JOURNALO F LOGIC PROGRAMMING VOLUME 39, NUMBERS 1-3, 1999 CONTENTS Guest editors’ introduction A. Bossi and Y. Deville Automated verification of Prolog programs - B. Le Charlier, C. Lecléere, S. Rossi and A. Cortesi Abstract diagnosis M. Comini, G. Levi, M. C. Meo and G. Vitiello Termination of logic programs with delay declarations E. Marchiori and F. Teusink Verification of logic programs D. Pedreschi and S. Ruggieri Opium: an extendable trace analyzer for Prolog M. Ducassé Layered modes S. Etalle and M. Gabbrielli Author Index — Volume 39 Subject Index — Volume 39

The Journal of Logic and Algebraic Programming 1999: Vol 39 Table of Contents PDF

2 Pages

1999

0.14 MB

English

#periodicals #sim_microfilm #pub_journal-of-logic-and-algebraic-programming

Checking for file health...

Preview The Journal of Logic and Algebraic Programming 1999: Vol 39 Table of Contents

THE JOURNALO F LOGIC PROGRAMMING VOLUME 39, NUMBERS 1-3, 1999 CONTENTS Guest editors’ introduction A. Bossi and Y. Deville Automated verification of Prolog programs - B. Le Charlier, C. Lecléere, S. Rossi and A. Cortesi Abstract diagnosis M. Comini, G. Levi, M. C. Meo and G. Vitiello Termination of logic programs with delay declarations E. Marchiori and F. Teusink Verification of logic programs D. Pedreschi and S. Ruggieri Opium: an extendable trace analyzer for Prolog M. Ducassé Layered modes S. Etalle and M. Gabbrielli Author Index — Volume 39 Subject Index — Volume 39

See more

The list of books you might like

Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.