Normal view MARC view ISBD view

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.

ISBN: 9783540714101 3540714103 9783540714095 354071409X

Standard No.: 10.1007/978-3-540-71410-1 doi (WaSeSS)ssj0000301961

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

LCCN:

Subjects--Topical Terms:
Logic programming--Congresses.
Programmation logique--Congrès.
Logic programming.
Informatique.
Logic programming

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

Index Terms--Genre/Form:
Congress
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.

LC Class. No.: QA76.63 / .L69 2006eb

Dewey Class. No.: 005.1