top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Implementation of functional languages : 10th International Workshop, IFL'98 London, UK, September 9-11, 1998 : selected papers / / Kevin Hammond, Tony Davie, Chris Clark, editors
Implementation of functional languages : 10th International Workshop, IFL'98 London, UK, September 9-11, 1998 : selected papers / / Kevin Hammond, Tony Davie, Chris Clark, editors
Edizione [1st ed. 1999.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer, , [1999]
Descrizione fisica 1 online resource (X, 254 p.)
Disciplina 005.13
Collana Lecture Notes in Computer Science
Soggetto topico Functional programming languages
ISBN 3-540-48515-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Performance Results for an Implementation of the Process Coordination Language K2 -- An Interactive Approach to Profiling Parallel Functional Programs -- Shared Memory Multiprocessor Support for SAC -- Towards an Operational Semantics for a Parallel Non-strict Functional Language -- Concurrent Monadic Interfacing -- A Strategic Profiler for Glasgow Parallel Haskell -- Implementing Eden — or: Dreams Become Reality -- Efficient Combinator Parsers -- On the Unification of Substitutions in Type Inference -- Higher Order Demand Propagation -- Dynamic Types and Type Dependent Functions -- Putting the Spine Back in the Spineless Tagless G-Machine: An Implementation of Resumable Black-Holes -- Towards a Haskell/Java Connection -- A Case Study: Effects of With-Loop-Folding on the NAS Benchmark MG in Sac -- Explicit Message Passing for Concurrent Clean.
Record Nr. UNISA-996465650503316
Berlin, Heidelberg : , : Springer, , [1999]
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Implementation of functional languages : 10th International Workshop, IFL'98 London, UK, September 9-11, 1998 : selected papers / / Kevin Hammond, Tony Davie, Chris Clark, editors
Implementation of functional languages : 10th International Workshop, IFL'98 London, UK, September 9-11, 1998 : selected papers / / Kevin Hammond, Tony Davie, Chris Clark, editors
Edizione [1st ed. 1999.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer, , [1999]
Descrizione fisica 1 online resource (X, 254 p.)
Disciplina 005.13
Collana Lecture Notes in Computer Science
Soggetto topico Functional programming languages
ISBN 3-540-48515-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Performance Results for an Implementation of the Process Coordination Language K2 -- An Interactive Approach to Profiling Parallel Functional Programs -- Shared Memory Multiprocessor Support for SAC -- Towards an Operational Semantics for a Parallel Non-strict Functional Language -- Concurrent Monadic Interfacing -- A Strategic Profiler for Glasgow Parallel Haskell -- Implementing Eden — or: Dreams Become Reality -- Efficient Combinator Parsers -- On the Unification of Substitutions in Type Inference -- Higher Order Demand Propagation -- Dynamic Types and Type Dependent Functions -- Putting the Spine Back in the Spineless Tagless G-Machine: An Implementation of Resumable Black-Holes -- Towards a Haskell/Java Connection -- A Case Study: Effects of With-Loop-Folding on the NAS Benchmark MG in Sac -- Explicit Message Passing for Concurrent Clean.
Record Nr. UNINA-9910143647103321
Berlin, Heidelberg : , : Springer, , [1999]
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Implementation of Functional Languages [[electronic resource] ] : 9th International Workshop, IFL'97, St. Andrews, Scotland, UK, September 10-12, 1997, Selected Papers / / edited by Chris Clack, Kevin Hammond, Tony Davie
Implementation of Functional Languages [[electronic resource] ] : 9th International Workshop, IFL'97, St. Andrews, Scotland, UK, September 10-12, 1997, Selected Papers / / edited by Chris Clack, Kevin Hammond, Tony Davie
Edizione [1st ed. 1998.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998
Descrizione fisica 1 online resource (X, 382 p.)
Disciplina 005.13
Collana Lecture Notes in Computer Science
Soggetto topico Programming languages (Electronic computers)
Computer programming
Computer logic
Programming Languages, Compilers, Interpreters
Programming Techniques
Logics and Meanings of Programs
ISBN 3-540-68528-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto C--: A portable assembly language -- The brisk machine: A simplified STG machine -- A Haskell to Java Virtual Machine code compiler -- Common subexpressions are uncommon in lazy functional languages -- With-loop-folding in Sac-condensing consecutive array operations -- Types for register allocation -- Types for 0, 1 or many uses -- Fully persistent graphs—which one to choose? -- Auburn: A kit for benchmarking functional data structures -- Complete and partial redex trails of functional computations -- Engineering large parallel functional programs -- Parallelising a large functional program or: Keeping LOLITA busy -- Naira: A parallel 2Haskell compiler -- Lazy thread and task creation in parallel graph-reduction -- DREAM: The distributed Eden abstract machine -- Using multicasting for optimising data-parallelism -- Using concurrent Haskell to develop views over an active repository -- Interactive functional objects in Clean -- Programming in the large: The algebraic-functional language Opal 2? -- Context patterns, part II -- A compacting garbage collector for unidirectional heaps.
Record Nr. UNISA-996466141103316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Implementation of Functional Languages [[electronic resource] ] : 9th International Workshop, IFL'97, St. Andrews, Scotland, UK, September 10-12, 1997, Selected Papers / / edited by Chris Clack, Kevin Hammond, Tony Davie
Implementation of Functional Languages [[electronic resource] ] : 9th International Workshop, IFL'97, St. Andrews, Scotland, UK, September 10-12, 1997, Selected Papers / / edited by Chris Clack, Kevin Hammond, Tony Davie
Edizione [1st ed. 1998.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998
Descrizione fisica 1 online resource (X, 382 p.)
Disciplina 005.13
Collana Lecture Notes in Computer Science
Soggetto topico Programming languages (Electronic computers)
Computer programming
Computer logic
Programming Languages, Compilers, Interpreters
Programming Techniques
Logics and Meanings of Programs
ISBN 3-540-68528-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto C--: A portable assembly language -- The brisk machine: A simplified STG machine -- A Haskell to Java Virtual Machine code compiler -- Common subexpressions are uncommon in lazy functional languages -- With-loop-folding in Sac-condensing consecutive array operations -- Types for register allocation -- Types for 0, 1 or many uses -- Fully persistent graphs—which one to choose? -- Auburn: A kit for benchmarking functional data structures -- Complete and partial redex trails of functional computations -- Engineering large parallel functional programs -- Parallelising a large functional program or: Keeping LOLITA busy -- Naira: A parallel 2Haskell compiler -- Lazy thread and task creation in parallel graph-reduction -- DREAM: The distributed Eden abstract machine -- Using multicasting for optimising data-parallelism -- Using concurrent Haskell to develop views over an active repository -- Interactive functional objects in Clean -- Programming in the large: The algebraic-functional language Opal 2? -- Context patterns, part II -- A compacting garbage collector for unidirectional heaps.
Record Nr. UNINA-9910768475303321
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui