Logic-based program synthesis and transformation : 8th International Workshop, LOPSTR 98 Manchester, UK, June 15 19, 1998 : selected papers
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...
Сохранить в:
| Соавтор: | |
|---|---|
| Другие авторы: | |
| Формат: | Livre numérique |
| Язык: | Anglais |
| Опубликовано: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Серии: | Lecture notes in computer science
1559 |
| Предметы: | |
| Online-ссылка: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Примечание: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Logic-based program synthesis and transformation, 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, selected papers, Pierre Flener (ed.), 1999, New York, Springer, 1 vol. (X-330 p.), Lecture notes in computer science, 3-540-65765-7 • Logic-Based Program Synthesis and Transformation, Texte imprimé, 9783662187036 |
Оглавление:
- 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.