|
|
|
|
| LEADER |
03790nam a2200565 4500 |
| 001 |
978-3-540-48515-5 |
| 003 |
DE-He213 |
| 005 |
20191023192352.0 |
| 007 |
cr nn 008mamaa |
| 008 |
121227s1999 gw | s |||| 0|eng d |
| 020 |
|
|
|a 9783540485155
|9 978-3-540-48515-5
|
| 024 |
7 |
|
|a 10.1007/3-540-48515-5
|2 doi
|
| 040 |
|
|
|d GrThAP
|
| 050 |
|
4 |
|a QA76.7-76.73
|
| 050 |
|
4 |
|a QA76.76.C65
|
| 072 |
|
7 |
|a UMX
|2 bicssc
|
| 072 |
|
7 |
|a COM051010
|2 bisacsh
|
| 072 |
|
7 |
|a UMX
|2 thema
|
| 072 |
|
7 |
|a UMC
|2 thema
|
| 082 |
0 |
4 |
|a 005.13
|2 23
|
| 245 |
1 |
0 |
|a Implementation of Functional Languages
|h [electronic resource] :
|b 10th International Workshop, IFL'98, London, UK, September 9-11, 1998, Selected Papers /
|c edited by Kevin Hammond, Tony Davie, Chris Clack.
|
| 250 |
|
|
|a 1st ed. 1999.
|
| 264 |
|
1 |
|a Berlin, Heidelberg :
|b Springer Berlin Heidelberg :
|b Imprint: Springer,
|c 1999.
|
| 300 |
|
|
|a X, 254 p.
|b online resource.
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a computer
|b c
|2 rdamedia
|
| 338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
| 347 |
|
|
|a text file
|b PDF
|2 rda
|
| 490 |
1 |
|
|a Lecture Notes in Computer Science,
|x 0302-9743 ;
|v 1595
|
| 505 |
0 |
|
|a 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.
|
| 520 |
|
|
|a 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.
|
| 650 |
|
0 |
|a Programming languages (Electronic computers).
|
| 650 |
|
0 |
|a Computer programming.
|
| 650 |
|
0 |
|a Computer logic.
|
| 650 |
1 |
4 |
|a Programming Languages, Compilers, Interpreters.
|0 http://scigraph.springernature.com/things/product-market-codes/I14037
|
| 650 |
2 |
4 |
|a Programming Techniques.
|0 http://scigraph.springernature.com/things/product-market-codes/I14010
|
| 650 |
2 |
4 |
|a Logics and Meanings of Programs.
|0 http://scigraph.springernature.com/things/product-market-codes/I1603X
|
| 700 |
1 |
|
|a Hammond, Kevin.
|e editor.
|4 edt
|4 http://id.loc.gov/vocabulary/relators/edt
|
| 700 |
1 |
|
|a Davie, Tony.
|e editor.
|4 edt
|4 http://id.loc.gov/vocabulary/relators/edt
|
| 700 |
1 |
|
|a Clack, Chris.
|e editor.
|4 edt
|4 http://id.loc.gov/vocabulary/relators/edt
|
| 710 |
2 |
|
|a SpringerLink (Online service)
|
| 773 |
0 |
|
|t Springer eBooks
|
| 776 |
0 |
8 |
|i Printed edition:
|z 9783662188262
|
| 776 |
0 |
8 |
|i Printed edition:
|z 9783540662297
|
| 830 |
|
0 |
|a Lecture Notes in Computer Science,
|x 0302-9743 ;
|v 1595
|
| 856 |
4 |
0 |
|u https://doi.org/10.1007/3-540-48515-5
|z Full Text via HEAL-Link
|
| 912 |
|
|
|a ZDB-2-SCS
|
| 912 |
|
|
|a ZDB-2-LNC
|
| 912 |
|
|
|a ZDB-2-BAE
|
| 950 |
|
|
|a Computer Science (Springer-11645)
|
