Implementation of Functional Languages: 10th International Workshop, IFL'98, London, UK, September 9-11, 1998, Selected PapersKevin Hammond, Tony Davie, Chris Clack Springer, 31.07.2003 - 254 Seiten This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on the Implementation of Functional Languages, IFL'98, held in London, UK, in September 1998. The 15 revised full papers presented were carefully selected during two rounds of reviewing. The volume covers a wide range of topics including parallel process organization, parallel profiling, compilation and semantics of parallel systems, programming methodology, interrupt handling, strictness analysis, concurrency and message passing, and inter-language working. |
Inhalt
1 | |
An Interactive Approach to Profiling Parallel Functional Programs | 20 |
Shared Memory Multiprocessor Support for SAC | 38 |
Towards an Operational Semantics for a Parallel Nonstrict Functional Language | 54 |
Concurrent Monadic Interfacing | 72 |
A Strategic Profiler for Glasgow Parallel Haskell | 88 |
Dreams Become Reality | 103 |
Efficient Combinator Parsers | 120 |
Higher Order Demand Propagation | 153 |
Dynamic Types and Type Dependent Functions | 169 |
An Implementation of Resumable BlackHoles | 186 |
Towards a HaskellJava Connection | 200 |
Effects of WithLoopFolding on the NAS Benchmark MG in Sac | 216 |
Explicit Message Passing for Concurrent Clean | 229 |
246 | |
On the Unification of Substitutions in Type Inference | 137 |
Andere Ausgaben - Alle anzeigen
Implementation of Functional Languages: 10th International Workshop, IFL'98 ... Kevin Hammond,Tony Davie,Chris Clack Eingeschränkte Leseprobe - 1999 |
Implementation of Functional Languages: 10th International Workshop, IFL'98 ... Kevin Hammond,Tony Davie,Chris Clack Keine Leseprobe verfügbar - 1999 |
Implementation of Functional Languages: 10th International Workshop, IFL'98 ... Kevin Hammond,Tony Davie,Chris Clack Keine Leseprobe verfügbar - 1999 |
Häufige Begriffe und Wortgruppen
abstract machine Act t s a application argument benchmark block node channel communication compiler components Computer Science Concurrent Concurrent Clean Concurrent Haskell created defined definition dynamic typing Efail elements evaluation evaluation strategies example execution expr expression foreign function interface fudgets Functional Languages Functional Programming Glasgow Haskell compiler GranSim GranSim-SP graph grid Hammond Haskell heap implementation inference algorithm inport input interface Java Java platform LNCS lookup message passing native code openFile operational semantics or-combinator outports parser combinators pattern variables per-thread polymorphic Proc processor Programming Languages query recursive referential transparency relax result resumable black-hole runtime system s r t S.L. Peyton Jones Sect semantics sequential specification Springer-Verlag stack strategies strictness substate substitutions thunk token tool TState type inference type pattern variables type system type variables update list WHNF with-loop-folding With-loops