000 03345nam a22005415i 4500
001 978-3-540-48515-5
003 DE-He213
005 20160624102035.0
007 cr nn 008mamaa
008 121227s1999 gw | s |||| 0|eng d
020 _a9783540485155
_9978-3-540-48515-5
024 7 _a10.1007/3-540-48515-5
_2doi
050 4 _aQA76.7-76.73
050 4 _aQA76.76.C65
072 7 _aUMX
_2bicssc
072 7 _aUMC
_2bicssc
072 7 _aCOM051010
_2bisacsh
072 7 _aCOM010000
_2bisacsh
082 0 4 _a005.13
_223
245 1 0 _aImplementation of Functional Languages
_h[electronic resource] :
_b10th International Workshop, IFL’98 London, UK, September 9–11, 1998 Selected Papers /
_cedited by Kevin Hammond, Tony Davie, Chris Clack.
260 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c1999.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c1999.
300 _aX, 254 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v1595
505 0 _aPerformance 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.
520 _aThis 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.
650 0 _aComputer science.
650 0 _aLogic design.
650 1 4 _aComputer Science.
650 2 4 _aProgramming Languages, Compilers, Interpreters.
650 2 4 _aProgramming Techniques.
650 2 4 _aLogics and Meanings of Programs.
700 1 _aHammond, Kevin.
_eeditor.
700 1 _aDavie, Tony.
_eeditor.
700 1 _aClack, Chris.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783540662297
786 _dSpringer
830 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v1595
856 4 0 _uhttp://dx.doi.org/10.1007/3-540-48515-5
942 _2EBK6505
_cEBK
999 _c35799
_d35799