Implementation and Application of Functional Languages [[electronic resource] ] : 20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008. Revised Selected Papers / / edited by Sven-Bodo Scholz, Olaf Chitil |
Edizione | [1st ed. 2011.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
Descrizione fisica | 1 online resource (X, 291 p. 84 illus., 5 illus. in color.) |
Disciplina | 005.1015113 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Software engineering Machine theory Compilers (Computer programs) Artificial intelligence Computer programming Computer Science Logic and Foundations of Programming Software Engineering Formal Languages and Automata Theory Compilers and Interpreters Artificial Intelligence Programming Techniques |
ISBN | 3-642-24452-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996466065203316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Implementation and Application of Functional Languages [[electronic resource] ] : 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007 Revised Selected Papers / / edited by Olaf Chitil |
Edizione | [1st ed. 2008.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
Descrizione fisica | 1 online resource (X, 275 p.) |
Disciplina | 005.13 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Compilers (Computer programs)
Computer science Computer programming Electronic digital computers—Evaluation Compilers and Interpreters Theory of Computation Programming Techniques Computer Science Logic and Foundations of Programming System Performance and Evaluation |
ISBN | 3-540-85373-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 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. |
Record Nr. | UNISA-996466240003316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Implementation and Application of Functional Languages : 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007 Revised Selected Papers / / edited by Olaf Chitil |
Edizione | [1st ed. 2008.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
Descrizione fisica | 1 online resource (X, 275 p.) |
Disciplina | 005.13 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Compilers (Computer programs)
Computer science Computer programming Electronic digital computers—Evaluation Compilers and Interpreters Theory of Computation Programming Techniques Computer Science Logic and Foundations of Programming System Performance and Evaluation |
ISBN | 3-540-85373-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 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. |
Record Nr. | UNINA-9910482958603321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|