Functional Programming Languages and Computer Architecture (Record no. 35514)
[ view plain ]
000 -LEADER | |
---|---|
fixed length control field | 03776nam a22004695i 4500 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
ISBN | 9783540478799 |
-- | 978-3-540-47879-9 |
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
Classification number | 005.11 |
245 10 - TITLE STATEMENT | |
Title | Functional Programming Languages and Computer Architecture |
Sub Title | Portland, Oregon, USA, September 14–16, 1987 Proceedings / |
Statement of responsibility, etc | edited by Gilles Kahn. |
260 #1 - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
Place of publication | Berlin, Heidelberg : |
Name of publisher | Springer Berlin Heidelberg, |
Year of publication | 1987. |
300 ## - PHYSICAL DESCRIPTION | |
Number of Pages | VIII, 472 p. |
Other physical details | online resource. |
490 1# - SERIES STATEMENT | |
Series statement | Lecture Notes in Computer Science, |
505 0# - FORMATTED CONTENTS NOTE | |
Formatted contents note | Control 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). |
520 ## - SUMMARY, ETC. | |
Summary, etc | This 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. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Computer science. |
650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Computer Science. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Programming Techniques. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Programming Languages, Compilers, Interpreters. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Processor Architectures. |
700 1# - ADDED ENTRY--PERSONAL NAME | |
Personal name | Kahn, Gilles. |
856 40 - ELECTRONIC LOCATION AND ACCESS | |
Uniform Resource Identifier | http://dx.doi.org/10.1007/3-540-18317-5 |
942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
Koha item type | E-BOOKS |
264 #1 - | |
-- | Berlin, Heidelberg : |
-- | Springer Berlin Heidelberg, |
-- | 1987. |
336 ## - | |
-- | text |
-- | txt |
-- | rdacontent |
337 ## - | |
-- | computer |
-- | c |
-- | rdamedia |
338 ## - | |
-- | online resource |
-- | cr |
-- | rdacarrier |
347 ## - | |
-- | text file |
-- | |
-- | rda |
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
-- | 0302-9743 ; |
Withdrawn status | Lost status | Damaged status | Not for loan | Current library | Accession Number | Uniform Resource Identifier | Koha item type |
---|---|---|---|---|---|---|---|
IMSc Library | EBK6220 | http://dx.doi.org/10.1007/3-540-18317-5 | E-BOOKS |