000 | 03725nam a22005775i 4500 | ||
---|---|---|---|
001 | 978-3-540-85373-2 | ||
003 | DE-He213 | ||
005 | 20240730192802.0 | ||
007 | cr nn 008mamaa | ||
008 | 100301s2008 gw | s |||| 0|eng d | ||
020 |
_a9783540853732 _9978-3-540-85373-2 |
||
024 | 7 |
_a10.1007/978-3-540-85373-2 _2doi |
|
050 | 4 | _aQA76.76.C65 | |
072 | 7 |
_aUMC _2bicssc |
|
072 | 7 |
_aCOM010000 _2bisacsh |
|
072 | 7 |
_aUMC _2thema |
|
082 | 0 | 4 |
_a005.45 _223 |
245 | 1 | 0 |
_aImplementation and Application of Functional Languages _h[electronic resource] : _b19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007 Revised Selected Papers / _cedited by Olaf Chitil. |
250 | _a1st ed. 2008. | ||
264 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg : _bImprint: Springer, _c2008. |
|
300 |
_aX, 275 p. _bonline resource. |
||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
347 |
_atext file _bPDF _2rda |
||
490 | 1 |
_aTheoretical Computer Science and General Issues, _x2512-2029 ; _v5083 |
|
505 | 0 | _aGraph 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. | |
520 | _aThis 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. | ||
650 | 0 |
_aCompilers (Computer programs). _93350 |
|
650 | 0 |
_aComputer science. _99832 |
|
650 | 0 |
_aComputer programming. _94169 |
|
650 | 0 |
_aElectronic digital computers _xEvaluation. _921495 |
|
650 | 1 | 4 |
_aCompilers and Interpreters. _931853 |
650 | 2 | 4 |
_aTheory of Computation. _9151316 |
650 | 2 | 4 |
_aProgramming Techniques. _9151317 |
650 | 2 | 4 |
_aComputer Science Logic and Foundations of Programming. _942203 |
650 | 2 | 4 |
_aSystem Performance and Evaluation. _932047 |
700 | 1 |
_aChitil, Olaf. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9151318 |
|
710 | 2 |
_aSpringerLink (Online service) _9151319 |
|
773 | 0 | _tSpringer Nature eBook | |
776 | 0 | 8 |
_iPrinted edition: _z9783540853725 |
776 | 0 | 8 |
_iPrinted edition: _z9783540853947 |
830 | 0 |
_aTheoretical Computer Science and General Issues, _x2512-2029 ; _v5083 _9151320 |
|
856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-540-85373-2 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-SXCS | ||
912 | _aZDB-2-LNC | ||
942 | _cELN | ||
999 |
_c94437 _d94437 |