Functional Programming Languages and Computer Architecture: Proceedings, Nancy, France, September 16-19, 1985 (Lecture Notes in Computer Science, 201)

ISBN 10: 3540159754 ISBN 13: 9783540159759
Editore: Springer, 1985
Nuovi Brossura

Da Ria Christie Collections, Uxbridge, Regno Unito Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Venditore AbeBooks dal 25 marzo 2015

Questo articolo specifico non è più disponibile.

Riguardo questo articolo

Descrizione:

In. Codice articolo ria9783540159759_new

Segnala questo articolo

Contenuti: 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.- $$v\mathcal{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.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Dati bibliografici

Titolo: Functional Programming Languages and ...
Casa editrice: Springer
Data di pubblicazione: 1985
Legatura: Brossura
Condizione: New

I migliori risultati di ricerca su AbeBooks

Foto dell'editore

Jean-Pierre Jouannaud
ISBN 10: 3540159754 ISBN 13: 9783540159759
Antico o usato Softcover

Da: Ammareal, Morangis, Francia

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Softcover. Condizione: Bon. Ancien livre de bibliothèque. Traces d'usure sur la couverture. Edition 1985. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Signs of wear on the cover. Edition 1985. Ammareal gives back up to 15% of this item's net price to charity organizations. Codice articolo D-570-463

Contatta il venditore

Compra usato

EUR 6,99
EUR 20,50 shipping
Spedito da Francia a U.S.A.

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

ISBN 10: 3540159754 ISBN 13: 9783540159759
Antico o usato Brossura

Da: Better World Books Ltd, Dunfermline, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: Good. 1985th Edition. Ships from the UK. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages. Codice articolo GRP98483063

Contatta il venditore

Compra usato

EUR 9,54
EUR 9,11 shipping
Spedito da Regno Unito a U.S.A.

Quantità: 1 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Jouanaud, Jean Pierre
ISBN 10: 3540159754 ISBN 13: 9783540159759
Nuovo Brossura

Da: moluna, Greven, Germania

Valutazione del venditore 4 su 5 stelle 4 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. Codice articolo 4882845

Contatta il venditore

Compra nuovo

EUR 48,37
EUR 48,99 shipping
Spedito da Germania a U.S.A.

Quantità: Più di 20 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Jean-Pierre Jouannaud
Editore: Springer, 1985
ISBN 10: 3540159754 ISBN 13: 9783540159759
Nuovo Taschenbuch

Da: preigu, Osnabrück, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Taschenbuch. Condizione: 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. Codice articolo 102150957

Contatta il venditore

Compra nuovo

EUR 50,35
EUR 70,00 shipping
Spedito da Germania a U.S.A.

Quantità: 5 disponibili

Aggiungi al carrello

Foto dell'editore

Editore: Springer, 1985
ISBN 10: 3540159754 ISBN 13: 9783540159759
Nuovo Brossura

Da: Lucky's Textbooks, Dallas, TX, U.S.A.

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. Codice articolo ABLIING23Mar3113020160830

Contatta il venditore

Compra nuovo

EUR 52,61
EUR 3,40 shipping
Spedito in U.S.A.

Quantità: Più di 20 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Jean-Pierre Jouannaud
ISBN 10: 3540159754 ISBN 13: 9783540159759
Nuovo Taschenbuch
Print on Demand

Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 424 pp. Englisch. Codice articolo 9783540159759

Contatta il venditore

Compra nuovo

EUR 53,49
EUR 23,00 shipping
Spedito da Germania a U.S.A.

Quantità: 2 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Jean-Pierre Jouannaud
ISBN 10: 3540159754 ISBN 13: 9783540159759
Nuovo Taschenbuch

Da: AHA-BUCH GmbH, Einbeck, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Taschenbuch. Condizione: 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. Codice articolo 9783540159759

Contatta il venditore

Compra nuovo

EUR 53,49
EUR 63,20 shipping
Spedito da Germania a U.S.A.

Quantità: 1 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Jean-Pierre Jouannaud
ISBN 10: 3540159754 ISBN 13: 9783540159759
Nuovo Taschenbuch
Print on Demand

Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 424 pp. Englisch. Codice articolo 9783540159759

Contatta il venditore

Compra nuovo

EUR 53,49
EUR 60,00 shipping
Spedito da Germania a U.S.A.

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Jean-Pierre Jouannaud
Editore: Springer 2008-06-13, 2008
ISBN 10: 3540159754 ISBN 13: 9783540159759
Nuovo Paperback

Da: Chiron Media, Wallingford, Regno Unito

Valutazione del venditore 4 su 5 stelle 4 stelle, Maggiori informazioni sulle valutazioni dei venditori

Paperback. Condizione: New. Codice articolo 6666-IUK-9783540159759

Contatta il venditore

Compra nuovo

EUR 56,11
EUR 17,63 shipping
Spedito da Regno Unito a U.S.A.

Quantità: 10 disponibili

Aggiungi al carrello

Foto dell'editore

Editore: Springer, 1985
ISBN 10: 3540159754 ISBN 13: 9783540159759
Nuovo Brossura

Da: Books Puddle, New York, NY, U.S.A.

Valutazione del venditore 4 su 5 stelle 4 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. pp. 424. Codice articolo 263079758

Contatta il venditore

Compra nuovo

EUR 181,81
EUR 3,40 shipping
Spedito in U.S.A.

Quantità: 4 disponibili

Aggiungi al carrello

Vedi altre 2 copie di questo libro

Vedi tutti i risultati per questo libro