ESOP '88 : 2nd European Symposium on Programming Nancy, France, March 21 24, 1988 : proceedings
The volume contains the 23 papers selected for presentation at the ESOP '88 Conference, Nancy 1988. The theme of the ESOP conferences is the design, specification and implementation of programming languages and systems. Particular emphasis is placed on work in which an implemented system embodi...
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
300 |
| 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 in conjunction with CAAP '88 Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Programming, proceedings, 2nd European symposium on programming, ESOP'88, Nancy, France, March 21-24, 1988, ed. Harald Ganzinger, Berlin, Springer, 1988, 1 vol. (VI-379 p.), Lecture notes in computer science, 3-540-19027-9 • ESOP '88, Texte imprimé, 9783662196670 |
| LEADER | 05191nam a22004217a 4500 | ||
|---|---|---|---|
| 001 | 944805 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155202545 | ||
| 020 | |a 9783540389415 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a European symposium on programming |n (02 |d :1988 |c :Nancy). | |
| 245 | 1 | 0 | |a ESOP '88 : |b 2nd European Symposium on Programming Nancy, France, March 21 24, 1988 : proceedings |c [edited] by H. Ganzinger. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 300 |x 1611-3349 | |
| 500 | |a Held in conjunction with CAAP '88 | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Semantics-based program integration -- A semantics driven temporal verification system -- Algebraic formalisation of program development by transformation -- QPC: QJ-based proof compiler -simple examples and analysis- -- Implementation of modular algebraic specifications -- A polymorphic type system with subtypes for Prolog -- Type inference with subtypes -- A theory of software reusability -- Parametric overloading in polymorphic programming languages -- Programming with proofs: A second order type theory -- An exception handling construct for functional languages -- A functional language for the specification of complex tree transformations -- Garp: Graph abstractions for concurrent programming -- Extending functional programming towards relations -- Perfect pipelining: A new loop parallelization technique -- New insights into partial evaluation: the SCHISM experiment -- Code selection techniques: Pattern matching, tree parsing, and inversion of derivors -- Adding relational query facilities to software development environments -- Compilation of logic programs for restricted and-parallelism -- Implementation of lazy pattern matching algorithms -- Enhancing Prolog to support Prolog programming environments -- 2-Level ?-lifting -- Deforestation: Transforming programs to eliminate trees -- On implementing logic programming languages on a dataflow architecture -- The PSG system: From formal language definitions to interactive programming environments -- LPG: A generic, logic and functional programming language -- CEC: A system for the completion of conditional equational specifications -- A functional language for the specification of complex tree transformations. | |
| 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 The volume contains the 23 papers selected for presentation at the ESOP '88 Conference, Nancy 1988. The theme of the ESOP conferences is the design, specification and implementation of programming languages and systems. Particular emphasis is placed on work in which an implemented system embodies an important concept or formal model of programming in such a way that its usefulness is demonstrated. Among the five sections of the volume, the one on language implementation contains the most papers. Here a rather wide spectrum of aspects, ranging from language implementation problems on parallel architectures and optimization of functional programs to new concepts for programming environments is covered. Another large section consists of papers in the area of algebraic specification and type concepts. The papers in this section are devoted to issues such as polymorphism, subtypes and notions of implementation and reuse for algebraic specifications. Two further sections are devoted to new language concepts and novel approaches to program development and verification. | ||
| 650 | |a Informatique | ||
| 650 | |a Langages de programmation | ||
| 650 | |a Ordinateurs | ||
| 650 | |a Intelligence artificielle | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Ganzinger, Harald, |d 1950-2004. |4 pbd | |
| 711 | 2 | |a Colloquium on trees in algebra and programming |n (13 |d :1988 |c :Nancy). |4 aut | |
| 776 | 0 | |0 020649452 |t Programming |o proceedings |o 2nd European symposium on programming, ESOP'88, Nancy, France, March 21-24, 1988 |f ed. Harald Ganzinger |c Berlin |n Springer |d 1988 |p 1 vol. (VI-379 p.) |s Lecture notes in computer science |z 3-540-19027-9 | |
| 776 | 0 | |t ESOP '88 |b Texte imprimé |z 9783662196670 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-19027-9 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-TD2G4B3F-D |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747916365 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-19027-9 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750928964 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-19027-9 |z Accès INSA CVL | |
| 997 | |0 944805 |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/ | ||