Seller: Ria Christie Collections, Uxbridge, United Kingdom
£ 32.37
Quantity: Over 20 available
Add to basketCondition: New. In.
Paperback. Condition: New.
Condition: As New. Unread book in perfect condition.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
£ 48.75
Quantity: Over 20 available
Add to basketCondition: New. In.
Seller: Chiron Media, Wallingford, United Kingdom
PF. Condition: New.
Condition: New.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
£ 50.80
Quantity: Over 20 available
Add to basketCondition: New. In.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
£ 50.80
Quantity: Over 20 available
Add to basketCondition: New. In.
Paperback. Condition: New.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Condition: New.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Condition: As New. Unread book in perfect condition.
Language: English
Published by Springer Berlin / Heidelberg, 1991
ISBN 10: 3540543961 ISBN 13: 9783540543961
Seller: Better World Books, Mishawaka, IN, U.S.A.
Condition: Very Good. 1991st Edition. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
Language: English
Published by Springer Berlin Heidelberg, 1985
ISBN 10: 3540159754 ISBN 13: 9783540159759
Seller: moluna, Greven, Germany
Condition: New.
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.
Condition: New.
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Miranda: A non-strict functional language with polymorphic types.- Data flow graph optimization in if1.- Strictness analysis - a practical approach.- The categorical abstract machine.- High order programming in extended FP.- Secd-m: a virtual machine for applicative programming.- Cobweb - A combinator reduction architecture.- How to replace failure by a list of successes a method for exception handling, backtracking, and pattern matching in lazy functional languages.- Lazy memo-functions.- An architecture for fast data movement in the FFP machine.- An architecture that efficiently updates associative aggregates in applicative programming languages.- Lambda lifting: Transforming programs to recursive equations.- Optimizing almost-tail-recursive prolog programs.- Designing regular array architectures using higher order functions.- $$vmathcal{F}mathcal{P}$$ : An environment for the multi-level specification, analysis, and synthesis of hardware algorithms.- A distributed garbage collection algorithm.- Cyclic reference counting for combinator machines.- Design for a multiprocessing heap with on-board reference counting.- A functional language and modular architecture for scientific computing.- Practical polymorphism.- Program verification in a logical theory of constructions.- Transforming recursive programs for execution on parallel machines.- Compiling pattern matching.- Serial combinators: 'optimal' grains of parallelism.- The G-machine: A fast, graph-reduction evaluator.
Taschenbuch. Condition: Neu. Functional Programming Languages and Computer Architecture | Portland, Oregon, USA, September 14-16, 1987. Proceedings | Gilles Kahn | Taschenbuch | viii | Englisch | 1987 | Springer | EAN 9783540183174 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Language: English
Published by Cambridge University Press, 1999
ISBN 10: 0521621127 ISBN 13: 9780521621120
Seller: California Books, Miami, FL, U.S.A.
Condition: New.
Language: English
Published by Cambridge University Press, 1999
ISBN 10: 0521621127 ISBN 13: 9780521621120
Seller: Ria Christie Collections, Uxbridge, United Kingdom
£ 90.75
Quantity: Over 20 available
Add to basketCondition: New. In.
Seller: preigu, Osnabrück, Germany
Taschenbuch. Condition: Neu. Functional Programming Languages and Computer Architecture | Proceedings, Nancy, France, September 16-19, 1985 | Jean-Pierre Jouannaud | Taschenbuch | viii | Englisch | 1985 | Springer | EAN 9783540159759 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
£ 96.88
Quantity: Over 20 available
Add to basketCondition: New. In.
Language: English
Published by Cambridge University Press, 1998
ISBN 10: 0521621127 ISBN 13: 9780521621120
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Condition: New. First account of the subject by two of its leading exponents. Essentially self-contained. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 408 pages, bibliography, index. BIC Classification: UMX; UYA. Category: (P) Professional & Vocational. Dimension: 228 x 152 x 27. Weight in Grams: 760. . 1998. hardcover. . . . .
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Condition: New.
Published by Springer 1985, 1985
Seller: Andere Welten Medienvertriebs GmbH, Ahrensburg, SH, Germany
Softcover Sehr gut erhalten.
Language: English
Published by Cambridge University Press, 1999
ISBN 10: 0521621127 ISBN 13: 9780521621120
Seller: BennettBooksLtd, Los Angeles, CA, U.S.A.
hardcover. Condition: New. In shrink wrap. Looks like an interesting title!
Language: English
Published by Cambridge University Press, 1999
ISBN 10: 0521621127 ISBN 13: 9780521621120
Seller: Kennys Bookstore, Olney, MD, U.S.A.
Condition: New. First account of the subject by two of its leading exponents. Essentially self-contained. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 408 pages, bibliography, index. BIC Classification: UMX; UYA. Category: (P) Professional & Vocational. Dimension: 228 x 152 x 27. Weight in Grams: 760. . 1998. hardcover. . . . . Books ship from the US and Ireland.
Hardcover. Condition: Good. First edition, first printing. Hardcover. Orange and white boards. Clean pages.
Taschenbuch. Condition: Neu. Functional Programming Languages and Computer Architecture | 5th ACM Conference. Cambridge, MA, USA, August 26-30, 1991 Proceedings | John Hughes | Taschenbuch | viii | Englisch | 1991 | Springer | EAN 9783540543961 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book offers a comprehensive view of the best and thelatest work in functional programming. It is the proceedingsof a major international conference and contains 30 papersselected from 126 submitted. A number of themes emerge. Oneis a growing interest in types: powerful type systems ortype checkers supporting overloading, coercion, dynamictypes, and incremental inference; linear types to optimizestorage, and polymorphic types to optimize semanticanalysis. The hot topic of partial evaluation is wellrepresented: techniques for higher-order binding-timeanalysis, assuring termination of partial evaluation, andimproving the residual programs a partial evaluatorgenerates. The thorny problem of manipulating state infunctional languages is addressed: one paper even arguesthat parallel programs with side-effects can be 'moredeclarative' than purely functional ones. Theoretical workcovers a new model of types based on projectionsparametricity, a connection between strictness analysis andlogic, and a discussion of efficient implementations of thelambda-calculus. The connection with computer architectureand a variety of other topics are also addressed.