Program Development in Computational Logic A Decade of Research Advances in Logic-Based Program Development /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Bruynooghe, Maurice (Editor), Lau, Kung-Kiu (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004.
• Series: Lecture Notes in Computer Science, 3049
• Subjects: Computer science.; Computer programming.; Software engineering.; Programming languages (Electronic computers).; Computer logic.; Mathematical logic.; Artificial intelligence.; Computer Science.; Artificial Intelligence (incl. Robotics).; Logics and Meanings of Programs.; Programming Techniques.; Mathematical Logic and Formal Languages.; Software Engineering.; Programming Languages, Compilers, Interpreters.

1 The tenth anniversary of the LOPSTR symposium provided the incentive for this volume. LOPSTR started in 1991 as a workshop on logic program synthesis and transformation, but later it broadened its scope to logic-based program development in general, that is, program development in computational lo...