Compiler Construction: 20th International Conference, CC 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

318 Pages·2011·4.23 MB·English

by  Martin Odersky (auth.)

Lecture Notes in Computer Science 6601
CommencedPublicationin1973
FoundingandFormerSeriesEditors:
GerhardGoos,JurisHartmanis,andJanvanLeeuwen
EditorialBoard
DavidHutchison,UK TakeoKanade,USA
JosefKittler,UK JonM.Kleinberg,USA
AlfredKobsa,USA FriedemannMattern,Switzerland
JohnC.Mitchell,USA MoniNaor,Israel
OscarNierstrasz,Switzerland C.PanduRangan,India
BernhardSteffen,Germany MadhuSudan,USA
DemetriTerzopoulos,USA DougTygar,USA
GerhardWeikum,Germany
Advanced Research in Computing and Software Science
SublineofLecturesNotesinComputerScience
SublineSeriesEditors
GiorgioAusiello,UniversityofRome‘LaSapienza’,Italy
VladimiroSassone,UniversityofSouthampton,UK
SublineAdvisoryBoard
SusanneAlbers,UniversityofFreiburg,Germany
BenjaminC.Pierce,UniversityofPennsylvania,USA
BernhardSteffen,UniversityofDortmund,Germany
MadhuSudan,MicrosoftResearch,Cambridge,MA,USA
DengXiaotie,CityUniversityofHongKong
JeannetteM.Wing,CarnegieMellonUniversity,Pittsburgh,PA,USA
Jens Knoop (Ed.)
Compiler
Construction
20th International Conference, CC 2011
Held as Part of the Joint European Conferences
on Theory and Practice of Software, ETAPS 2011
Saarbrücken, Germany, March 26–April 3, 2011
Proceedings
1 3
VolumeEditor
JensKnoop
TUVienna
FacultyofInformatics
InstituteofComputerLanguages
Argentinierstr.8/E185.1,1040Vienna,Austria
E-mail:[email protected]
ISSN0302-9743 e-ISSN1611-3349
ISBN978-3-642-19860-1 e-ISBN978-3-642-19861-8
DOI10.1007/978-3-642-19861-8
SpringerHeidelbergDordrechtLondonNewYork
LibraryofCongressControlNumber:2011922832
CRSubjectClassification(1998):D.2,D.3,D.2.4,C.2,D.4,D.1
LNCSSublibrary:SL1–TheoreticalComputerScienceandGeneralIssues
©Springer-VerlagBerlinHeidelberg2011
Thisworkissubjecttocopyright.Allrightsarereserved,whetherthewholeorpartofthematerialis
concerned,specificallytherightsoftranslation,reprinting,re-useofillustrations,recitation,broadcasting,
reproductiononmicrofilmsorinanyotherway,andstorageindatabanks.Duplicationofthispublication
orpartsthereofispermittedonlyundertheprovisionsoftheGermanCopyrightLawofSeptember9,1965,
initscurrentversion,andpermissionforusemustalwaysbeobtainedfromSpringer.Violationsareliable
toprosecutionundertheGermanCopyrightLaw.
Theuseofgeneraldescriptivenames,registerednames,trademarks,etc.inthispublicationdoesnotimply,
evenintheabsenceofaspecificstatement,thatsuchnamesareexemptfromtherelevantprotectivelaws
andregulationsandthereforefreeforgeneraluse.
Typesetting:Camera-readybyauthor,dataconversionbyScientificPublishingServices,Chennai,India
Printedonacid-freepaper
SpringerispartofSpringerScience+BusinessMedia(www.springer.com)
Foreword
ETAPS 2011 was the 14th instance of the European Joint Conferences on The-
ory and Practice of Software. ETAPS is an annual federated conference that
wasestablishedin1998bycombininganumberofexistingandnewconferences.
Thisyearitcomprisedtheusualfivesisterconferences(CC,ESOP,FASE,FOS-
SACS, TACAS), 16 satellite workshops(ACCAT, BYTECODE, COCV, DICE,
FESCA, GaLoP, GT-VMT, HAS, IWIGP, LDTA, PLACES, QAPL, ROCKS,
SVARM,TERMGRAPH,andWGT),oneassociatedevent(TOSCA),andseven
invited lectures (excluding those specific to the satellite events).
The five main conferences received 463 submissions this year (including 26
tool demonstration papers), 130 of which were accepted (2 tool demos), giving
an overall acceptance rate of 28%. Congratulations therefore to all the authors
who made it to the final programme! I hope that most of the other authors
will still have found a way of participating in this exciting event, and that you
will all continue submitting to ETAPS and contributing to make of it the best
conference on software science and engineering.
The events that comprise ETAPS address various aspects of the system de-
velopmentprocess,including specification,design,implementation,analysisand
improvement. The languages, methodologies and tools which support these ac-
tivities are all well within its scope. Different blends of theory and practice
are represented, with an inclination towards theory with a practical motivation
on the one hand and soundly based practice on the other. Many of the issues
involvedin softwaredesignapply to systems in general,including hardwaresys-
tems, and the emphasis on software is not intended to be exclusive.
ETAPS is a confederation in which each event retains its own identity, with
a separate Programme Committee and proceedings. Its format is open-ended,
allowing it to grow and evolve as time goes by. Contributed talks and system
demonstrations are in synchronised parallel sessions, with invited lectures in
plenary sessions. Two of the invited lectures are reserved for ‘unifying’ talks on
topics ofinterestto the wholerangeofETAPSattendees.The aimofcramming
all this activity into a single one-week meeting is to create a strong magnet for
academic and industrial researchers working on topics within its scope, giving
them the opportunity to learn about research in related areas, and thereby to
fosternewandexistinglinksbetweenworkinareasthatwereformerlyaddressed
in separate meetings.
ETAPS2011wasorganisedbytheUniversita¨t des Saarlandes incooperation
with:
(cid:2) European Association for Theoretical Computer Science (EATCS)
(cid:2) European Association for Programming Languages and Systems (EAPLS)
(cid:2) European Association of Software Science and Technology (EASST)
VI Foreword
It also had support from the following sponsors, which we gratefully thank:
DFGDeutsche Forschungsgemeinschaft; AbsIntAngewandteInfor-
matik GmbH; Microsoft Research; Robert Bosch GmbH; IDS Scheer
AG / Software AG; T-Systems Enterprise Services GmbH; IBM Re-
search;gwSaar Gesellschaftfu¨r Wirtschaftsfo¨rderung SaarmbH;
Springer-Verlag GmbH; and Elsevier B.V.
The organising team comprised:
General Chair: Reinhard Wilhelm
Organising Committee:Bernd Finkbeiner, Holger Hermanns (chair),
Reinhard Wilhelm, Stefanie Haupert-Betz,
Christa Scha¨fer
Satellite Events: Bernd Finkbeiner
Website: Herna´n Baro´ Graf
OverallplanningforETAPSconferencesistheresponsibilityofitsSteeringCom-
mittee, whose current membership is:
Vladimiro Sassone (Southampton, Chair), Parosh Abdulla (Uppsala), Gilles
Barthe (IMDEA-Software), Lars Birkedal (Copenhagen), Michael O’Boyle (Ed-
inburgh),GiuseppeCastagna(CNRSParis),MarshaChechik(Toronto),Sophia
Drossopoulou(ImperialCollege London),BerndFinkbeiner (Saarbru¨cken)Cor-
mac Flanagan (Santa Cruz), Dimitra Giannakopoulou (CMU/NASA Ames),
AndrewD.Gordon(MSRCambridge),RajivGupta(UCRiverside),ChrisHan-
kin (Imperial College London), Holger Hermanns (Saarbru¨cken), Mike Hinchey
(Lero,theIrishSoftwareEngineeringResearchCentre),MartinHofmann(LMU
Munich), Joost-Pieter Katoen (Aachen), Paul Klint (Amsterdam), Jens Knoop
(Vienna),BarbaraKo¨nig(Duisburg),ShriramKrishnamurthi(Brown),Juande
Lara (Madrid), Kim Larsen (Aalborg), Rustan Leino (MSR Redmond), Gerald
Luettgen (Bamberg),Rupak Majumdar (Los Angeles),Tiziana Margaria(Pots-
dam),UgoMontanari(Pisa),LukeOng(Oxford),FernandoOrejas(Barcelona),
Catuscia Palamidessi (INRIA Paris), George Papadopoulos (Cyprus), David
Rosenblum (UCL), Don Sannella (Edinburgh), Joa˜o Saraiva (Minho), Helmut
Seidl (TU Munich), Tarmo Uustalu (Tallinn), and Andrea Zisman (London).
I would like to express my sincere gratitude to all of these people and or-
ganisations, the Programme Committee Chairs and members of the ETAPS
conferences, the organisers of the satellite events, the speakers themselves, the
many reviewers, all the participants, and Springer for agreeing to publish the
ETAPS proceedings in the ARCoSS subline.
Finally, I would like to thank the Organising Chair of ETAPS 2011, Holger
Hermanns and his Organising Committee, for arranging for us to have ETAPS
in the most beautiful surroundings of Saarbru¨cken.
January 2011 Vladimiro Sassone
ETAPS SC Chair
Preface
This volume contains the papers presented at CC 2011, the 20th International
Conference on Compiler Construction (CC). This jubilee gives reason to briefly
look back at the origins of the CC conference series. CC originated as a se-
ries of workshops on compiler compiler that has been organized since 1986 by
Gu¨nter Riedewald in the German Democratic Republic. In 1992 the series was
relaunched by Uwe Kastens in Paderborn. The extension of the scope of CC
that was connected with this relaunch was reflected in the new name of the
series: Compiler Construction. In 1994 the workshop on compiler construction
became the conference on compiler construction. It continued being held every
two years until 1998. In 1998 the CC conference federated to ETAPS. Since
thenCCisoneoftheETAPSmember conferencesandisheldeveryyear.These
days, CC is a forum for the presentation and discussion of recent developments
in processing programs in the most general sense: analyzing and transforming
or executing input that describes how a system operates, including traditional
compiler construction as a special case.
CC2011,the20thinstanceoftheInternationalConferenceonCompilerCon-
struction,washeldduring March28-29inSaarbru¨cken,Germany,aspartofthe
14th instance of the European Joint Conferences on Theory and Practice of
Software (ETAPS 2011). The 15 papers in this volume were selected from 52
submissions giving an overall acceptance rate of 28.85%. The Program Com-
mittee (PC) carried out the reviewing and paper selection process completely
electronically,inseveralrounds.Initially,eachpaperwasassignedto threecom-
mittee members for review. Additional reviews were obtained for papers that
were identified during the discussion at the virtual PC meeting in order to help
the committee to decide which papers to finally accept. This way every paper
was reviewed by at least three reviewers, both by committee members and ex-
ternal experts. Moreover, the reviews of most papers were extended by notes
that were taken during the virtual PC meeting. These notes should provide the
authorsofsubmittedpaperswithadditionalfeedbackontheirpapers.Theywere
an anonymous digest of the discussion of the papers and could thus contain the
viewsofseveralreviewersandcommitteemembers.ThevirtualPCmeetingtook
place from November 29 to December 12, 2010. It was extended by two days in
ordertoallowforadetailedandthoroughconsiderationofeverysubmission.By
the end of the meeting, a consensus emerged to accept the 15 papers presented
in this volume.
The invited speaker at CC 2011 was Martin Odersky, whose talk was enti-
tled“Future-ProofingCollections:FromMutable to Persistentto Parallel”.The
abstract of the invited talk opens these proceedings.
VIII Preface
The continued success of the CC conference series for now more than two
decades would not be possible without the help of the CC community. First of
all,Iwouldliketogreatlyacknowledgeandthankalltheauthorswhosubmitted
a paper. Even if your paper was not accepted this time, I would like to express
my appreciation for the time and effort you invested and hope to be able to
welcome you to CC 2011 in Saarbru¨cken all the same. My gratitude also goes
to the PC members and the many external reviewers, who wrote reviews, for
their hard work and their knowledgeable and substantial reports. My special
thanks also go to the developers and supporters of the EasyChair conference
managementsystem,whoseprofessionalandfreeservicewascrucialforhandling
the submission of papers and camera-ready copies and for running the virtual
PCmeeting.Finally,IwouldliketothanktheentireETAPSSteeringCommittee
andthelocalOrganizingCommittee ofETAPS2011,whomadethis year’s20th
jubilee instance of the CC conference series as part of ETAPS 2011 possible.
I hope you will enjoy the papers in these proceedings and that they will be
useful for your future work.
January 2011 Jens Knoop
Conference Organization
Program Chair
Jens Knoop TU Vienna, Austria
Program Committee
Alex Aiken Stanford University, USA
Koen De Bosschere Ghent University, Belgium
Alain Darte CNRS, Laboratoire de l’Informatique du
Parallelisme, Lyon, France
Evelyn Duesterwald IBM T.J. Watson Research Center,
Hawthorne, USA
Sabine Glesner TU Berlin, Germany
Robert Glu¨ck University of Copenhagen, Denmark
David Gregg Trinity College Dublin, Ireland
Sebastian Hack Saarland University, Saarbru¨cken,Germany
Matthias Hauswirth University of Lugano, Switzerland
Christoph Kessler Linko¨ping University, Sweden
Jens Knoop, Chair TU Vienna, Austria
Jens Krinke University College London, UK
Xavier Leroy INRIA, Paris-Rocquencourt,France
Yanhong Annie Liu StateUniversityofNewYorkatStonyBrook,
USA
Kathryn McKinley University of Texas at Austin, USA
Peter Mu¨ller ETH Zurich, Switzerland
Alan Mycroft University of Cambridge, UK
Jens Palsberg University of California, Los Angeles, USA
Markus Schordan UAS Technikum Wien, Austria
Helmut Seidl TU Munich, Germany
Jingling Xue The University of New South Wales, Sydney,
Australia
Reviewers
Denis Barthou Jon Brandvein
Mike Bauer Matthias Braun
Michael Beyer Peter Calvert
Klaas Boesche Poul J. Clementsen
Maximilian Bolingbroke Joel Denny
Florian Brandner Peng Di
X Conference Organization
Tom Dillig Dominic Orchard
Mattias Eriksson Gabriela Ospina
Paul Feautrier Scott Owens
Morten Fjord-Larsen Matthew Parkinson
Thomas G¨othel Fernando Magno Quinta˜o Pereira
Michael Gorbovitski Michael Petter
Bernhard Gramlich Marcel Pockrandt
Daniel Grund J. Ramanujam
Armin Gro¨ßlinger Charlie Reams
Philipp Haller Robert Reicherdt
Nigel Horspool Sergei A. Romanenko
Franc¸ois Irigoin Tom Rothamel
Ralf Karrenberg Claus Rørbech
Lennart C. L. Kats Elke Salecker
Uday Khedker Lei Shang
Jo¨rg Kreiker Axel Simon
Roland Leißa Per Stenstr¨om
Bo Lin Scott Stoller
Helena Loose Yulei Sui
Anil Madhavapeddy Tuncay Tekle
Avinash Malik Dirk Tetzlaff
Christoph Mallon Michael Kirkedal Thomsen
Torben Mogensen Qing Wan
Mayur Naik