ESOP 86 : European Symposium on Programming Saarbrücken, Federal Republic of Germany March 17 19, 1986 : proceedings
保存先:
| 団体著者: | |
|---|---|
| その他の著者: | , |
| フォーマット: | Livre numérique |
| 言語: | Anglais |
| 出版事項: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| シリーズ: | Lecture notes in computer science
213 |
| 主題: | |
| オンライン･アクセス: | 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: | • ESOP 86, European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986, proceedings, edited by B. Robinet and R. Wilhelm, Berlin, Springer-Verlag, 1986, 1 vol. (374 p.), Lecture notes in computer science, 0-387-16442-1 • ESOP 86, Texte imprimé, 9783662164037 |
| LEADER | 04045nam a22003857a 4500 | ||
|---|---|---|---|
| 001 | 944192 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155178415 | ||
| 020 | |a 9783540397823 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a European symposium on programming |d (1986 |c :Sarrebruck, Allemagne). | |
| 245 | 1 | 0 | |a ESOP 86 : |b European Symposium on Programming Saarbrücken, Federal Republic of Germany March 17 19, 1986 : proceedings |c edited by B. Robinet and R. Wilhelm. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 213 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Compiler generation from relational semantics -- Correctness of code generation from a two-level meta-language -- A general approach to the optimization of function calls -- Lifetime analysis for procedure parameters -- Another implementation technique for applicative languages -- Graal : A Functional Programming system with uncurryfied combinators and its reduction machine -- A safe approach to parallel combinator reduction (extended abstract) -- Reducing recursion to iteration by algebraic extension -- Design and implementation of a generic, logic and functional programming language -- Pragmatic aspects of two-level denotational meta-languages -- An experiment in practical semantics -- The choice of programming primitives for SETL-like programming languages -- Algebraic semantics of exception handling -- Data refinement refined resume -- Proving entailment between conceptual state specifications -- Automatic parallelization of fortran programs in the presence of procedure calls -- Parallelization by semantic detection of reductions -- Denotational semantics of nets with nondeterminism -- specification of a tool for viewing program text -- A classical implementation for Prolog-II -- Programs as collections of communicating Prolog units -- An and-parallel execution model of logic programs -- Compiling Extended Concurrent Prolog -single queue compilation- -- A very intelligent backtracking method for Logic Programs -- An application of abstract interpretation of logic programs: Occur check reduction -- Experiences with the RAP system a specification interpreter combining term rewriting and resolution -- Rewriting with a nondeterministic choice operator : From algebra to proofs. | |
| 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 | ||
| 650 | |a Informatique | ||
| 650 | |a Langages de programmation | ||
| 650 | |a Ordinateurs | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Wilhelm, Reinhard, |d 1946- |4 pbd | |
| 700 | 1 | |a Robinet, Bernard, |d 1941-2009. |4 pbd | |
| 776 | 0 | |0 029239842 |t ESOP 86 |o European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986 |o proceedings |f edited by B. Robinet and R. Wilhelm |c Berlin |n Springer-Verlag |d 1986 |p 1 vol. (374 p.) |s Lecture notes in computer science |z 0-387-16442-1 | |
| 776 | 0 | |t ESOP 86 |b Texte imprimé |z 9783662164037 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-16442-1 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-TH612083-9 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:74792192X |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-16442-1 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750934298 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-16442-1 |z Accès INSA CVL | |
| 997 | |0 944192 |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/ | ||