Order Total (1 Item Items):
Shipping Destination:
Danvy (57 results)
Author:
danvy
Refine with Advanced Search
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (57)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (42)
- As New, Fine or Near Fine (10)
- Very Good or Good (5)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (29)
- Not Print on Demand (38)
Language (2)
Free Shipping
Seller Location
Seller Rating
-
Programs as Data Objects: Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001, Proceedings (Lecture Notes in Computer Science)
Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Seller rating 5 out of 5 stars
Condition: Very Good. *Price HAS BEEN REDUCED by 10% until Monday, May 11 (SALE item)* 279 pp., Paperback, faint hand stamp to front cover else text clean & binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
-
Partial Evaluation : International Seminar, Dagstuhl Castle, Germany, February 12 - 16, 1996. Selected Papers
Language: English
Published by Springer Berlin / Heidelberg, 1996
ISBN 10: 3540615806 ISBN 13: 9783540615804
Condition: Good. 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.
-
Partial Evaluation : International Seminar, Dagstuhl Castle, Germany, February 12 - 16, 1996. Selected Papers
Language: English
Published by Springer Berlin / Heidelberg, 1996
ISBN 10: 3540615806 ISBN 13: 9783540615804
Seller: Better World Books Ltd, Dunfermline, United Kingdom
Seller rating 5 out of 5 stars
Condition: Good. 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.
-
-
Paperback or Softback. Condition: New. Formal Modeling: Actors; Open Systems, Biological Systems: Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday. Book.
-
Condition: As New. Unread book in perfect condition.
-
Formal Modeling: Actors; Open Systems, Biological Systems: Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday (Lecture Notes in Computer Science, 7000)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 70.81
US$ 16.33 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Partial Evaluation: International Seminar, Dagstuhl Castle, Germany, February 12 - 16, 1996. Selected Papers (Lecture Notes in Computer Science, 1110)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 70.81
US$ 16.33 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Programs as Data Objects: Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001, Proceedings (Lecture Notes in Computer Science, 2053)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 70.81
US$ 16.33 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
US$ 67.21
US$ 21.12 shipping
Ships from United Kingdom to U.S.A.Quantity: 10 available
Add to basketPF. Condition: New.
-
US$ 67.29
US$ 21.12 shipping
Ships from United Kingdom to U.S.A.Quantity: 10 available
Add to basketPF. Condition: New.
-
US$ 67.36
US$ 21.12 shipping
Ships from United Kingdom to U.S.A.Quantity: 10 available
Add to basketPaperback. Condition: New.
-
Programs As Data Objects : Second Symposium, Pado 2001, Arhus, Denmark, May 21-23, 2001: Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 70.77
US$ 20.45 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
-
![Stock image for Automatic Program Development: A Tribute to Robert Paige [Hardcover] [Jan 08, 2008] Danvy, Olivier; Henglein, Fritz; Mairson, Harry and Pettorossi, Alberto for sale by Hay-on-Wye Booksellers](https://pictures.abebooks.com/isbn/9781402065842-us-300.jpg)
Automatic Program Development: A Tribute to Robert Paige [Hardcover] [Jan 08, 2008] Danvy, Olivier; Henglein, Fritz; Mairson, Harry and Pettorossi, Alberto
Seller: Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, United Kingdom
Seller rating 5 out of 5 stars
US$ 56.56
US$ 34.08 shipping
Ships from United Kingdom to U.S.A.Quantity: 1 available
Add to basketCondition: Very Good. Some light marks to the cover. The book is clean and readable throughout, a decent copy.
-
Formal Modeling : Actors; Open Systems, Biological Systems, Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 70.79
US$ 20.45 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Condition: 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.
-
Formal Modeling : Actors; Open Systems, Biological Systems, Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 78.50
US$ 20.45 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
Formal Modeling: Actors; Open Systems, Biological Systems, Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday
Language: English
Published by Springer-Verlag New York Inc, 2011
ISBN 10: 3642249329 ISBN 13: 9783642249327
US$ 95.07
US$ 17.04 shipping
Ships from United Kingdom to U.S.A.Quantity: 2 available
Add to basketPaperback. Condition: Brand New. 2011 edition. 467 pages. 9.50x6.25x1.00 inches. In Stock.
-
Programs As Data Objects : Second Symposium, Pado 2001, Arhus, Denmark, May 21-23, 2001: Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 102.49
US$ 20.45 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
US$ 91.27
US$ 34.08 shipping
Ships from United Kingdom to U.S.A.Quantity: 1 available
Add to basketPaperback. Condition: Like New. Like New. book.
-
Condition: As New. Unread book in perfect condition.
-
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume constitutes the proceedings of the Second Symposium on Programs asDataObjects(PADO-II),heldattheUniversityofAarhus,Denmark,onMay 21 23,2001. PADO-IIwascolocatedwiththeThirdInternationalWorkshopon Implicit Computational Complexity (ICC2001) and the Seventeenth Conference on the Mathematical Foundations of Programming Semantics (MFPS XVII). The rstPADOwasorganizedbyHaraldGanzingerandNeilJones,in1985. This second symposium took place at the occasion of Neil Jones s 60th birthday, andonhiswish,weorganizeditasaresearchevent. Thecallforpaperswas openandelicited30submissionsfrom12countries. Overall,145reviewswere collected,andbasedonthese,theprogramcommitteeselected14papersfor presentation. Withoneexception,eachsubmissionreceivedatleast4reviews. Whererelevant,atranscriptofthe(electronic)PCmeetingwasalsoenclosed. 1 PADO-IIwassponsoredbyBRICS andthe EspritWorkingGroupAPPSEM, and organized in cooperation with the European Association for Programming Languages and Systems (EAPLS) and the Special Interest Group on Progr- ming Languagesof the Association for Computing Machinery (ACM SIGPLAN). We gratefully acknowledge their support. We also extend our thanks to the PC members and external reviewers for theirtimeandthoughts,JanneKrounChristensenandKarenKjĉrMĝllerfor theirorganizationalhelp,the project for hosting our submission web site,andDanielDamianforsettingitupandmaintainingit. February 2001 Olivier Danvy and Andrzej Filinski 1 BasicResearchinComputerScience( brics. dk), fundedbytheDanishNationalResearchFoundation. ConferenceOrganization Conference Co-chairs OliverDanvy,BRICS,UniversityofAarhus,Denmark AndrzejFilinski,BRICS,UniversityofAarhus,Denmark Program Committee TorbenAmtoft BostonUniversity,USA CharlesConsel LaBRI/ENSERB,France CatarinaCoquand ChalmersUniversity,Sweden RadhiaCousot EcolePolytechnique,France OlivierDanvy UniversityofAarhus,Denmark AndrzejFilinski UniversityofAarhus,Denmark YoshihikoFutamura WasedaUniversity,Japan FritzHenglein ITUniversity,Denmark PeterLee CarnegieMellonUniversity,USA Y. AnnieLiu SUNYStonyBrook,USA DaveMacQueen BellLabs,USA JamesS. Royer SyracuseUniversity,USA MortenHeineSĝrensen ITPractice,Denmark CarolynL. Talcott StanfordUniversity,USA JonLWhite CommerceOne,Inc. ,USA Additional Referees ZinoBenaissa,EdoardoS. Biagioni,HowardA. Blair,CraigChambers,Wei- NganChin,LarsR. Clausen,PierreCointe,ThierryCoquand,NielsDamgaard, DanielDamian,DamienDoligez,R emiDouence,R. KentDybvig,PavelEmel- nov,GilbertoFil e,JohnGallagher,RobertoGiacobazzi,RobertGl uck,John Hatcli ,NevinHeintze,ThomasHildebrandt,ZhenjiangHu,DieterHutter, KazuhikoKakehi,JerzyKarczmarczuk,AndyKing,NaokiKobayashi,Zenjiro Konishi,KimG. Larsen,MarioLatendresse,JuliaL. Lawall,MichaelLeuschel, JakobLichtenberg,FrancescoLogozzo,HenningMakholm,JacquesMalenfant, BrianMayoh,AntoineMin e,TorbenĈ. Mogensen,EugenioMoggi,DavidM- niaux,PeterD. Mosses,JoachimNiehren,SusanOlder,AlbertoPettorossi, Franco isPottier,MaurizioProietti,AarneRanta,JakobRehof,JohnReppy, Laurent R eveill`ere,MartinC. Rinard,Kristo erH. Rose,AbhikRoychoudhury, LouisSalvail,Jo aoSaraiva,DavidA. Schmidt,JensPeterSecher,MarioS udholt, S. DoaitseSwierstra,HaraldSĝndergaard,ArnaudVenet,HongweiXi,ZheYang, Kwangkeun Yi. TableofContents InvitedOpeningTalk Program Analysis for Implicit Computational Complexity. . . . . . . . . . . . . . . 1 NeilD. Jones ContributedPapers Deriving Pre-conditions for Array Bound Check Elimination. . . . . . . . . . . . . 2 Wei-NganChin,Siau-ChengKhoo,DanaN. Xu Type Systems for Useless-Variable Elimination. . . . . . . . . . . . . . . . . . . . . . . . . 25 AdamFischbach,JohnHannan Boolean Constraints for Binding-Time Analysis. . . . . . . . . . . . . . . . . . . . . . . . 39 KevinGlynn,PeterJ. Stuckey,MartinSulzmann,HaraldSĝndergaard Constraint Abstractions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63 J orgenGustavsson,JosefSvenningsson Implementing Circularity Using Partial Evaluation. . .
-
Partial Evaluation : International Seminar, Dagstuhl Castle, Germany, February 12 - 16, 1996. Selected Papers
Language: English
Published by Springer Berlin Heidelberg, 1996
ISBN 10: 3540615806 ISBN 13: 9783540615804
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Partial Evaluation has reached a point where theory and techniques have matured, substantial systems have been developed, and realistic applications can benefit from partial evaluation.This book is based on the International Seminar on Partial Evaluation held in Dagstuhl Castle, Germany in February 1996. The 24 strictly refereed full papers included evaluate the progress achieved in the field during the last decade. Also included is a detailed preface by the volume editors and a subject index. All in all, this book competently reports the state of the art and future perspectives in partial evaluation and is thus compulsory reading for anybody interested in the area.
-
Taschenbuch. Condition: Neu. Programs as Data Objects | Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001, Proceedings | Olivier Danvy (u. a.) | Taschenbuch | x | Englisch | 2001 | Springer | EAN 9783540420682 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Automatic Program Development: A Tribute to Robert Paige
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 135.00
US$ 16.33 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Condition: Sehr gut. Zustand: Sehr gut | Seiten: 532 | Sprache: Englisch | Produktart: Bücher | Partial Evaluation has reached a point where theory and techniques have matured, substantial systems have been developed, and realistic applications can benefit from partial evaluation. This book is based on the International Seminar on Partial Evaluation held in Dagstuhl Castle, Germany in February 1996. The 24 strictly refereed full papers included evaluate the progress achieved in the field during the last decade. Also included is a detailed preface by the volume editors and a subject index. All in all, this book competently reports the state of the art and future perspectives in partial evaluation and is thus compulsory reading for anybody interested in the area.
-
Automatic Program Development: A Tribute to Robert Paige
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 154.99
US$ 16.33 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Condition: New. pp. 288.
