The ten papers presented in this volume have gone through two rounds of reviewing, selection and revision. The book is divided in topical sections on synthesis, transformation, analysis, specialization, and abstract interpretation.
| ISBN: | 9783540421276 |
| Publication date: | 1st May 2001 |
| Author: | International Workshop on Logicbased Program Synthesis and Transformation, KK Lau |
| Publisher: | Springer an imprint of Springer Berlin Heidelberg |
| Format: | Paperback |
| Pagination: | 181 pages |
| Series: | Lecture Notes in Computer Science |
| Genres: |
Software Engineering Mathematical theory of computation Artificial intelligence Computer programming / software engineering |
The ten papers presented in this volume have gone through two rounds of reviewing, selection and revision. The book is divided in topical sections on synthesis, transformation, analysis, specialization, and abstract interpretation.
Logic Based Program Synthesis and Transformation features in the following genres: Software Engineering, Mathematical theory of computation, Artificial intelligence, Computer programming / software engineering
Paperback. Not Available.
Logic Based Program Synthesis and Transformation was written by International Workshop on Logicbased Program Synthesis and Transformation, KK Lau and published by Springer an imprint of Springer Berlin Heidelberg
Logic Based Program Synthesis and Transformation has 181 pages
Yes it is part of Lecture Notes in Computer Science series