| Score |
www:tmf | 0.0 |
AydemirCPPW08 | 0.0 |
BPM13 | 0.0 |
Leroy09 | 0.0 |
CaretteKS09 | 0.0 |
Bani-SalamehJA09 | 0.0 |
TolvanenR03 | 0.0 |
GrahamJR79 | 0.0 |
OlmosV03 | 0.0 |
Sikkel1997 | 0.0 |
1454254 | 0.0 |
CoblenzKM06 | 0.0 |
MyersKB06 | 0.0 |
CookL83 | 0.0 |
CunhaV07:0 | 0.0 |
HeidenreichJKSW09 | 0.0 |
YangChenEideRegehr2011 | 0.0 |
Vi03 | 0.0 |
au72 | 0.0 |
Poetzsch-Heffter93 | 0.0 |
AkessonEH10 | 0.0 |
Klug91 | 0.0 |
JongeVV01 | 0.0 |
BosS11 | 0.0 |
PontelliRMG02 | 0.0 |
CardelliMMS94 | 0.0 |
KastensS02 | 0.0 |
TreudeS09 | 0.0 |
www:mylin | 0.0 |
SewellNOPRSS10 | 0.0 |
Mosses-JLAP-2004 | 0.0 |
Ranta04 | 0.0 |
CalcagnoHT02 | 0.0 |
T10 | 0.0 |
MandelinXBK05 | 0.0 |
Dewhurst87-1 | 0.0 |
GroenewegenV-SLE-2009 | 0.0 |
lazar-2012-fm | 0.0 |
TahaS00 | 0.0 |
LaTozaGHM07 | 0.0 |
HeeringHKR89 | 0.0 |
AydemirBFFPSVWWZ05 | 0.0 |
Klug96 | 0.0 |
Mosses02 | 0.0 |
WuG05:2 | 0.0 |
Visser03 | 0.0 |
FleissnerB06 | 0.0 |
HemelKV08 | 0.0 |
asf-sdf:1995 | 0.0 |
J99 | 0.0 |
EllisonR12 | 0.0 |
YangCER11 | 0.0 |
HeeringKR92 | 0.0 |
Churchill2014 | 0.0 |
LeroyG09 | 0.0 |
Erdweg-OOPSLA-2011 | 0.0 |
Cardelli-CRC-1997 | 0.0 |
PierceSWZ05 | 0.0 |
OlmosV02 | 0.0 |
MatthewsFFF04 | 0.0 |
1454251 | 0.0 |
BravenboerKVV06 | 0.0 |
Gast2004 | 0.0 |
ReimannSA10 | 0.0 |
Schmidt2006 | 0.0 |
GroenewegenHV10 | 0.0 |
Zaionc88:0 | 0.0 |
GutwinSPP04 | 0.0 |
GroenewegenV13 | 0.0 |
MeyerD97 | 0.0 |
DrossopoulouEK99 | 0.0 |
RyderSB05 | 0.0 |
DeursenKT93 | 0.0 |
SchwerdfegerW09-0 | 0.0 |
HameyG08 | 0.0 |
VytiniotisJSS11 | 0.0 |
Perlis82 | 0.0 |
www:skywriter | 0.0 |
GronnigerKRSV08 | 0.0 |
apigenjava | 0.0 |
Hudak98 | 0.0 |
McKeeman98 | 0.0 |
BaggeKHV03 | 0.0 |
SerbanutaRM09 | 0.0 |
HarmL00 | 0.0 |
KoM08a | 0.0 |
Vanter94 | 0.0 |
KatsBV08 | 0.0 |
BurgerKWA10 | 0.0 |
Schnorf91 | 0.0 |
abadi:theoryofobjects | 0.0 |
MullerFJ05 | 0.0 |
KuanMF07 | 0.0 |
Zaytsev-Thesis2004 | 0.0 |
Knuth68 | 0.0 |
AgostaP07 | 0.0 |
KoskinenM97 | 0.0 |
EfftingeVoelter2006 | 0.0 |
LaraV04 | 0.0 |
superlanguages | 0.0 |
HalfondO06 | 0.0 |
CardelliW85 | 0.0 |
Hanenberg2010 | 0.0 |
GroenewegenHKV08 | 0.0 |
BarbosaCV07 | 0.0 |
Dubois00 | 0.0 |
LorenzenE13 | 0.0 |
SuW-POPL-2006 | 0.0 |
Boshernitsan2001 | 0.0 |
KleinCDEFFMRTF12 | 0.0 |
dagstuhl:2007P7081 | 0.0 |
Simonet03:0 | 0.0 |
Chargueraud13 | 0.0 |
Vinju05 | 0.0 |
MooreP02 | 0.0 |
Volk92 | 0.0 |
SturmerC04 | 0.0 |
OderskyZZ01 | 0.0 |
ShanklandT97 | 0.0 |
MyersGZ92 | 0.0 |
eysholdt2010xtext | 0.0 |
KlintSV09 | 0.0 |
JonesSantos1998 | 0.0 |
BravenboerV04 | 0.0 |
selby07-0 | 0.0 |
StoreyRBMS08 | 0.0 |
MullerH02:1 | 0.0 |
DeursenDM93 | 0.0 |
BouwersBV08 | 0.0 |
XinogalosSDE06 | 0.0 |
Marshall97:1 | 0.0 |
TeitelbaumR81 | 0.0 |
JohnstoneMS10 | 0.0 |
1454256 | 0.0 |
Chlipala10-0 | 0.0 |
StrembeckZ09 | 0.0 |
SulzmannS08 | 0.0 |
Mosses05 | 0.0 |
Markstrum2010 | 0.0 |
SloaneW05 | 0.0 |
VisserBT98 | 0.0 |
Corbineau07 | 0.0 |
efftinge2007oug | 0.0 |
Sheard-FOSER-2010 | 0.0 |
DagenaisO07 | 0.0 |
1454264 | 0.0 |
KerstenM06 | 0.0 |
Garrison-CSD-88-400 | 0.0 |
Chlipala10 | 0.0 |
Urquiza-FuentesGGV06 | 0.0 |
FraserLSS08 | 0.0 |
GastThesis2004 | 0.0 |
DuncanH81 | 0.0 |
BorealeBM05 | 0.0 |
Fowler2004 | 0.0 |
LindemanKV11 | 0.0 |
KatsSV09 | 0.0 |
ErmelHKZ05 | 0.0 |
Visser:1993 | 0.0 |
Fowler1999 | 0.0 |
asf-sdf:1997 | 0.0 |
Visser99 | 0.0 |
AhoJU75 | 0.0 |
FrensM06 | 0.0 |
bpw02 | 0.0 |
BravenboerKVV08 | 0.0 |
KlintSV09-0 | 0.0 |
LewisSBM09 | 0.0 |
BurnettMRW06 | 0.0 |
KossatchevKP04 | 0.0 |
DeLineCR05 | 0.0 |
DijkstraS04 | 0.0 |
GriswoldA95 | 0.0 |
HonsellMS01:1 | 0.0 |
KoAM05:0 | 0.0 |
Hong2012 | 0.0 |
Visser01 | 0.0 |
BruchSM06 | 0.0 |
ParkOPSH06 | 0.0 |
SlonnegerK94 | 0.0 |
TatlockL10 | 0.0 |
GodefroidKL08 | 0.0 |
Barendregt91 | 0.0 |
AxelssonCDHKLPSSV10 | 0.0 |
Bowlden70 | 0.0 |
Schrage2004 | 0.0 |
BartheC02 | 0.0 |
GomezAG01 | 0.0 |
Odersky95 | 0.0 |
WuGRM05 | 0.0 |
HeeringKR94 | 0.0 |
Demirezen09 | 0.0 |
Kahn87:0 | 0.0 |
SteimannES08 | 0.0 |
Liu-HOSC-2000 | 0.0 |
Ben-AviW09 | 0.0 |
Cook09-0 | 0.0 |
WadlerF09 | 0.0 |
BovetP08 | 0.0 |
LammelR94 | 0.0 |
Vis95.sdf | 0.0 |
Bryant-FOSER-2010 | 0.0 |
Poetzsch-Heffter97 | 0.0 |
Pottier07:0 | 0.0 |
Visser:2009 | 0.0 |
OCL2012 | 0.0 |
ward94languageoriented | 0.0 |
Ousterhout98 | 0.0 |
Fowler02 | 0.0 |
MajidR05 | 0.0 |
WurthingerWWSDHRSW13 | 0.0 |
VollebregtKV12 | 0.0 |
BrandJKO00 | 0.0 |
KastensW91 | 0.0 |
Klug94 | 0.0 |
ElbaumMR02 | 0.0 |
AllenCS02:0 | 0.0 |
KoM04 | 0.0 |
modelica | 0.0 |
OlmosV05 | 0.0 |
Goldberg86:0 | 0.0 |
Myers89 | 0.0 |
RepsTeitelbaum1989 | 0.0 |
BeckerFG10 | 0.0 |
Klint93 | 0.0 |
DeMilloLS78 | 0.0 |
BrandDHJJKKMOSVVV01 | 0.0 |
BubakFMSW99 | 0.0 |
AnconaLZ02:0 | 0.0 |
Schneiderman1998 | 0.0 |
BlazyDL06 | 0.0 |
Riehl06:0 | 0.0 |
HemelKGV10 | 0.0 |
RichardsonOT89 | 0.0 |
MyersPNMK08 | 0.0 |
Joachims02 | 0.0 |
Meijer07 | 0.0 |
LammelV02 | 0.0 |
JohannV01 | 0.0 |
BegelG06:0 | 0.0 |
MyersHP00 | 0.0 |
Leroy06:0 | 0.0 |
StoreyRSMCM09 | 0.0 |
BrandKVV06 | 0.0 |
KaiserL09 | 0.0 |
BravenboerV08 | 0.0 |
McCreightCT10 | 0.0 |
CacheraJPR05 | 0.0 |
GuillemetteM08 | 0.0 |
BrandKO99 | 0.0 |
BravenboerVVV05 | 0.0 |
YingWA05a | 0.0 |
LernerMRC05 | 0.0 |
BentonZ07 | 0.0 |
Pohjonen05 | 0.0 |
www:tmf-0 | 0.0 |
GaravelS90 | 0.0 |
Harper2012 | 0.0 |
FalconC09 | 0.0 |
KallebergV08 | 0.0 |
Visser01a | 0.0 |
LammelW01 | 0.0 |
1454259 | 0.0 |
DrossopoulouE99 | 0.0 |
papert1980mindstorms | 0.0 |
VerbruggenVH08 | 0.0 |
1243380 | 0.0 |
rsse-2008 | 0.0 |
ArnoldD93 | 0.0 |
HillsR07:1 | 0.0 |
imp | 0.0 |
FischerV03:0 | 0.0 |
TheryLG06 | 0.0 |
HeldalH97 | 0.0 |
Kent02 | 0.0 |
ShaliCook2011 | 0.0 |
tcs06 | 0.0 |
Cordy06 | 0.0 |
GroenewegenV09-0 | 0.0 |
Mosses99:0 | 0.0 |
KKV09 | 0.0 |
KutterP97 | 0.0 |
BlazyL09 | 0.0 |
SunyePHGJ01 | 0.0 |
MaierV08 | 0.0 |
KastensW94 | 0.0 |
Appel1998 | 0.0 |
VoelterSolomatov2010 | 0.0 |
CunhaSV09-0 | 0.0 |
PopescuGO10 | 0.0 |
Kalibera2014 | 0.0 |
KatsVW10 | 0.0 |
WimmerW12 | 0.0 |
KloseO10 | 0.0 |
KossatchevP05 | 0.0 |
Reiss83 | 0.0 |
Java7 | 0.0 |
FieldRT95 | 0.0 |
KleinPOPL12 | 0.0 |
JVMS2012 | 0.0 |
LernerMC03 | 0.0 |
Tratt08-TOPLAS | 0.0 |
WuGM08 | 0.0 |
Visser-1997-SDF | 0.0 |
www:mps1 | 0.0 |
KoM08 | 0.0 |
HongCSO12 | 0.0 |
Maurer90:1 | 0.0 |
GuhaK10 | 0.0 |
Pierce2002 | 0.0 |
Siek:2005lr | 0.0 |
Hedin94 | 0.0 |
Riedewald92 | 0.0 |
puschel2005spiral | 0.0 |
WrightF94 | 0.0 |
Lammel01 | 0.0 |
JohannV00 | 0.0 |
SadilekW08 | 0.0 |
BragaHMM02 | 0.0 |
GrafV09 | 0.0 |
SchmidtS98:0 | 0.0 |
EkmanH07 | 0.0 |
MullerH00:0 | 0.0 |
Poetzsch-Heffter91 | 0.0 |
Terrasse95 | 0.0 |
GrayLHSW92 | 0.0 |
KellyLR96 | 0.0 |
BrandMR02 | 0.0 |
KlintLV05 | 0.0 |
CickovskiSI07 | 0.0 |
SellinkV00 | 0.0 |
AmstelLB09 | 0.0 |
RuscioJouaultKurtevI.BzivinPierantonio2006 | 0.0 |
KrahnRV08 | 0.0 |
ReisC04 | 0.0 |
JongeNKV09 | 0.0 |
JongeV12-0 | 0.0 |
BravenboerDV10 | 0.0 |
metafront2007 | 0.0 |
PierceT-TOPLAS-2000 | 0.0 |
DuranRBBEKKMSV09 | 0.0 |
KoM05:0 | 0.0 |
SingerES05 | 0.0 |
PfeifferSG05 | 0.0 |
OezbekP07 | 0.0 |
FischerV03 | 0.0 |
TatlockTSJL08 | 0.0 |
MyersPK04 | 0.0 |
SymeG02 | 0.0 |
Stehr00 | 0.0 |
Kats2011 | 0.0 |
Vis97.cc | 0.0 |
LevinP03 | 0.0 |
BrandR00 | 0.0 |
WachsmuthKVGV13 | 0.0 |
Syme99:0 | 0.0 |
Tolvanen06 | 0.0 |
AlvesV08 | 0.0 |
Poetzsch-Heffter92 | 0.0 |
DeursenKV00 | 0.0 |
KallebergV06 | 0.0 |
AnconaM04:0 | 0.0 |
Cleenewerck03 | 0.0 |
Vis96.mls | 0.0 |
KitchinQCM09 | 0.0 |
Fall20011 | 0.0 |
WalkingshawE09 | 0.0 |
1454258 | 0.0 |
HuangZS08 | 0.0 |
McKeeman76a | 0.0 |
Wells90:1 | 0.0 |
BrandHKO02 | 0.0 |
KatsKV-SLE-2010 | 0.0 |
GuhaSK10 | 0.0 |
StoreyCSMMR07 | 0.0 |
HedinM03 | 0.0 |
Wachsmuth07:0 | 0.0 |
HelsenT00:0 | 0.0 |
WuGM09 | 0.0 |
Wu05:15 | 0.0 |
AhoSU86 | 0.0 |
CardelliMA94 | 0.0 |
BellamyAMS08 | 0.0 |
HuangZookSmaragdakis2011 | 0.0 |
Visser07 | 0.0 |
DeccioCSKM09 | 0.0 |
xtext | 0.0 |
Sadilek2009 | 0.0 |
www:tef-0 | 0.0 |
TolvanenK09 | 0.0 |
Appel2002 | 0.0 |
OderskySW99 | 0.0 |
Leroy06 | 0.0 |
IgarashiPW01 | 0.0 |
Mosses02:0 | 0.0 |
RobersonHDB08 | 0.0 |
MatthewsF08 | 0.0 |
Harper92 | 0.0 |
ZiegenbeinUE00 | 0.0 |
HemelV09 | 0.0 |
Kolling08:0 | 0.0 |
ArnoldusBB07 | 0.0 |
LV97 | 0.0 |
Bachman73 | 0.0 |
TateSL10 | 0.0 |
ZhengC-ICIS-2009 | 0.0 |
GrimmHarrisLe2007 | 0.0 |
Hoare03:1 | 0.0 |
preece2002interaction | 0.0 |
ErdwegSV13 | 0.0 |
cs-PL-0007008 | 0.0 |
DolstraV02 | 0.0 |
Ching00 | 0.0 |
AtkinsonJDS96 | 0.0 |
MyersMMFFKMKD97 | 0.0 |
KleinFindler2009 | 0.0 |
Milner80 | 0.0 |
Vis97.sglr | 0.0 |
Reng09c | 0.0 |
KonatKWV12 | 0.0 |
WangWangand-HSI-MIN-CHEN2004 | 0.0 |
BorningSW08 | 0.0 |
HUTN | 0.0 |
Fowler2011 | 0.0 |
BahlkeS86:0 | 0.0 |
ZelenovZ05 | 0.0 |
OlivierNielsenR2004 | 0.0 |
KuipersV01 | 0.0 |
HemelVV08 | 0.0 |
HemelV11 | 0.0 |
BarmanC87 | 0.0 |
BiermanParkinsonPitts2003 | 0.0 |
StichlingK02 | 0.0 |
SchaferEM08 | 0.0 |
Poetzsch-Heffter94:0 | 0.0 |
MurphyKF06 | 0.0 |
Tolvanen07a | 0.0 |
MorrisettWCG99 | 0.0 |
MateescuO08 | 0.0 |
KalinovKPPS03 | 0.0 |
DanielDGM07 | 0.0 |
AvgustinovHOMSTV07 | 0.0 |
GroenewegenHKV08-DSM | 0.0 |
5035599 | 0.0 |
EkmanH04 | 0.0 |
KatsV10scam | 0.0 |
BrandSVV02 | 0.0 |
VirgilioF82 | 0.0 |
HemelGKV11 | 0.0 |
BrooksLeeLiuNeuendorfferZhaoZheng2007 | 0.0 |
gu66 | 0.0 |
BravenboerDOV06 | 0.0 |
KleinClementsDimoulasEastlundFelleisenFlattMcCarthyRafkindTobin-HochstadtFindler2012 | 0.0 |
Visser01:WRS | 0.0 |
ErwigW09 | 0.0 |
BravenboerDV07 | 0.0 |
SahavechaphanC06 | 0.0 |
PalkaAST2011 | 0.0 |
Visser-SCAM-2005 | 0.0 |
beck2003test | 0.0 |
HolmesM05:0 | 0.0 |
NicholsM09 | 0.0 |
KerstenM05 | 0.0 |
Shneiderman2000 | 0.0 |
Leroy-JAR-2009 | 0.0 |
AkessonEH08 | 0.0 |
StoreyCBR06 | 0.0 |
FelleisenFindlerFlatt2009 | 0.0 |
KlintSV10 | 0.0 |
ClementDDK86 | 0.0 |
ErwigF05 | 0.0 |
Myers90:3 | 0.0 |
www:eclipserap | 0.0 |
Visser02 | 0.0 |
DeursenM93 | 0.0 |
ChurchillMT14 | 0.0 |
WaddingtonY07 | 0.0 |
LammelS06 | 0.0 |
VolterV11 | 0.0 |
RosuS10 | 0.0 |
ZhongXZPM09 | 0.0 |
HemelVisser2011A | 0.0 |
BravenboerTV06 | 0.0 |
gamma1998test | 0.0 |
1454252 | 0.0 |
BrandCOV05 | 0.0 |
WagnerG98 | 0.0 |
rosu-serbanuta-2010-jlap | 0.0 |
Kersten2006 | 0.0 |
Mosses06:0 | 0.0 |
RusinolLS10 | 0.0 |
EkmanH06 | 0.0 |
MernikHS05 | 0.0 |
JongeKVS12 | 0.0 |
Shneiderman07a | 0.0 |
ChoKKK06 | 0.0 |
BrandKVV05 | 0.0 |
RascalGTTSE | 0.0 |
BjarnasonHN99 | 0.0 |
BrandDKKM96 | 0.0 |
HickeyNYK06 | 0.0 |
Weststrate2009 | 0.0 |
ErwigR07 | 0.0 |
LinsteadBNRLB09 | 0.0 |
Robillard09 | 0.0 |
SchaferMOOPSLA2010 | 0.0 |
turing37-0 | 0.0 |
gorn63det | 0.0 |
SadilekW08a | 0.0 |
BruchMM09 | 0.0 |
JongeV00 | 0.0 |
Sikkel98 | 0.0 |
Mosses04:0 | 0.0 |
KastensW09 | 0.0 |
ParkMK08 | 0.0 |
MatthewsF09 | 0.0 |
OWASP2010 | 0.0 |
LeeCH07:0 | 0.0 |
BorrasCDIKLP88 | 0.0 |
WykS07 | 0.0 |
BrandV95 | 0.0 |
BravenboerGV06 | 0.0 |
Thiemann03 | 0.0 |
EkmanH07:1 | 0.0 |
KatsVV11 | 0.0 |
VolpanoS95 | 0.0 |
FraserHP-BURG-1992 | 0.0 |
KastensPJ98 | 0.0 |
BoyapatiLSMR03 | 0.0 |
BergaminiDJM05 | 0.0 |
BoujarwahS97 | 0.0 |
www:tef | 0.0 |
KatsJNV09 | 0.0 |
BallanceGV92 | 0.0 |
KatsV10 | 0.0 |
DijkstraS06 | 0.0 |
WykBGK10 | 0.0 |
CelentanoCVGGS80 | 0.0 |
ClaessenH00 | 0.0 |
BravenboerV02 | 0.0 |
PaneMM02:0 | 0.0 |
Tarau11 | 0.0 |
FernandezGMRRS92 | 0.0 |
OwensBNS11 | 0.0 |
borghi2005ctf | 0.0 |
StuijkGB06 | 0.0 |
SewellNOPRSS07 | 0.0 |
VermolenV08 | 0.0 |
369182 | 0.0 |
KonatVKWV2012 | 0.0 |
Milner78:0 | 0.0 |
BDV09.cloud | 0.0 |
EllisonPOPL12 | 0.0 |
FanLS06 | 0.0 |
Hedin09 | 0.0 |
BertotF95 | 0.0 |
LazarASEMLR12 | 0.0 |
BegelG04 | 0.0 |
MateescuO08:0 | 0.0 |
RobillardW05 | 0.0 |
Bruch2010 | 0.0 |
EsserJ01 | 0.0 |
EngelsHHS00 | 0.0 |
MesbahD09 | 0.0 |
FernandezM90 | 0.0 |
Visser08 | 0.0 |
SloaneKV10 | 0.0 |
ThummalapentaX07 | 0.0 |
MiculanS03 | 0.0 |
VerbruggenVH10 | 0.0 |
RobbesL08:0 | 0.0 |
KoM05:1 | 0.0 |
WuG05:1 | 0.0 |
ChengLY93 | 0.0 |
GlewP05 | 0.0 |
Guha-FOSER-2010 | 0.0 |
Pettersson96 | 0.0 |
EisenbergK07 | 0.0 |
Simonet03-0 | 0.0 |
SkalkaP02 | 0.0 |
RusuMTJJ04 | 0.0 |
HeeringKR90 | 0.0 |
FernandezM91 | 0.0 |
Mitchell1996 | 0.0 |
Sloane99 | 0.0 |
GutwinPS04 | 0.0 |
Despeyroux1995 | 0.0 |
PoulsenM14 | 0.0 |
SchaferEM09 | 0.0 |
Bertot08-0 | 0.0 |
Myers02:2 | 0.0 |
HennessyP08 | 0.0 |
SchaferEM-PLPV-2009 | 0.0 |
KaliberaMMV14 | 0.0 |
BastenV10 | 0.0 |
Gomez-MartinGG06 | 0.0 |
GroenewegenV08 | 0.0 |
AttaliParigot1994 | 0.0 |
SoltenbornE09 | 0.0 |
CSharpSpec2006 | 0.0 |
BidingerS03 | 0.0 |
LedecziBMVNSK01 | 0.0 |
Vinson99 | 0.0 |
Pierce05advancedtopics | 0.0 |
MossesN09 | 0.0 |
KoM06 | 0.0 |
ErdogmusMT05 | 0.0 |
BouillonKMS07 | 0.0 |
Vis97.thesis | 0.0 |
WykMBK02 | 0.0 |
SloaneKV13 | 0.0 |
vinju05:0 | 0.0 |
KKV08 | 0.0 |
LeeP07:9 | 0.0 |
ChengDS07 | 0.0 |
ScheidgenF07 | 0.0 |
gupta02-dsl | 0.0 |
reference-wiley-Sloane08 | 0.0 |
KlintKV08 | 0.0 |
Voisin86 | 0.0 |
Tolvanen04 | 0.0 |
Wider10 | 0.0 |
PowerM00:1 | 0.0 |
Assmann92:0 | 0.0 |
SadilekW09 | 0.0 |
SmolanderLTM91 | 0.0 |