Premium & Rewards Members 25% Off Pre-Order Books With Code PREORDER25 Ends 6/26 Shop Now Online only. See page for details.Premium & Rewards Members 25% Off Pre-Order Books With Code PREORDER25 Ends 6/26 Shop Now Online only. See page for details.
Add Item to wish listAdd Item to wish list

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

By Laurent Fribourg (Editor), Franco Turini (Editor)
Paperback
$54.99
By Laurent Fribourg (Editor), Franco Turini (Editor)
Promotion message icon
Premium Members save an extra 10% and all Members collect stamps to save with Rewards. 10 stamps = $5.Learn More
Formats
In stock
This item is currently out of stock online.
Free standard shipping on orders over $60
Select a store to view item availability.
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 met...

Categories

ComputersComputers - General & MiscellaneousComputer ProgrammingLogic DesignProgramming - General & Miscellaneous