Logic-based program synthesis and transformation : 16th international symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006 : revised selected papers /

Logic-based program synthesis and transformation : 16th international symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006 : revised selected papers / LOPSTR 2006 Germán Puebla (ed.). - Berlin ; New York : Springer, ©2007. - 1 online resource (viii, 235 pages) : illustrations - Lecture notes in computer science, 4407 0302-9743 ; . - Lecture notes in computer science ; 4407. .

Includes bibliographical references and index.

Invited talks -- Program development -- Partial evaluation and program transformation -- Security and synthesis -- Debugging and testing -- Termination and analysis.

9783540714101 3540714103 9783540714095 354071409X

10.1007/978-3-540-71410-1 doi (WaSeSS)ssj0000301961

978-3-540-71409-5 Springer http://www.springerlink.com




Logic programming--Congresses.
Programmation logique--Congrès.
Logic programming.
Informatique.
Logic programming

wiskunde mathematics programmeren programming computerwetenschappen computer sciences kunstmatige intelligentie artificial intelligence logica logic Information and Communication Technology (General) Informatie- en communicatietechnologie (algemeen)


Congress
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.

QA76.63 / .L69 2006eb

005.1

Powered by Koha