Format:
Online-Ressource
ISBN:
9783540451426
,
3540421270
Series Statement:
Lecture Notes in Computer Science 2042
Content:
This book presents revised full papers from the 10th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR 2000, held in London, UK, in July 2000 as part of the International Conference on Computational Logic. The 10 revised full papers presented have gone through two rounds of reviewing, selection and revision. The book is divided in topical sections on synthesis, transformation, analysis, specialization, and abstract interpretation
Additional Edition:
ISBN 9783540421276
Additional Edition:
Buchausg. u.d.T. Logic based program synthesis and transformation Berlin : Springer, 2001 ISBN 3540421270
Language:
English
Subjects:
Computer Science
Keywords:
Logische Programmierung
;
Programmsynthese
;
Logische Programmierung
;
Programmtransformation
;
Computational logic
;
Konferenzschrift
DOI:
10.1007/3-540-45142-0
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(lizenzpflichtig)
Bookmarklink