Logic-Based Program Synthesis and Transformation 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected Papers /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Flener, Pierre (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999.
• Έκδοση: 1st ed. 1999.
• Σειρά: Lecture Notes in Computer Science, 1559
• Θέματα: Software engineering.; Architecture, Computer.; Computers.; Computer logic.; Computer programming.; Artificial intelligence.; Software Engineering/Programming and Operating Systems.; Computer System Implementation.; Theory of Computation.; Logics and Meanings of Programs.; Programming Techniques.; Artificial Intelligence.

This book presents the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR'98 held in Manchester, UK in June 1998. The 16 revised full papers presented were carefully reviewed and selected during three round...

Πίνακας περιεχομένων:

• Attempto Controlled English - Not Just Another Logic Specification Language
• A Step Towards a Methodology for Mercury Program Construction: A Declarative Semantics for Mercury
• Pragmatics in the Synthesis of Logic Programs
• Using Decision Procedures to Accelerate Domain-Specific Deductive Synthesis Systems
• Synthesis of Programs in Abstract Data Types
• OOD Frameworks in Component-Based Software - Development in Computational Logic
• The Use of Renaming in Composing General Programs
• Inductive Synthesis of Logic Programs by Composition of Combinatory Program Schemes
• Specialising Logic Programs with Respect to Call/Post Specifications
• Generalization in Hierarchies of Online Program Specialization Systems
• Improving Homeomorphic Embedding for Online Termination
• Successes in Logic Programs
• Inferring and Compiling Termination for Constraint Logic Programs
• Strictness Analysis as Finite-Domain Constraint Solving
• Invariant Discovery via Failed Proof Attempts
• Preventing Instantiation Errors and Loops for Logic Programs with Multiple Modes Using block Declarations
• Algorithms for Synthesizing Reactive Systems: A Perspective
• Schema-Guided Synthesis of CLP Programs
• Abstract: Proof Planning with Program Schemas
• Logical Synthesis of Imperative O.O. Programs
• Mathematical Foundations for Program Transformations
• An Exhaustive-Search Method Using Layered Streams Obtained Through a Meta-Interpreter for Chain Programs
• Bottom-Up Specialisation of Logic Programs
• Myrtle: A Set-Oriented Meta-Interpreter Driven by a "Relational" Trace for Deductive Databases Debugging.