Programming languages : implementations, logics, and programs : 9th international symposium, PLILP '97 including a special track on declarative programming languages in education, Southampton, UK, September 1-3, 1997 : proceedings
This volume constitutes the refereed proceedings of the 9th International Symposium on Programming Languages, Implementations, Logics and Programs, PLILP '97, held in Southampton, UK, in September 1997, including a special track on Declarative Programming in Education. The volume presents 25 re...
Đã 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
1292 |
| 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: | • Programming languages, implementations, logics, and programs, 9th international symposium, PLILP '97 including a special track on declarative programming languages in education, Southampton, UK, September 1-3, 1997, proceedings, Hugh Glaser, Pieter Hartel, Herbert Kuchen, eds, 1997, Berlin, Springer, 1 vol. (424 p.), Lecture notes in computer science, 3-540-63398-7 • Programming Languages: Implementations, Logics, and Programs, Texte imprimé, 9783662168431 |
| LEADER | 05230nam a22004337a 4500 | ||
|---|---|---|---|
| 001 | 944038 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN15517245X | ||
| 020 | |a 9783540695370 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a International symposium on programming language implementation and logic programming |n (09 |d :1997 |c :Southampton, Royaume-Uni). | |
| 245 | 1 | 0 | |a Programming languages : |b implementations, logics, and programs : 9th international symposium, PLILP '97 including a special track on declarative programming languages in education, Southampton, UK, September 1-3, 1997 : proceedings |c [edited by] Hugh Glaser, Pieter Hartel, Herbert Kuchen. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 1292 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Narrowing the narrowing space -- An object calculus with algebraic rewriting -- Inheritance and selective method dispatching in concurrent Haskell -- Overriding operators in a mixin-based framework -- Resolution for logic programming with universal quantifiers -- A declarative approach to concurrent programming -- Transformation of divide & conquer to nested parallel loops -- Transforming lazy functions using comportment properties -- Transformations for efficient evaluations in functional programming -- Inline expansion: When and how? -- Higher-order value flow graphs -- Intuitionistic implication in abstract interpretation -- An open-ended finite domain constraint solver -- Semantics and compilation of recursive sequential streams in 81/2 -- Implementation of term rewritings with the evaluation strategy -- Reflections on reflections -- Evaluation under lambda abstraction -- Selective recomputation for handling side-effects in parallel logic programs -- Tracing lazy functional computations using redex trails -- Functional programming and geometry -- Where do I begin? A problem solving approach in teaching functional programming -- Teaching functional and logic programming with a single computation model -- Logic implemented functionally -- DrScheme: A pedagogic programming environment for scheme -- An editor for helping novices to learn standard ML -- Introducing the declarative dungeon -- A pragmatic approach to compilation of Erlang -- Formal translations described by translation grammars with LR(k) input grammars -- Automatic run-time code generation in object-oriented languages. | |
| 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 volume constitutes the refereed proceedings of the 9th International Symposium on Programming Languages, Implementations, Logics and Programs, PLILP '97, held in Southampton, UK, in September 1997, including a special track on Declarative Programming in Education. The volume presents 25 revised full papers selected from 68 submissions. Also included are one invited paper and three posters. The papers are devoted to exploring the relation between implementation techniques, the logic of the languages, and the use of the languages in construcing real programs. Topics of interest include implementation of declarative concepts, integration of paradigms, program analysis and transformation, programming environments, executable specifications, reasoning about language constructs, etc. | ||
| 650 | |a Informatique | ||
| 650 | |a Langages de programmation | ||
| 650 | |a Ordinateurs | ||
| 650 | |a Intelligence artificielle | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Glaser, Hugh. |4 pbd | |
| 700 | 1 | |a Hartel, Pieter H. |4 pbd | |
| 700 | 1 | |a Kuchen, Herbert R., |d 1958- |4 pbd | |
| 776 | 0 | |0 031971393 |t Programming languages |o implementations, logics, and programs |o 9th international symposium, PLILP '97 including a special track on declarative programming languages in education, Southampton, UK, September 1-3, 1997 |o proceedings |f Hugh Glaser, Pieter Hartel, Herbert Kuchen, eds |d 1997 |c Berlin |n Springer |p 1 vol. (424 p.) |s Lecture notes in computer science |z 3-540-63398-7 | |
| 776 | 0 | |t Programming Languages: Implementations, Logics, and Programs |b Texte imprimé |z 9783662168431 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/BFb0033832 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-C4N79F67-6 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747923280 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/BFb0033832 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750935588 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/BFb0033832 |z Accès INSA CVL | |
| 997 | |0 944038 |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/ | ||