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...
Đã lưu trong:
| Tác giả của công ty: | |
|---|---|
| Tác giả khác: | |
| Định dạng: | Livre numérique |
| Ngôn ngữ: | Anglais |
| Được phát hành: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Loạt: | Lecture notes in computer science
1559 |
| Những chủ đề: | |
| Truy cập trực tuyến: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Chú thích: |
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 |
| LEADER | 04768nam a22004217a 4500 | ||
|---|---|---|---|
| 001 | 969696 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155177966 | ||
| 020 | |a 9783540489580 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 082 | |a 005.115 | ||
| 111 | 2 | |a International Workshop on Logic-Based Program Development and Transformation |n (08 |d :1998 |c :Manchester, Royaume-Uni). | |
| 245 | 1 | 0 | |a Logic-based program synthesis and transformation : |b 8th International Workshop, LOPSTR 98 Manchester, UK, June 15 19, 1998 : selected papers |c [edited by] Pierre Flener. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 1559 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a 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. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a 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 rounds of inspection from a total of initially 36 extended abstracts submitted. Also included are eight short papers. Among the topics covered are logic specification, mathematical program construction, logic programming, computational logics, inductive program synthesis, constraint logic programs, and mathematical foundations. | ||
| 650 | |a Informatique | ||
| 650 | |a Ordinateurs | ||
| 650 | |a Intelligence artificielle | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Programmation logique | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Flener, Pierre, |d 1964- |4 pbd | |
| 776 | 0 | |0 045943796 |t Logic-based program synthesis and transformation |o 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998 |o selected papers |f Pierre Flener (ed.) |d 1999 |c New York |n Springer |p 1 vol. (X-330 p.) |s Lecture notes in computer science |z 3-540-65765-7 | |
| 776 | 0 | |t Logic-Based Program Synthesis and Transformation |b Texte imprimé |z 9783662187036 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-48958-4 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-SPHV01XM-F |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:750603054 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-48958-4 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:753963329 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-48958-4 |z Accès INSA CVL | |
| 997 | |0 969696 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||