This book constitutes the thoroughly refereed postproceedings of
the 16th International Symposium on Logic Based Program Synthesis
and Transformation, LOPSTR 2006, held in Venice, Italy, July 2006
in conjunction with ICALP 2006, PPDP 2006, and CSFW 2006. The 14
revised full papers cover tools for program development, partial
evaluation and program transformation, security and synthesis,
debugging and testing, as well as termination and analysis.
General
Imprint: |
Springer-Verlag
|
Country of origin: |
Germany |
Series: |
Lecture Notes in Computer Science, 4407 |
Release date: |
March 2007 |
First published: |
2007 |
Editors: |
German Puebla
|
Dimensions: |
235 x 155 x 13mm (L x W x T) |
Format: |
Paperback
|
Pages: |
240 |
ISBN-13: |
978-3-540-71409-5 |
Categories: |
Books >
Computing & IT >
Computer programming >
General
|
LSN: |
3-540-71409-X |
Barcode: |
9783540714095 |
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!