Sprache: Englisch
Verlag: Springer Berlin / Heidelberg, 1985
ISBN 10: 3540159754 ISBN 13: 9783540159759
Anbieter: Better World Books, Mishawaka, IN, USA
Zustand: Very Good. 1985th 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.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 38,29
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Sprache: Englisch
Verlag: Springer Berlin / Heidelberg, 1987
ISBN 10: 3540183175 ISBN 13: 9783540183174
Anbieter: Better World Books, Mishawaka, IN, USA
Zustand: Good. 1987th Edition. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 57,67
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 60,09
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 60,09
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 1985
ISBN 10: 3540159754 ISBN 13: 9783540159759
Anbieter: moluna, Greven, Deutschland
EUR 48,37
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Sprache: Englisch
Verlag: Springer Berlin / Heidelberg, 1991
ISBN 10: 3540543961 ISBN 13: 9783540543961
Anbieter: Better World Books, Mishawaka, IN, USA
Zustand: 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.
Sprache: Englisch
Verlag: Cambridge University Press, 1999
ISBN 10: 0521621127 ISBN 13: 9780521621120
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 102,48
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: 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.
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: 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.
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: 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.
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: 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.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 114,57
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Sprache: Englisch
Verlag: Cambridge University Press, 1999
ISBN 10: 0521621127 ISBN 13: 9780521621120
Anbieter: Kennys Bookstore, Olney, MD, USA
EUR 146,49
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: 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.
Verlag: Springer 1985, 1985
Anbieter: Andere Welten Medienvertriebs GmbH, Ahrensburg, SH, Deutschland
Softcover Sehr gut erhalten.
Hardcover. Zustand: Good. First edition, first printing. Hardcover. Orange and white boards. Clean pages.
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: 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. Zustand: 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.