LEADER 04671nam  22006375  450 
001 996465787803316
005 20200706050317.0
010   $a3-540-47879-5
024 7 $a10.1007/3-540-18317-5
035   $a(CKB)1000000000230667
035   $a(SSID)ssj0000323364
035   $a(PQKBManifestationID)11243650
035   $a(PQKBTitleCode)TC0000323364
035   $a(PQKBWorkID)10297150
035   $a(PQKB)11389002
035   $a(DE-He213)978-3-540-47879-9
035   $a(PPN)155207512
035   $a(EXLCZ)991000000000230667
100   $a20121227d1987      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aFunctional Programming Languages and Computer Architecture$b[electronic resource] $ePortland, Oregon, USA, September 14-16, 1987. Proceedings /$fedited by Gilles Kahn
205   $a1st ed. 1987.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1987.
215   $a1 online resource (VIII, 472 p.) 
225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v274
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-18317-5 
327   $aControl of parallelism in the Manchester dataflow machine -- The D-RISC?An architecture for use in multiprocessors -- Tim: A simple, lazy abstract machine to execute supercombinators -- The G-machine as a representation of stack semantics -- Categorical multi-combinators -- Evaluating functional programs on the flagship machine -- GRIP ? a high-performance architecture for parallel graph reduction -- Concurrent garbage collection on stock hardware -- Matrix algebra and applicative programming -- Attribute grammars as a functional programming paradigm -- The planar topology of functional programs -- Functional programming with sets -- A theory for natural modelisation and implementation of functions with variable arity -- Pomset interpretations of parallel functional programs -- SIGNAL: A declarative language for synchronous programming of real-time systems -- Controlling the behaviour of functional language systems -- A standard ML compiler -- Performance polymorphism -- Mapping a single-assignment language onto the warp systolic array -- Clean ? A language for functional graph rewriting -- Projections for strictness analysis -- Detecting sharing of partial applications in functional programs -- Finding fixed points in finite lattices -- Evaluation transformers ? A model for the parallel evaluation of functional languages (extended abstract).
330   $aThis volume contains the proceedings of the Third Conference on Functional Programming Languages and Computer Architecture held in Portland, Oregon, September 14-16, 1987. This conference was a successor to two highly successful conferences on the same topics held at Wentworth, New Hampshire, in October 1981 and in Nancy, in September 1985. Papers were solicited on all aspects of functional languages and particularly implementation techniques for functional programming languages and computer architectures to support the efficient execution of functional programs. The contributions collected in this volume show that many issues regarding the implementation of Functional Programming Languages are now far better understood.
410  0$aLecture Notes in Computer Science,$x0302-9743 ;$v274
606   $aArchitecture, Computer
606   $aProgramming languages (Electronic computers)
606   $aComputer programming
606   $aMicroprocessors
606   $aComputer System Implementation$3https://scigraph.springernature.com/ontologies/product-market-codes/I13057
606   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
606   $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010
606   $aProcessor Architectures$3https://scigraph.springernature.com/ontologies/product-market-codes/I13014
615  0$aArchitecture, Computer.
615  0$aProgramming languages (Electronic computers).
615  0$aComputer programming.
615  0$aMicroprocessors.
615 14$aComputer System Implementation.
615 24$aProgramming Languages, Compilers, Interpreters.
615 24$aProgramming Techniques.
615 24$aProcessor Architectures.
676   $a003.3
702   $aKahn$b Gilles$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a996465787803316
996   $aFunctional programming languages and computer architecture$9383025
997   $aUNISA