ESOP '92 : 4th European Symposium on Programming Rennes, France, February 26 28, 1992 : proceedings
This volume contains selected papers presented at the European Symposium on Programming (ESOP) held jointly with the seventeeth Colloquium on Trees in Algebra and Programming (CAAP) in Rennes, France, February 26-28, 1992 (the proceedings of CAAP appear in LNCS 581). The previous symposiawere held i...
Enregistré dans:
| Collectivités auteurs: | , |
|---|---|
| Andre forfattere: | |
| Format: | Livre numérique |
| Sprog: | Anglais |
| Udgivet: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serier: | Lecture notes in computer science
582 |
| Fag: | |
| Online adgang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Kommentar: |
held jointly with the seventeenth CAAP Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • ESOP '92, 4th European Symposium on Programming, Rennes, France, February 26-28, 1992, proceedings, B. Krieg-Brückner (ed.), Berlin, Springer-Verlag, 1992, 1 vol. (VIII-491 p.), Lecture notes in computer science, 3-540-55253-7 • ESOP '92, Texte imprimé, 9783662175767 |
| LEADER | 04712nam a22004337a 4500 | ||
|---|---|---|---|
| 001 | 945264 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155220675 | ||
| 020 | |a 9783540468035 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a European symposium on programming |n (04 |d :1992 |c :Rennes). | |
| 245 | 1 | 0 | |a ESOP '92 : |b 4th European Symposium on Programming Rennes, France, February 26 28, 1992 : proceedings |c [edited by] Bernd Krieg-Brückner. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 582 |x 1611-3349 | |
| 500 | |a held jointly with the seventeenth CAAP | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Model checking and boolean graphs -- SIGNAL as a model for real-time and hybrid systems -- Towards an adequate notion of observation -- Proving safety of speculative load instructions at compile-time -- Typed norms -- Compositional refinements in multiple blackboard systems -- Fully persistent arrays for efficient incremental updates and voluminous reads -- Back to direct style -- Extraction of strong typing laws from action semantics definitions -- Detecting determinate computations by bottom-up abstract interpretation -- ELIOS-OBJ theorem proving in a specification language -- Incremental garbage collection without tags -- Approximate fixed points in abstract interpretation -- Dynamic typing -- Automatic parallelization of lazy functional programs -- Reversing abstract interpretations -- A theory of qualified types -- A semantics for multiprocessor systems -- Interprocedural type propagation for object-oriented languages -- Using the Centaur system for data-parallel SIMD programming: a case study -- The tensor product in Wadler's analysis of lists -- Basic superposition is complete -- Observers for linear types -- Type inference for partial types is decidable -- A provably correct compiler generator -- An adequate operational semantics of sharing in lazy evaluation -- Modules for a model-oriented specification language: A proposal for metasoft -- Typing references by effect inference. | |
| 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 contains selected papers presented at the European Symposium on Programming (ESOP) held jointly with the seventeeth Colloquium on Trees in Algebra and Programming (CAAP) in Rennes, France, February 26-28, 1992 (the proceedings of CAAP appear in LNCS 581). The previous symposiawere held in France, Germany, and Denmark. Every even year, as in 1992, CAAPis held jointly with ESOP. ESOP addresses fundamental issues and important developments in the specification and implementation of programming languages and systems. It continues lines begun in France and Germany under the names "Colloque sur la Programmation" and the GI workshop on "Programmiersprachen und Programmentwicklung". The programme committee received 71 submissions, from which 28 have been selected for inclusion in this volume. | ||
| 650 | |a Génie logiciel | ||
| 650 | |a Informatique | ||
| 650 | |a Langages de programmation | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Électronique numérique | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Krieg-Brückner, Bernd. |4 pbd | |
| 711 | 2 | |a Colloquium on trees in algebra and programming |n (17 |d :1992 |c :Rennes). |4 aut | |
| 776 | 0 | |0 022608974 |t ESOP '92 |o 4th European Symposium on Programming, Rennes, France, February 26-28, 1992 |o proceedings |f B. Krieg-Brückner (ed.) |c Berlin |n Springer-Verlag |d 1992 |p 1 vol. (VIII-491 p.) |s Lecture notes in computer science |z 3-540-55253-7 | |
| 776 | 0 | |t ESOP '92 |b Texte imprimé |z 9783662175767 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-55253-7 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-TMDSQ6QJ-F |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:74791219X |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-55253-7 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750924985 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-55253-7 |z Accès INSA CVL | |
| 997 | |0 945264 |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/ | ||