Logic-based program synthesis and transformation : 16th international symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006 : revised selected papers / Germán Puebla (ed.).
Material type:
TextSeries: Lecture notes in computer science ; 4407.Publication details: Berlin ; New York : Springer, ©2007.Description: 1 online resource (viii, 235 pages) : illustrationsContent type: - text
- computer
- online resource
- 9783540714101
- 3540714103
- 9783540714095
- 354071409X
- LOPSTR 2006
- 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)
- 005.1 22
- QA76.63 .L69 2006eb
- TP311. 11-532
| Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|
eBook
|
e-Library | eBook LNCS | Available |
Includes bibliographical references and index.
Invited talks -- Program development -- Partial evaluation and program transformation -- Security and synthesis -- Debugging and testing -- Termination and analysis.
Print version record.