TY  - BOOK
AU  - Puebla,Germán
ED  - LOPSTR (Symposium)
TI  - Logic-based program synthesis and transformation: 16th international symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006 : revised selected papers 
T2  - Lecture notes in computer science,
SN  - 9783540714101
AV  - QA76.63 .L69 2006eb
U1  - 005.1 22
PY  - 2007///
CY  - Berlin, New York
PB  - Springer
KW  - Logic programming
KW  - Congresses
KW  - Programmation logique
KW  - Congrès
KW  - cct
KW  - Informatique
KW  - eclas
KW  - fast
KW  - wiskunde
KW  - mathematics
KW  - programmeren
KW  - programming
KW  - computerwetenschappen
KW  - computer sciences
KW  - kunstmatige intelligentie
KW  - artificial intelligence
KW  - logica
KW  - logic
KW  - Information and Communication Technology (General)
KW  - Informatie- en communicatietechnologie (algemeen)
KW  - Congress
KW  - proceedings (reports)
KW  - aat
KW  - Conference papers and proceedings
KW  - lcgft
KW  - Actes de congrès
KW  - rvmgf
N1  - Includes bibliographical references and index; Invited talks -- Program development -- Partial evaluation and program transformation -- Security and synthesis -- Debugging and testing -- Termination and analysis
UR  - https://link.springer.com/10.1007/978-3-540-71410-1
ER  -