Logic Program Synthesis and Transformation - Meta-Programming in Logic
Subtitle: 4th International Workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20 - 21, ... (Lecture Notes in Computer Science)
Contributors: Laurent Fribourg (Editor); Franco Turini (Editor)
Edition: 1 edition
Publisher: Springer
Published: December 13, 1994
Language: eng
Format: Paperback
Number of pages: 451
ISBN-13: 9783540587927
Subjects: Programming languages; Mathematics; Logic; Computers - Languages / Programming; Science/Mathematics; Programming - Object Oriented Programming; Programming Languages - General; Inductive Logic Programming; Induktives Logisches Programmieren; Mathematics / Logic; Meta-Programmieren; Meta-Programming; Partial Deduction; Partielle Deduktion; Program Synthesis; Program Transformation; Programmsynthese; Programmtransformation; Congresses; Logic Design; Logic programming
First sentence: In 1969 Dana Scott developed his Logic for Computable Functions and with it a model of functional program computation.