000 03164nam a22005535i 4500
001 978-3-540-45361-1
003 DE-He213
005 20240423132540.0
007 cr nn 008mamaa
008 121227s2001 gw | s |||| 0|eng d
020 _a9783540453611
_9978-3-540-45361-1
024 7 _a10.1007/3-540-45361-X
_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 of Functional Languages
_h[electronic resource] :
_b12th International Workshop, IFL 2000 Aachen, Germany, September 4-7, 2000. Selected Papers /
_cedited by Markus Mohnen, Pieter Koopman.
250 _a1st ed. 2001.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2001.
300 _aVIII, 272 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,
_x1611-3349 ;
_v2011
505 0 _aNon-determinism Analysis in a Parallel-Functional Language -- Exploiting Implicit Parallelism in Functional Programs with SLAM -- Verifying Generic Erlang Client—Server Implementations -- The Design and Implementation of Glasgow Distributed Haskell -- Implementation Skeletons in Eden: Low-Effort Parallel Programming -- ObjectCurry:An Object-Oriented Extension of the Declarative Multi-Paradigm Language Curry -- Distributed Programming in Haskell with Ports -- The Dynamic Properties of Hume: A Functionally-Based Concurrent Language with Bounded Time and Space Behaviour -- A Usage Analysis with Bounded Usage Polymorphism and Subtyping -- Polygonizing Implicit Surfaces in a Purely Functional Way -- Freja, Hat and Hood - A Comparative Evaluation of Three Systems for Tracing and Debugging Lazy Functional Programs -- Porting the Clean Object I/O Library to Haskell -- Organizing Speculative Computations in Functional Systems -- Improving Cache Effectiveness through Array Data Layout Manipulation in SAC -- The Collective Semantics in Functional SPMD Programming.
650 0 _aCompilers (Computer programs).
650 0 _aComputer programming.
650 0 _aComputer science.
650 1 4 _aCompilers and Interpreters.
650 2 4 _aProgramming Techniques.
650 2 4 _aComputer Science Logic and Foundations of Programming.
700 1 _aMohnen, Markus.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aKoopman, Pieter.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
710 2 _aSpringerLink (Online service)
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783540419198
776 0 8 _iPrinted edition:
_z9783662203064
830 0 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v2011
856 4 0 _uhttps://doi.org/10.1007/3-540-45361-X
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
912 _aZDB-2-BAE
942 _cSPRINGER
999 _c189002
_d189002