EUR 48,60
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
EUR 57,43
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
EUR 56,40
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
EUR 57,12
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 59,86
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 72,96
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: Chiron Media, Wallingford, Reino Unido
EUR 56,56
Cantidad disponible: 10 disponibles
Añadir al carritoPF. Condición: New.
EUR 72,50
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. pp. 228.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 59,50
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: Revaluation Books, Exeter, Reino Unido
EUR 79,48
Cantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 296 pages. 9.61x6.69x0.67 inches. In Stock.
Publicado por Springer, 1991
Librería: Martinton Book Company, Martinton, IL, Estados Unidos de America
EUR 49,53
Cantidad disponible: 1 disponibles
Añadir al carritoSoftbound. Fine.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 97,85
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: Chiron Media, Wallingford, Reino Unido
EUR 95,78
Cantidad disponible: 10 disponibles
Añadir al carritoPF. Condición: New.
EUR 64,08
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. Lifetime Analysis.- Compiling Laziness by Partial Evaluation.- Strictness Analysis in 4D.- An Algorithmic and Semantic Approach to Debugging.- Abstract Interpretation of Term Graph Rewriting Systems.- Compile-Time Garbage Collection by Necessity Analysis.- .
Idioma: Inglés
Publicado por Cambridge University Press, 2003
ISBN 10: 0521826144 ISBN 13: 9780521826143
Librería: Mispah books, Redhill, SURRE, Reino Unido
EUR 87,84
Cantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 53,49
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the notes of the lectures given at the Fourth Inter- tionalSchoolonAdvanced FunctionalProgramming,heldAugust19 24,2002,at St. Anne s College in Oxford, UK. This School was preceded by earlier ones in B astad (1995, Sweden, LNCS 925),Olympia,WA (1996,USA, LNCS 1129),andBraga(1998,Portugal,LNCS 1608). The goal of this series of schools is to make recent developments in the area of functional programming widely available. The notes are published to enable individuals, small groups of students, and lecturers to study recent work in the rapidly developing area of functional programming. ThelecturesinthisSchoolintroducetools,languagefeatures,domain-speci c languages, problem domains, or programming methods. All lectures are - companied by software, and all lectures contain exercises and practical assi- ments. Most of the resources can be downloaded via the website of the School: TheLectures Richard Bird and Jeremy Gibbons show how to construct a program for ari- meticcoding.Theyusethetheoryoffoldsandunfoldstodevelopbothaprogram forarithmeticcodinganddecoding,andaproofofcorrectness.Theelegantresult shows that using theory can make a di cult proof digestible. Manuel Chakravarty and Gabriele Keller tackle the performance problem of Haskell s standard arrays. They introduce an array library with which arr- centric algorithms can be coded elegantly, which has very good performance. Koen Claessen and Colin Runciman show how to use QuickCheck to specify programpropertiesandtotestthesepropertiesonfunctionalprograms,andhow to use Hat to trace computations. The combination of the two tools which can be used to trace computations of unexpected results is a powerful debugging tool. MatthiasFelleisenexplainshowtodevelopinteractiveWebprogramsinfu- tional Scheme with continuations, using DrScheme and its built-in Web server.
Librería: preigu, Osnabrück, Alemania
EUR 50,35
Cantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Advanced Functional Programming | 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures | Johan Jeuring (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2003 | Springer | EAN 9783540401322 | Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 123,44
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Idioma: Inglés
Publicado por CAMBRIDGE UNIVERSITY PRESS, 2003
ISBN 10: 0521826144 ISBN 13: 9780521826143
Librería: UK BOOKS STORE, London, LONDO, Reino Unido
EUR 132,31
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: New. Brand New ! Fast Delivery "International Edition " and ship within 24-48 hours. Deliver by FedEx and Dhl, & Aramex, UPS, & USPS and we do accept APO and PO BOX Addresses. Order can be delivered worldwide within 4-6 Working days .and we do have flat rate for up to 2LB. Extra shipping charges will be requested This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability.
Librería: Buchpark, Trebbin, Alemania
EUR 29,90
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: Gut. Zustand: Gut | Sprache: Englisch | Produktart: Bücher | MatthiasFelleisenexplainshowtodevelopinteractiveWebprogramsinfu- tional Scheme with continuations, using DrScheme and its built-in Web server.
Librería: Mispah books, Redhill, SURRE, Reino Unido
EUR 113,95
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Like New. Like New. book.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 143,57
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Idioma: Inglés
Publicado por Springer, Berlin, Springer London, Springer, 1991
ISBN 10: 3540196676 ISBN 13: 9783540196679
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 79,32
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Neuware - The Third Glasgow Workshop on Functional Programming was held in Ullapool, Scotland, 13-15th August 1990. Members of the functional programming groups at Glasgow and Stirling University attended the workshop together with a small number of invited participants from other universities and industry. The workshop was organised by Kei Davis, Jak Deschner, Kevin Hammond, Carsten Kehler Holst, John Hughes, Graham Hutton, and John Launchbury, all from Glasgow University. We are very grateful for the support of our industrial sponsors: British Telecom, Hewlett Packard, ICL and Software AG. Their financial help made the workshop possible. Thanks to Samson Abramsky, Tony Field, and Paul Kelly, all from Imperial College, for their help in refereeing many of the papers. Glasgow University The Programme Committee: December 1990 Simon Peyton Jones (chairman) Chris Hankin Carsten Kehler Holst John Hughes Graham Hutton Philip Wadler Contents Lifetime Analysis Guy Argo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Compiling Laziness by Partial Evaluation Anders Bondorf . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 Strictness Analysis in 4D Kei Davis and Philip Wadler . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23 An Algorithmic and Semantic Approach to Debugging Cordelia Hall, Kevin Hammond and John O'Donnell . . . . . . . . . . . . . . . . . . . . 44 Abstract Interpretation of Term Graph Rewriting Systems Chris Hankin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54 Compile-Time Garbage Collection by Necessity Analysis Geoff W Hamilton and Simon B. Jones. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66 Improving Full Laziness Carsten Kehler Holst . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71 Towards Binding-Time Improvement for Free Carsen Kehler Holst and John Hughes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83 Towards Relating Forwards and Backwards Analyses John Hughes and John Launchbury . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 101 PERs Generalise Projections for Strictness Analysis Sebastian Hunt . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 114 Functional Programming with Relations Graham Hutton . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Librería: Friends of the Multnomah County Library, Portland, OR, Estados Unidos de America
EUR 154,65
Cantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Good. First edition, first printing. Hardcover. Orange and white boards. Clean pages.
Idioma: Inglés
Publicado por Prentice Hall International UK Ltd, 1997
ISBN 10: 0134533259 ISBN 13: 9780134533254
Librería: Mispah books, Redhill, SURRE, Reino Unido
EUR 218,41
Cantidad disponible: 1 disponibles
Añadir al carritopaperback. Condición: Like New. Like NewLIKE NEW. book.
Librería: Majestic Books, Hounslow, Reino Unido
EUR 70,64
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. Print on Demand pp. 228 Illus.
Idioma: Inglés
Publicado por Springer Berlin Heidelberg Mai 2003, 2003
ISBN 10: 3540401326 ISBN 13: 9783540401322
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
EUR 53,49
Cantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the notes of the lectures given at the Fourth Inter- tionalSchoolonAdvanced FunctionalProgramming,heldAugust19 24,2002,at St. Anne s College in Oxford, UK. This School was preceded by earlier ones in B astad (1995, Sweden, LNCS 925),Olympia,WA (1996,USA, LNCS 1129),andBraga(1998,Portugal,LNCS 1608). The goal of this series of schools is to make recent developments in the area of functional programming widely available. The notes are published to enable individuals, small groups of students, and lecturers to study recent work in the rapidly developing area of functional programming. ThelecturesinthisSchoolintroducetools,languagefeatures,domain-speci c languages, problem domains, or programming methods. All lectures are - companied by software, and all lectures contain exercises and practical assi- ments. Most of the resources can be downloaded via the website of the School: TheLectures Richard Bird and Jeremy Gibbons show how to construct a program for ari- meticcoding.Theyusethetheoryoffoldsandunfoldstodevelopbothaprogram forarithmeticcodinganddecoding,andaproofofcorrectness.Theelegantresult shows that using theory can make a di cult proof digestible. Manuel Chakravarty and Gabriele Keller tackle the performance problem of Haskell s standard arrays. They introduce an array library with which arr- centric algorithms can be coded elegantly, which has very good performance. Koen Claessen and Colin Runciman show how to use QuickCheck to specify programpropertiesandtotestthesepropertiesonfunctionalprograms,and how to use Hat to trace computations. The combination of the two tools which can be used to trace computations of unexpected results is a powerful debugging tool. MatthiasFelleisenexplainshowtodevelopinteractiveWebprogramsinfu- tional Scheme with continuations, using DrScheme and its built-in Web server. 224 pp. Englisch.
Librería: Biblios, Frankfurt am main, HESSE, Alemania
EUR 78,25
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. PRINT ON DEMAND pp. 228.
Idioma: Inglés
Publicado por Springer Berlin Heidelberg, 2003
ISBN 10: 3540401326 ISBN 13: 9783540401322
Librería: moluna, Greven, Alemania
EUR 48,37
Cantidad disponible: Más de 20 disponibles
Añadir al carritoKartoniert / Broschiert. Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Arithmetic Coding with Folds and Unfolds.- An Approach to Fast Arrays in Haskell.- Testing and Tracing Lazy Functional Programs Using QuickCheck and Hat.- Developing Interactive Web Programs.- JoCaml: A Language for Concurrent Distributed and Mobile Program.
Idioma: Inglés
Publicado por Springer, Springer Mai 2003, 2003
ISBN 10: 3540401326 ISBN 13: 9783540401322
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
EUR 53,49
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Arithmetic Coding with Folds and Unfolds.- An Approach to Fast Arrays in Haskell.- Testing and Tracing Lazy Functional Programs Using QuickCheck and Hat.- Developing Interactive Web Programs.- JoCaml: A Language for Concurrent Distributed and Mobile Programming.- Arrows, Robots, and Functional Reactive Programming.- XQuery: A Typed Functional Language for Querying XML.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 224 pp. Englisch.