Proceedings Of The Workshop On Meta Programming In Logic Programming
Download Proceedings Of The Workshop On Meta Programming In Logic Programming PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get Proceedings Of The Workshop On Meta Programming In Logic Programming book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages.
Logic Program Synthesis and Transformation - Meta-Programming in Logic
Author: Laurent Fribourg
language: en
Publisher: Springer Science & Business Media
Release Date: 1994-11-30
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.