Programs as Data Objects Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001, Proceedings
Description
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.
Keywords
ComputersBusiness & Productivity SoftwareProgrammingCompilersComputer ScienceData ScienceDatabase Administration & ManagementInformation TheoryInformation TechnologyLogic DesignLanguagesSoftware Development & EngineeringAlgorithmsLanguage Arts & DisciplinesLibrary & Information ScienceMathematicsDiscrete MathematicsLogicMedical
2001Book
Author(s)Gerhard Goos, Juris Hartmanis, Olivier Danvy
PublisherSpringer Science & Business Media
ISBN9783540420682
LanguageEnglish
