Lecture Notes in Computer Science

Meta-Programming in Logic

Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992. Proceedings

Editors: Pettorossi, Alberto (Ed.)

Buy this book

eBook $84.99
price for USA (gross)
  • ISBN 978-3-540-47505-7
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.00
price for USA
  • ISBN 978-3-540-56282-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This volume contains lectures and papers delivered at Meta 92, the Third International Workshop on Metaprogramming in Logic, held in Uppsala, Sweden,June 1992. The topics covered include foundations of metaprogramming in logic, proposals for metaprogramming languages, techniques for knowledgerepresentation and belief systems, and program transformation and analysis in logic. Particular topics include belief revision systems, intensionaldeduction, belief systems and metaprogramming, principles of partial deduction, termination in logic programs, semantics of the "vanilla" metainterpreter, a complete resolution method for metaprogramming, semanticsof "demo", hierarchical metalogics, the naming relation in metalevel systems, modules, reflective agents, compiler optimizations, metalogic and object-oriented facilities, parallel logic languages, the use of metaprogramming for legal reasoning, representing objects and inheritance, transformation of normal programs, negation in automatically generated logic programs, reordering of literals in deductive databases, abstract interpretations, and interarguments in constraint logic programs.

Table of contents (1 chapters)

  • Tutorial on termination of logic programs

    Danny De Schreye, Kristof Verschaetse

    Pages

Buy this book

eBook $84.99
price for USA (gross)
  • ISBN 978-3-540-47505-7
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.00
price for USA
  • ISBN 978-3-540-56282-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Services for this Book

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Meta-Programming in Logic
Book Subtitle
Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992. Proceedings
Editors
  • Alberto Pettorossi
Series Title
Lecture Notes in Computer Science
Series Volume
649
Copyright
1992
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-47505-7
DOI
10.1007/3-540-56282-6
Softcover ISBN
978-3-540-56282-5
Series ISSN
0302-9743
Edition Number
1
Number of Pages
XII, 351
Topics