Logic Program Synthesis and Transformation - Meta-Programming in Logic : 4th International Workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20 - 21, 1994. Proceedings

>> Google Books

Logic Program Synthesis and Transformation - Meta-Programming in Logic : 4th International Workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20 - 21, 1994. Proceedings / edited by Laurent Fribourg, Franco Turini

Edition:

1st ed. 1994

Format:

eBook

Description:

X, 458 p.

Series:

Lecture Notes in Computer Science ; 883

Authors:

ISBN:

9783540491040 [354049104X]
9783662203002 [3662203006]
9783540587927 [3540587926]

NCID:

EB00003235

Holding items in this series

Full Text

Holdings

Bibliography Details

Note:

This volume constitutes the combined proceedings of the 4th International Workshops on Logic Program Synthesis and Transformation (LOPSTR '94) and on Meta-Programming (META '94), held jointly in Pisa, Italy in June 1994. This book includes thoroughly revised versions of the best papers presented at both workshops. The main topics addressed by the META papers are language extensions in support of meta-logic, semantics of meta-logic, implementation of meta-logic features, performance of meta-logic, and several applicational aspects. The LOPSTR papers are devoted to unfolding/folding, partial deduction, proofs as programs, inductive logic programming, automated program verification, specification and programming methodologies.

Subject:

Artificial Intelligence; Compilers and Interpreters; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory

Table of Contents:

Tokyo Tech Book Review

Similar Items:

1 Book Logic program synthesis and transformation-- Meta-programming in logic : 4th international workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20-21, 1994 : … International Workshop on Logic Program Synthesis and Transformation, Fribourg, Laurent, 1957-, Turini, Franco, 1949-, … Springer-Verlag	7 eBook Programming Language Implementation and Logic Programming : 6th International Symposium, PLILP '94, Madrid, Spain, September 14 - 16, 1994. Proceedings Hermenegildo, Manuel., Penjam, Jaan., SpringerLink (Online service)
2 eBook Logic Program Synthesis and Transformation : 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995. Proceedings Proietti, Maurizio., SpringerLink (Online service)	8 eBook Principles and Practice of Constraint Programming - CP98 : 4th International Conference, CP98, Pisa, Italy, October 26-30, 1998, Proceedings Maher, Michael., Puget, Jean-Francois., SpringerLink (Online service)
3 eBook Logic Program Synthesis and Transformation : 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings Gallagher, John., SpringerLink (Online service)	9 eBook Types for Proofs and Programs : International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers Dybjer, Peter., Nordström, Bengt., Smith, Jan., SpringerLink (Online service)
4 eBook Algebraic and Logic Programming : 4th International Conference, ALP '94, Madrid, Spain, September 14-16, 1994. Proceedings Levi, Giorgio., Rodriguez-Artalejo, Mario., SpringerLink (Online service)	10 eBook Logic Program Synthesis and Transformation : 7th International Workshop, LOPSTR ’97, Leuven, Belgium, July 10–12, 1997 Proceedings Fuchs, Norbert E., SpringerLink (Online service)
5 eBook Computer Science Logic : 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings Fribourg, Laurent., SpringerLink (Online service)	11 eBook Logic Based Program Synthesis and Transformation : 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers Pettorossi, Alberto., SpringerLink (Online service)
6 eBook Logic-Based Program Synthesis and Transformation : 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 Selected Papers Bossi, Annalisa., SpringerLink (Online service)	12 eBook Logic Based Program Synthesis and Transformation : 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers Bruynooghe, Maurice., SpringerLink (Online service)

1

2

3

4

5

6

7

8

9

10

11

12