Programs as Data Objects: Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001, Proceedings - Lecture Notes in Computer Science 2053 (Paperback)
  • Programs as Data Objects: Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001, Proceedings - Lecture Notes in Computer Science 2053 (Paperback)
zoom

Programs as Data Objects: Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001, Proceedings - Lecture Notes in Computer Science 2053 (Paperback)

(editor), (editor)
£62.99
Paperback 286 Pages / Published: 25/04/2001
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
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,JanneKrounChristensenandKarenKjaerMollerfor theirorganizationalhelp,the project for hosting our submission web site,andDanielDamianforsettingitupandmaintainingit. February 2001 Olivier Danvy and Andrzej Filinski 1 BasicResearchinComputerScience(www. 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 MortenHeineSorensen 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,TorbenAe. 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,HaraldSondergaard,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...2 5 AdamFischbach,JohnHannan Boolean Constraints for Binding-Time Analysis...39 KevinGlynn,PeterJ. Stuckey,MartinSulzmann,HaraldSondergaard Constraint Abstractions ...63 J..orgenGustavsson,JosefSvenningsson Implementing Circularity Using Partial Evaluation...

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783540420682
Number of pages: 286
Weight: 920 g
Dimensions: 235 x 155 x 15 mm
Edition: 2001 ed.

You may also be interested in...

Data Analysis Using SQL and Excel
Added to basket
Data Modeling Made Simple
Added to basket
PHP and MySQL Web Development
Added to basket
The Elements of Statistical Learning
Added to basket
Big Data For Dummies
Added to basket
NoSQL Distilled
Added to basket
Hadoop - The Definitive Guide 4e
Added to basket
Coding For Kids For Dummies
Added to basket
Agile Data Warehouse Design
Added to basket
Enterprise Data Architecture
Added to basket
VBA For Dummies
Added to basket
Access 2013 All-in-One For Dummies
Added to basket
Learning Spark
Added to basket
£31.99
Paperback
The Data Warehouse Toolkit
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.