Functional Programming Languages and Computer Architecture: Proceedings, Nancy, France, September 16-19, 1985 - Couverture souple

Jouannaud, Jean-Pierre

9783540159759: Functional Programming Languages and Computer Architecture: Proceedings, Nancy, France, September 16-19, 1985

Couverture souple

ISBN 10 : 3540159754 ISBN 13 : 9783540159759

Editeur : Springer, 2008

Afficher les exemplaires de cette �dition comportant l'ISBN

0 D'occasion

7 Neuf

De EUR 61,10

D�tails de l'�dition

�diteur: Springer
Date d'�dition: 2008
Langue: anglais
ISBN 10: 3540159754
ISBN 13: 9783540159759
Reliure: Broch�
Nombre de pages: 424
Coordonn�es du fabricant: Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3,69115 Heidelberg, Germany
Heidelberg
Allemagne

R�sultats de recherche pour Functional Programming Languages and Computer Architecture:...

Image d'archives

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

Jouannaud, Jean-Pierre

Edit� par Springer, 1985

ISBN 10 : 3540159754 ISBN 13 : 9783540159759

Neuf Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Etat : New. In. N� de r�f. du vendeur ria9783540159759_new

Contacter le vendeur

Acheter neuf

EUR 61,10

Exp�dition �EUR 13,99
Exp�dition depuis Royaume-Uni vers Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

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

Jean-Pierre Jouannaud

Edit� par Springer 2008-06-13, 2008

ISBN 10 : 3540159754 ISBN 13 : 9783540159759

Neuf Paperback

Vendeur : Chiron Media, Wallingford, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Paperback. Etat : New. N� de r�f. du vendeur 6666-IUK-9783540159759

Contacter le vendeur

Acheter neuf

EUR 57,56

Exp�dition �EUR 18,09
Exp�dition depuis Royaume-Uni vers Etats-Unis

Quantit� disponible : 10 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Functional Programming Languages and Computer Architecture

Jean-Pierre Jouannaud

Edit� par Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 1985, 1985

ISBN 10 : 3540159754 ISBN 13 : 9783540159759

Neuf Taschenbuch

impression � la demande

Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : 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. N� de r�f. du vendeur 9783540159759

Contacter le vendeur

Acheter neuf

EUR 53,49

Exp�dition �EUR 23
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Functional Programming Languages and Computer Architecture

Jouanaud, Jean Pierre

Edit� par Springer Berlin Heidelberg, 1985

ISBN 10 : 3540159754 ISBN 13 : 9783540159759

Neuf Couverture souple

Vendeur : moluna, Greven, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Etat : New. N� de r�f. du vendeur 4882845

Contacter le vendeur

Acheter neuf

EUR 48,37

Exp�dition �EUR 48,99
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Functional Programming Languages and Computer Architecture

Jean-Pierre Jouannaud

Edit� par Springer, Springer Sep 1985, 1985

ISBN 10 : 3540159754 ISBN 13 : 9783540159759

Neuf Taschenbuch

impression � la demande

Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : 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 KG, Sachsenplatz 4-6, 1201 Wien 424 pp. Englisch. N� de r�f. du vendeur 9783540159759

Contacter le vendeur

Acheter neuf

EUR 53,49

Exp�dition �EUR 60
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Functional Programming Languages and Computer Architecture : Proceedings, Nancy, France, September 16-19, 1985

Jean-Pierre Jouannaud

Edit� par Springer, Springer, 1985

ISBN 10 : 3540159754 ISBN 13 : 9783540159759

Neuf Taschenbuch

Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : 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. N� de r�f. du vendeur 9783540159759

Contacter le vendeur