The essence of computation : complexity, analysis, transformation : essays dedicated to Neil D. Jones
By presenting state-of-the-art aspects of the theory of computation, this book commemorates the 60th birthday of Neil D. Jones, whose scientific career parallels the evolution of computation theory itself. The 20 reviewed research papers presented together with a brief survey of the work of Neil D....
Na minha lista:
| Autor principal: | |
|---|---|
| Outros Autores: | , |
| Formato: | Livre numérique |
| Idioma: | Anglais |
| Publicado em: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Colecção: | Lecture notes in computer science
2566 |
| Assuntos: | |
| Acesso em linha: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Variante du titre: | Mélanges :, Jones., 1941-.... |
| Edition sous un autre format: | • The essence of computation, complexity, analysis, transformation, essays dedicated to Neil D. Jones, Torben Æ. Mogensen, David A. Schmidt, I. Hal Sudborough (eds.), Berlin, Springer, 2002, 1 vol. (XIV-471 p.), Lecture notes in computer science, 3-540-00326-6 • The Essence of Computation, Texte imprimé, 9783662177518 |
| LEADER | 04226nam a22004337a 4500 | ||
|---|---|---|---|
| 001 | 948632 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155177559 | ||
| 020 | |a 9783540363774 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 082 | |a 005.1 | ||
| 100 | 1 | |a Mogensen, Torben Æ, |d 1960- | |
| 240 | 1 | 0 | |a Mélanges : |b Jones. |n 1941-.... |
| 245 | 1 | 0 | |a The essence of computation : |b complexity, analysis, transformation : essays dedicated to Neil D. Jones |c [edited by] Torben Æ. Mogensen, David A. Schmidt, I. Hal Sudborough. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 2566 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Computational Complexity -- General Size-Change Termination and Lexicographic Descent -- Comparing Star and Pancake Networks -- Synchronization of Finite Automata: Contributions to an Old Problem -- Lambda Calculi and Linear Speedups -- Program Analysis -- Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software -- Meta-circular Abstract Interpretation in Prolog -- Flow Analysis: Games and Nets -- On Extracting Static Semantics -- Foundations of the Bandera Abstraction Tools -- Types in Program Analysis -- Flow Logic: A Multi-paradigmatic Approach to Static Analysis -- Structure-Preserving Binary Relations for Program Abstraction -- Program Transformation -- Principles of Inverse Computation and the Universal Resolving Algorithm -- A Symmetric Approach to Compilation and Decompilation -- The Abstraction and Instantiation of String-Matching Programs -- WSDFU: Program Transformation System Based on Generalized Partial Computation -- Homeomorphic Embedding for Online Termination of Symbolic Methods -- Simple Driving Techniques -- Demonstrating Lambda Calculus Reduction -- From Type Inference to Configuration. | |
| 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 By presenting state-of-the-art aspects of the theory of computation, this book commemorates the 60th birthday of Neil D. Jones, whose scientific career parallels the evolution of computation theory itself. The 20 reviewed research papers presented together with a brief survey of the work of Neil D. Jones were written by scientists who have worked with him, in the roles of student, colleague, and, in one case, mentor. In accordance with the Festschrift's subtitle, the papers are organized in parts on computational complexity, program analysis, and program transformation. | ||
| 650 | |a Génie logiciel | ||
| 650 | |a Informatique | ||
| 650 | |a Ordinateurs | ||
| 650 | |a Complexité de calcul (informatique) | ||
| 650 | |a Mélanges et hommages | ||
| 700 | 1 | |a Sudborough, Hal I. |4 pbd | |
| 700 | 1 | |a Schmidt, David A, |d 1953- |4 pbd | |
| 776 | 0 | |0 070198683 |t The essence of computation |o complexity, analysis, transformation |o essays dedicated to Neil D. Jones |f Torben Æ. Mogensen, David A. Schmidt, I. Hal Sudborough (eds.) |c Berlin |n Springer |d 2002 |p 1 vol. (XIV-471 p.) |s Lecture notes in computer science |z 3-540-00326-6 | |
| 776 | 0 | |t The Essence of Computation |b Texte imprimé |z 9783662177518 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-36377-7 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-D0K5PTQJ-V |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:748059059 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-36377-7 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:751510556 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-36377-7 |z Accès INSA CVL | |
| 997 | |0 948632 |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/ | ||