Logic program synthesis and transformation : 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28 30, 1996 : proceedings
This book constitutes the strictly refereed post-workshop proceedings of the Sixth International Workshop on Logic Program Synthesis and Transformation, LOPSTR'96, held on board a ship sailing from Stockholm to Helsinki, in August 1996. The 17 revised full papers were carefully selected from a...
Guardat en:
| Autor corporatiu: | |
|---|---|
| Altres autors: | |
| Format: | Livre numérique |
| Idioma: | Anglais |
| Publicat: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Col·lecció: | Lecture notes in computer science
1207 |
| Matèries: | |
| Accés en línia: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Logic program synthesis and transformation, 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, proceedings, John Gallagher, editor, 1997, New York, Springer, 1 vol. (VI-324 p.), Lecture notes in computer science, 3-540-62718-9 • Logic Program Synthesis and Transformation, Texte imprimé, 9783662200315 |
| LEADER | 03712nam a22004217a 4500 | ||
|---|---|---|---|
| 001 | 944147 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155176730 | ||
| 020 | |a 9783540684947 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 005.115 | ||
| 082 | |a 004 | ||
| 111 | 2 | |a International Workshop on Logic program synthesis and transformation |n (06 |d :1996 |c :Stockholm). | |
| 245 | 1 | 0 | |a Logic program synthesis and transformation : |b 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28 30, 1996 : proceedings |c [edited by] John Gallagher. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 1207 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Refining specifications to logic programs -- Symbolic verification with gap-order constraints -- Specification-based automatic verification of Prolog programs -- Logic program specialisation: How to be more specific -- Conjunctive partial deduction in practice -- Redundant argument filtering of logic programs -- Replacement can preserve termination -- A transformation tool for pure Prolog programs -- Enhancing partial deduction via unfold/fold rules -- Abstract specialization and its application to program parallelization -- Reductions of petri nets and unfolding of propositional logic programs -- Inferring argument size relationships with CLP( | |
| 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 constitutes the strictly refereed post-workshop proceedings of the Sixth International Workshop on Logic Program Synthesis and Transformation, LOPSTR'96, held on board a ship sailing from Stockholm to Helsinki, in August 1996. The 17 revised full papers were carefully selected from a total of initially 27 submissions. The topics covered range over the areas of synthesis of programs from specifications, verification, transformation, specialization, and analysis of programs, and the use of program schemata in program development. | ||
| 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 Gallagher, John P., |d 19..-...., |c informaticien. |4 pbd | |
| 776 | 0 | |0 028351142 |t Logic program synthesis and transformation |o 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996 |o proceedings |f John Gallagher, editor |d 1997 |c New York |n Springer |p 1 vol. (VI-324 p.) |s Lecture notes in computer science |z 3-540-62718-9 | |
| 776 | 0 | |t Logic Program Synthesis and Transformation |b Texte imprimé |z 9783662200315 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-62718-9 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-PV1KVD7D-M |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747922330 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-62718-9 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750934670 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-62718-9 |z Accès INSA CVL | |
| 997 | |0 944147 |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/ | ||