Published by Springer Berlin Heidelberg, 2003
ISBN 10: 3540401326 ISBN 13: 9783540401322
Language: English
Seller: Buchpark, Trebbin, Germany
£ 26.01
Convert currencyQuantity: 1 available
Add to basketCondition: Gut. Zustand: Gut | Seiten: 224 | Sprache: Englisch | Produktart: Bücher.
Published by Cambridge University Press, 2003
ISBN 10: 0521826144 ISBN 13: 9780521826143
Language: English
Seller: Phatpocket Limited, Waltham Abbey, HERTS, United Kingdom
Condition: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.
Published by Cambridge University Press, 2003
ISBN 10: 0521826144 ISBN 13: 9780521826143
Language: English
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
£ 42.67
Convert currencyQuantity: 1 available
Add to basketCondition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
Published by Cambridge University Press, 2003
ISBN 10: 0521826144 ISBN 13: 9780521826143
Language: English
Seller: Basi6 International, Irving, TX, U.S.A.
£ 42.67
Convert currencyQuantity: 5 available
Add to basketCondition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Seller: Chiron Media, Wallingford, United Kingdom
PF. Condition: New.
£ 43.87
Convert currencyQuantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
Published by Cambridge University Press (edition ), 2003
ISBN 10: 0521826144 ISBN 13: 9780521826143
Language: English
Seller: BooksRun, Philadelphia, PA, U.S.A.
£ 43.75
Convert currencyQuantity: 1 available
Add to basketHardcover. Condition: Good. Ship within 24hrs. Satisfaction 100% guaranteed. APO/FPO addresses supported.
£ 47.53
Convert currencyQuantity: Over 20 available
Add to basketCondition: New.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
£ 50.82
Convert currencyQuantity: Over 20 available
Add to basketCondition: New. In.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
£ 50.81
Convert currencyQuantity: Over 20 available
Add to basketCondition: New.
£ 41.31
Convert currencyQuantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
Seller: AHA-BUCH GmbH, Einbeck, Germany
£ 46.44
Convert currencyQuantity: 1 available
Add to basketTaschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Published by Springer Berlin Heidelberg, 2003
ISBN 10: 3540401326 ISBN 13: 9783540401322
Language: English
Seller: AHA-BUCH GmbH, Einbeck, Germany
£ 46.44
Convert currencyQuantity: 1 available
Add to basketTaschenbuch. Condition: 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.
Published by Arts Council of Great Britain, Arts Council of Great Britain / Hayward Gallery London, 1983
ISBN 10: 0728703815 ISBN 13: 9780728703810
Language: English
Seller: David Bunnett Books, London, United Kingdom
First Edition
SOFTCOVER. Condition: As New. 1st Edition. Landscape 4to in colour printed stiff glossy card covers, 187pp, colour plates, numerous illustrations in text, etc . [CONDITION: An extremely well preserved AS NEW unread and unmarked copy (hint of tanning to leaves). An excellent copy ] . __To see more of our Art Monographs etc type DBBARTIST in the Keywords search box . . We always ship in STRONG PROTECTIVE CARD PARCELS.
£ 45.98
Convert currencyQuantity: Over 20 available
Add to basketCondition: New.
Seller: GreatBookPrices, Columbia, MD, U.S.A.
£ 46.27
Convert currencyQuantity: Over 20 available
Add to basketCondition: New.
Seller: Revaluation Books, Exeter, United Kingdom
Paperback. Condition: Brand New. 296 pages. 9.61x6.69x0.67 inches. In Stock.
£ 69.38
Convert currencyQuantity: 4 available
Add to basketCondition: New. pp. 296.
Published by Prentice Hall, Englewood Cliffs, NJ, 1987
ISBN 10: 013453333X ISBN 13: 9780134533339
Language: English
Seller: Twice Sold Tales, Capitol Hill, Seattle, WA, U.S.A.
First Edition
£ 49.71
Convert currencyQuantity: 1 available
Add to basketHardcover, 445 pages. Condition: Very good. Minor wear, soiling, and age toning to pictorial boards, corners slightly bumped. Light soiling to text block edges. Faint penciling to front free endpaper, rest of pages appear free of writing / highlighting.
Published by Springer Berlin Heidelberg, Springer Berlin Heidelberg Mai 2003, 2003
ISBN 10: 3540401326 ISBN 13: 9783540401322
Language: English
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
£ 46.44
Convert currencyQuantity: 2 available
Add to basketTaschenbuch. Condition: Neu. Neuware -MatthiasFelleisenexplainshowtodevelopinteractiveWebprogramsinfu- tional Scheme with continuations, using DrScheme and its built-in Web server. 224 pp. Englisch.
Published by Springer Berlin Heidelberg, 2003
ISBN 10: 3540401326 ISBN 13: 9783540401322
Language: English
Seller: moluna, Greven, Germany
£ 55.64
Convert currencyQuantity: Over 20 available
Add to basketCondition: New. 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.
£ 55.64
Convert currencyQuantity: Over 20 available
Add to basketCondition: 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.- .
Seller: Chiron Media, Wallingford, United Kingdom
PF. Condition: New.
Published by Cambridge University Press, 2003
ISBN 10: 0521826144 ISBN 13: 9780521826143
Language: English
Seller: Mispah books, Redhill, SURRE, United Kingdom
Hardcover. Condition: Like New. Like New. book.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
£ 83.59
Convert currencyQuantity: Over 20 available
Add to basketCondition: New. In.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
£ 90.99
Convert currencyQuantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
Seller: Mispah books, Redhill, SURRE, United Kingdom
Paperback. Condition: Like New. Like New. book.
Seller: dsmbooks, Liverpool, United Kingdom
Paperback. Condition: Like New. Like New. book.
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
£ 45.24
Convert currencyQuantity: Over 20 available
Add to basketCondition: New.
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
£ 45.54
Convert currencyQuantity: Over 20 available
Add to basketCondition: New.