Programming languages : implementations, logics and programs : 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20-22, 1995 : proceedings
This book constitutes the proceedings of the Seventh International Symposium on Programming Languages: Implementations, Logics and Programs, PLILP '95, held in Utrecht, The Netherlands, in September 1995. The book presents 26 refereed full papers selected from 84 submissions; they report resear...
محفوظ في:
| مؤلف مشترك: | |
|---|---|
| مؤلفون آخرون: | , |
| التنسيق: | Livre numérique |
| اللغة: | Anglais |
| منشور في: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| سلاسل: | Lecture notes in computer science
982 |
| الموضوعات: | |
| الوصول للمادة أونلاين: | 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: | • Programming languages, implementations, logics and programs, 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20-22, 1995, proceedings, Manuel Hermenegildo, S. Doaitse Swierstra (eds.), Berlin, Springer, 1995, 1 vol. (XI-466 p.), Lecture notes in computer science, 3-540-60359-X • Programming Languages: Implementations, Logics and Programs, Texte imprimé, 9783662174289 |
| LEADER | 05295nam a22004337a 4500 | ||
|---|---|---|---|
| 001 | 945447 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155227963 | ||
| 020 | |a 9783540450481 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a International symposium on programming language implementation and logic programming |n (07 |d :1995 |c :Utrecht). | |
| 245 | 1 | 0 | |a Programming languages : |b implementations, logics and programs : 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20-22, 1995 : proceedings |c [edited by] Manuel Hermenegildo, S. Doaitse Swierstra. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 982 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a A generic program for sequential decision processes -- Parsing visual languages with constraint multiset grammars -- Programming with constructor classes -- Towards a taxonomy of functional language implementations -- A ?-calculus à la de Bruijn with explicit substitutions -- A verified implementation of narrowing -- A new calculus for semantic matching -- A complete narrowing calculus for higher-order functional logic programming -- Exploiting parallelism in tabled evaluations -- Design and implementation of jump tables for fast indexing of logic programs -- An abstract machine for Oz -- Uniform PERs and comportment analysis -- Uniqueness type inference -- Modes of comprehension: Mode analysis of arrays and array comprehensions -- Better consumers for deforestation -- Efficient compile-time garbage collection for arbitrary data structures -- Efficient multi-level generating extensions for program specialization -- Mechanically verifying the correctness of an offline partial evaluator -- A semantic model of binding times for safe partial evaluation -- Gadgets: Lazy functional components for graphical user interfaces -- Lightweight GUIs for functional programming -- Local linear logic for locality consciousness in multiset transformation -- The notion of floundering for SLDNF-resolution revisited -- Minimal set unification -- Goal-directed query processing in disjunctive logic databases -- A dataflow semantics for constraint logic programs -- A functional framework for deterministically interleaved interactive programs -- A debugging model for lazy narrowing -- Evaluation of expressions in a multiparadigm framework -- An expression-or-parallel implementation for a functional logic language -- Attributed models of executable specifications -- Approximating constraint logic programs using polymorphictypes and regular descriptions -- Performance of a data-parallel concurrent constraint programming system -- A portable implementation of memoing evaluation. | |
| 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 proceedings of the Seventh International Symposium on Programming Languages: Implementations, Logics and Programs, PLILP '95, held in Utrecht, The Netherlands, in September 1995. The book presents 26 refereed full papers selected from 84 submissions; they report research on declarative programming languages and provide insights in the relation between the logic of those languages, implementation techniques, and the use of these languages in constructing real programs. In addition there are abstracts or full presentations of three invited talks as well as eight posters and demonstrations. | ||
| 650 | |a Informatique | ||
| 650 | |a Langages de programmation | ||
| 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 Swierstra, S. Doaitse, |d 1950- |4 pbd | |
| 700 | 1 | |a Hermenegildo, Manuel. |4 pbd | |
| 776 | 0 | |0 024488127 |t Programming languages |o implementations, logics and programs |o 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20-22, 1995 |o proceedings |f Manuel Hermenegildo, S. Doaitse Swierstra (eds.) |c Berlin |n Springer |d 1995 |p 1 vol. (XI-466 p.) |s Lecture notes in computer science |z 3-540-60359-X | |
| 776 | 0 | |t Programming Languages: Implementations, Logics and Programs |b Texte imprimé |z 9783662174289 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/BFb0026808 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-MF6NFCB7-G |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747910413 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/BFb0026808 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:75092330X |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/BFb0026808 |z Accès INSA CVL | |
| 997 | |0 945447 |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/ | ||