Limit search to available items
Book Cover
E-book
Author LOPSTR (Symposium) (16th : 2006 : Venice, Italy)

Title Logic-based program synthesis and transformation : 16th international symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006 : revised selected papers / Germán Puebla (ed.)
Published Berlin ; New York : Springer, ©2007

Copies

Description 1 online resource (viii, 235 pages) : illustrations
Series Lecture notes in computer science, 0302-9743 ; 4407
Lecture notes in computer science ; 4407. 0302-9743
Contents Invited talks -- Program development -- Partial evaluation and program transformation -- Security and synthesis -- Debugging and testing -- Termination and analysis
Analysis wiskunde
mathematics
programmeren
programming
computerwetenschappen
computer sciences
kunstmatige intelligentie
artificial intelligence
logica
logic
Information and Communication Technology (General)
Informatie- en communicatietechnologie (algemeen)
Bibliography Includes bibliographical references and index
Notes Print version record
Subject Logic programming -- Congresses
Logic programming.
Informatique.
Logic programming
Genre/Form proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
Form Electronic book
Author Puebla, Germán.
ISBN 9783540714101
3540714103
9783540714095
354071409X
Other Titles LOPSTR 2006