Implementation and Application of Functional Languages: 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007 Revised Selected Papers: Lecture Notes in Computer Science, cartea 5083
Editat de Olaf Chitilen Limba Engleză Paperback – 25 aug 2008
Din seria Lecture Notes in Computer Science
- 20% Preț: 1005.39 lei
- 20% Preț: 322.44 lei
- 20% Preț: 324.00 lei
- 20% Preț: 315.19 lei
- 20% Preț: 238.01 lei
- 20% Preț: 554.98 lei
- 20% Preț: 322.44 lei
- 20% Preț: 438.69 lei
- 20% Preț: 325.58 lei
- 20% Preț: 148.66 lei
- 20% Preț: 310.26 lei
- 20% Preț: 256.27 lei
- 20% Preț: 1339.86 lei
- 20% Preț: 782.28 lei
- 17% Preț: 360.19 lei
- 20% Preț: 620.45 lei
- 20% Preț: 307.71 lei
- 20% Preț: 550.29 lei
- 20% Preț: 560.32 lei
- 20% Preț: 319.32 lei
- 15% Preț: 549.86 lei
- 20% Preț: 607.39 lei
- 20% Preț: 538.29 lei
- 20% Preț: 548.74 lei
- 20% Preț: 172.69 lei
- 20% Preț: 611.22 lei
- 20% Preț: 970.25 lei
- 20% Preț: 315.78 lei
- 20% Preț: 315.78 lei
- 20% Preț: 722.90 lei
- 20% Preț: 722.90 lei
- 20% Preț: 301.95 lei
- 20% Preț: 504.57 lei
- 20% Preț: 1120.51 lei
- 20% Preț: 369.12 lei
- 20% Preț: 334.94 lei
- 20% Preț: 552.64 lei
- Preț: 389.31 lei
- 20% Preț: 564.99 lei
- 20% Preț: 724.49 lei
- 20% Preț: 552.64 lei
- 20% Preț: 1018.35 lei
- 20% Preț: 331.82 lei
- 20% Preț: 309.90 lei
- 20% Preț: 122.89 lei
Preț: 552.64 lei
Preț vechi: 690.80 lei
-20% Nou
Puncte Express: 829
Preț estimativ în valută:
105.83€ • 114.47$ • 88.18£
105.83€ • 114.47$ • 88.18£
Carte disponibilă
Livrare economică 20 noiembrie-04 decembrie
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783540853725
ISBN-10: 3540853723
Pagini: 283
Ilustrații: X, 275 p.
Dimensiuni: 155 x 235 x 18 mm
Greutate: 0.43 kg
Ediția:2008
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Theoretical Computer Science and General Issues
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540853723
Pagini: 283
Ilustrații: X, 275 p.
Dimensiuni: 155 x 235 x 18 mm
Greutate: 0.43 kg
Ediția:2008
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Theoretical Computer Science and General Issues
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
Graph Parser Combinators.- Testing Erlang Refactorings with QuickCheck.- Optimal Lambda Lifting in Quadratic Time.- The Structure of the Essential Haskell Compiler, or Coping with Compiler Complexity.- XHaskell – Adding Regular Expression Types to Haskell.- Partial Parsing: Combining Choice with Commitment.- Lazy Contract Checking for Immutable Data Structures.- The Reduceron: Widening the von Neumann Bottleneck for Graph Reduction Using an FPGA.- A Supercompiler for Core Haskell.- Checking Dependent Types Using Compiled Code.- Debugging Lazy Functional Programs by Asking the Oracle.- Uniqueness Typing Simplified.- Tabular Expressions and Total Functional Programming.- Speculative Inlining of Predefined Procedures in an R5RS Scheme to C Compiler.- From Contracts Towards Dependent Types: Proofs by Partial Evaluation.
Textul de pe ultima copertă
This book constitutes the thoroughly refereed post-proceedings of the 19th International Workshop on Implementation and Applications of Functional Languages, IFL 2007, held in Freiburg, Germany in September 2007.
The 15 revised full papers presented went through two rounds of reviewing and improvement and were selected from 33 submissions. The papers address all current theoretical and methodological issues on functional and function-based languages such as type checking, contract checking, compilation, parallelism, development and debugging, data structures, parsing as well as various performance related concepts.
The 15 revised full papers presented went through two rounds of reviewing and improvement and were selected from 33 submissions. The papers address all current theoretical and methodological issues on functional and function-based languages such as type checking, contract checking, compilation, parallelism, development and debugging, data structures, parsing as well as various performance related concepts.