Programming languages and systems - ESOP '96 : 6th European Symposium on Programming, Linköping, Sweden, April 22 24, 1996 : proceedings
This book presents the refereed proceedings of the Sixth European Symposium on Programming, ESOP '96, held in Linköping, Sweden, in April 1996. The 23 revised full papers included were selected from a total of 63 submissions; also included are invited papers by Cliff B. Jones and by Simon L. Pe...
Сохранить в:
| Соавтор: | |
|---|---|
| Другие авторы: | |
| Формат: | Livre numérique |
| Язык: | Anglais |
| Опубликовано: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Серии: | Lecture notes in computer science
1058 |
| Предметы: | |
| 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: | • Programming languages and systems, ESOP '96, 6th European Symposium on Programming, Linköping, Sweden, April 22-24, 1996, proceedings, Hanne Riis Nielson, ed, 1996, New York, Springer, 1 vol. (403 p.), Lecture notes in computer science, 3-540-61055-3 • Programming Languages and Systems - ESOP '96, Texte imprimé, 9783662198247 |
| LEADER | 04734nam a22004217a 4500 | ||
|---|---|---|---|
| 001 | 944407 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN15518721X | ||
| 020 | |a 9783540499428 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 082 | |a 005.1 | ||
| 111 | 2 | |a European symposium on programming |n (06 |d :1996 |c :Linköping, Suède). | |
| 245 | 1 | 0 | |a Programming languages and systems - ESOP '96 : |b 6th European Symposium on Programming, Linköping, Sweden, April 22 24, 1996 : proceedings |c [edited by] Hanne Riis Nielson. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 1058 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Some practical problems and their influence on semantics -- Compiling Haskell by program transformation: A report from the trenches -- Narrowing-driven partial evaluation of functional logic programs -- A multiple-valued logical semantics for Prolog -- Removing value encoding using alternative values in partial evaluation of strongly-typed languages -- A complete transformational toolkit for compilers -- Global analysis of standard Prolog programs -- Static detection of pointer errors: An axiomatisation and a checking algorithm -- Compositional optimization of disjunctive abstract interpretations -- A rewriting logic for declarative programming -- Durations for truly-concurrent transitions -- Flow analysis in the Geometry of Interaction -- Parametricity and unboxing with unpointed types -- Modular denotational semantics for compiler construction -- Compositional semantics of non-deterministic synchronous languages -- Checking system properties via integer programming -- Efficient minimization up to location equivalence -- A new approach to compiling adaptive programs -- Mode and termination checking for higher-order logic programs -- Linear time hierarchies for a functional language machine model -- Integer constraints to stop deforestation -- Towards an ML-style polymorphic type system for C -- Assumption/commitment rules for dataflow networks with an emphasis on completeness -- Towards an expressive language for PDE solvers -- Rewrite systems with abstraction and ?-rule: Types, approximants and normalization. | |
| 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 refereed proceedings of the Sixth European Symposium on Programming, ESOP '96, held in Linköping, Sweden, in April 1996. The 23 revised full papers included were selected from a total of 63 submissions; also included are invited papers by Cliff B. Jones and by Simon L. Peyton Jones. The book is devoted to fundamental issues in the specification, analysis, and implementation of programming languages and systems; the emphasis is on research issues bridging the gap between theory and practice. Among the topics addressed are software specification and verification, programming paradigms, program semantics, advanced type systems, program analysis, program transformation, and implementation techniques. | ||
| 650 | |a Génie logiciel | ||
| 650 | |a Informatique | ||
| 650 | |a Langages de programmation | ||
| 650 | |a Ordinateurs | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Nielson, Hanne Riis, |d 1954- |4 pbd | |
| 776 | 0 | |0 025086936 |t Programming languages and systems, ESOP '96 |o 6th European Symposium on Programming, Linköping, Sweden, April 22-24, 1996 |o proceedings |f Hanne Riis Nielson, ed |d 1996 |c New York |n Springer |p 1 vol. (403 p.) |s Lecture notes in computer science |z 3-540-61055-3 | |
| 776 | 0 | |t Programming Languages and Systems - ESOP '96 |b Texte imprimé |z 9783662198247 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-61055-3 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-D4S6ZRQB-H |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747919933 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-61055-3 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750932457 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-61055-3 |z Accès INSA CVL | |
| 997 | |0 944407 |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/ | ||