%%====================================================================== %% WARNING: Do NOT edit this file. It was produced automatically %% with the UNIX pipeline %% %% biblex xxx.bib | \ %% gawk -f keywords.awk | \ %% egrep 'entrytype$' | \ %% gawk -f fmtwords.awk >xxx.xwx %% %% by beebe@gamma.math.utah.edu on Thu Feb 1 12:51:30 MST 2024 %%====================================================================== \ifx \NAMECITE \undefined % User can override this definition \def \NAMECITE #1#2{{\bf #1} \cite{#2}} \fi \NAMECITE{\$49.99}{% Naugler:2008:RPL% }. \NAMECITE{\$54.99}{% Naugler:2008:RPW% }. \NAMECITE{$^\sharp $}{% Kennedy:2018:TGC% }. \NAMECITE{.NET}{% Foxall:2004:STY,% Holzner:2004:MVC,% Naugler:2008:RPW,% Stubblebine:2008:RAK,% Abrams:2004:NFS,% Albahari:2002:CEP,% Anonymous:2002:MMS,% Anonymous:2003:MMS,% Ballinger:2003:NWS,% Barrett:2003:DPJ,% Bishop:2005:EIJ,% Box:2003:ENC,% Brosgol:2009:ICL,% Buis:2002:SLS,% Bustos:2002:BNW,% Carlisle:2003:WAN,% Cazzulino:2002:BCW,% Ferrara:2002:PNW,% Ferrara:2008:SUC,% Freeman:2003:PNS,% Geller:2005:TME,% Griffiths:2012:PCB,% Grinzo:2002:PBC,% Lee:2004:JBN,% Lehoczky:2018:HLN,% Liberty:2004:PNW,% Liberty:2006:LC,% Lutz:2003:CNF,% Lutz:2003:ISR,% MacDonald:2008:PWC,% Mayo:2008:CNF,% Michaelis:2009:ECN,% Nagel:2010:PCN,% Nilsson:2006:ADD,% Onion:2003:EANa,% Pattison:2003:BAC,% Perry:2006:CCN,% Powell:2001:CNF,% Reynolds:2002:NED,% Sells:2004:WFPb,% Sharp:2002:PMV,% Shu:2005:FCD,% Sorensen:2002:AND,% Subramaniam:2005:NGW,% Troelsen:2001:CNP,% Troelsen:2003:CNP,% Troelsen:2005:PCN,% Ullman:2004:BAN,% Vick:2004:VBN,% Watkins:2003:PNE,% Yao:2004:NCF,% Grossu:2022:MHF,% Troelsen:2010:PCN% }. \NAMECITE{0-521-68761-6}{% Farrell-Vinay:2009:BRM% }. \NAMECITE{{1}}{% Naugler:2008:RPW% }. \NAMECITE{{1-59059-955-1}}{% Naugler:2008:RPW% }. \NAMECITE{{1.1}}{% MacDonald:2005:BAN% }. \NAMECITE{{10}}{% Albahari:2022:CND% }. \NAMECITE{{'18}}{% ACM:2018:CNG% }. \NAMECITE{{2}}{% Balzert:2006:CEP,% Balzert:2006:COP% }. \NAMECITE{{2.0}}{% Homer:2004:FLA,% Michaelis:2007:EC,% Schildt:2006:CCR,% Troelsen:2005:PCN% }. \NAMECITE{{2001}}{% ACM:2001:PAJ% }. \NAMECITE{{2003}}{% Foxall:2004:STY,% Holzner:2004:MVC,% ISO:2003:IIIb,% ISO:2005:IIIa% }. \NAMECITE{{2005}}{% Bakharia:2006:MVC,% Balena:2006:PMV,% Davis:2005:CD,% Davis:2006:CD,% Fahnenstich:2006:REP,% Foxall:2006:STY,% Hoffman:2006:MVC,% Jones:2006:VCR,% Kent:2005:VCD,% Lhotka:2006:ECB,% Liberty:2005:VCD,% Marshall:2005:PMV,% Murach:2006:MC,% Pelland:2005:MVC,% Pelland:2006:MVC,% Sharp:2006:MVCa,% Sharp:2006:MVCb,% Troelsen:2005:PCN,% Watson:2005:BVC,% Watson:2006:BCD,% Watson:2006:BVC% }. \NAMECITE{{2006}}{% ISO:2006:IIIb% }. \NAMECITE{{2008}}{% Deitel:2009:CP,% Foxall:2008:STY,% MacDonald:2008:PWC,% Naugler:2008:RPL,% Sphar:2008:CD% }. \NAMECITE{{2010}}{% Deitel:2011:VCH,% Jones:2010:VCR,% MacDonald:2010:WC,% Troelsen:2010:PCN,% Watson:2010:BMV% }. \NAMECITE{{23272}}{% ISO:2005:IIIb% }. \NAMECITE{2nd}{% Naugler:2008:RPW% }. \NAMECITE{{3.0}}{% Albahari:2007:CN,% Albahari:2008:CPR,% Anonymous:2005:SAS,% Hilyard:2007:CC,% Hummel:2006:LFD,% Liberty:2008:PC,% Mayo:2008:CNF,% Michaelis:2009:ECN% }. \NAMECITE{{3.5}}{% MacDonald:2008:PWC,% Mayo:2008:CNF,% Michaelis:2009:ECN,% Naugler:2008:RPW% }. \NAMECITE{{334}}{% Csharp:2002:SEC,% ECMA-334-1,% ECMA-334-2,% ECMA-334-3,% ECMA-334-4,% ECMA:2002:ECL% }. \NAMECITE{{4}}{% Evjen:2010:PAN,% Nagel:2010:PCN% }. \NAMECITE{{4.0}}{% Albahari:2010:CN,% Albahari:2010:CPR,% Griffiths:2010:PC,% Magennis:2010:LOU,% Michaelis:2010:ECH,% Schildt:2010:CCR,% Troelsen:2010:PCN,% Watson:2010:CH% }. \NAMECITE{{5}}{% Naugler:2008:RPL% }. \NAMECITE{{5.0}}{% Griffiths:2012:PC,% Griffiths:2012:PCB% }. \NAMECITE{{6}}{% Grossu:2022:MHF% }. \NAMECITE{70-306}{% Anonymous:2002:MMS% }. \NAMECITE{70-310}{% Anonymous:2003:MMS% }. \NAMECITE{70-316}{% Anonymous:2002:MMS% }. \NAMECITE{70-320}{% Anonymous:2003:MMS% }. \NAMECITE{{8}}{% Anonymous:2017:BRG% }. \NAMECITE{{95}}{% Carlisle:2003:WAN% }. \NAMECITE{{978}}{% Anonymous:2017:BRG,% Naugler:2008:RPL% }. \NAMECITE{{978-1-59059-965-5}}{% Naugler:2008:RPL% }. \NAMECITE{{978-1-59327-759-8}}{% Anonymous:2017:BRG% }. \NAMECITE{absolute}{% Bakharia:2006:MVC% }. \NAMECITE{Abstract}{% McCluskey:2004:UCA,% Singh:2013:TGC% }. \NAMECITE{Abstraction}{% Borger:2004:EAS% }. \NAMECITE{abstractions}{% Benton:2004:MCA,% Spring:2010:RAI% }. \NAMECITE{access}{% Hummel:2006:LFD,% Wildermuth:2003:PAN% }. \NAMECITE{Acid}{% Rauniyar:2017:DDR% }. \NAMECITE{Acronyms}{% Baran:2001:NVA% }. \NAMECITE{activity}{% Choi:2013:PAC% }. \NAMECITE{{Ada}}{% Carlisle:2003:WAN,% Kaiser:2006:CJC% }. \NAMECITE{adaption}{% Axelsen:2009:GPT% }. \NAMECITE{adaptive}{% Shacham:2009:CAS% }. \NAMECITE{{ADO.NET}}{% Homer:2003:FLA,% Vaughn:2002:ANE,% Wildermuth:2003:PAN% }. \NAMECITE{adoption}{% Anonymous:2003:JHS% }. \NAMECITE{Advanced}{% Kimmel:2002:ACP% }. \NAMECITE{again}{% Siek:2015:BCT% }. \NAMECITE{Agent}{% Cimler:2016:CRC% }. \NAMECITE{Agent-Based}{% Cimler:2016:CRC% }. \NAMECITE{aggressive}{% Menon:2006:VSP% }. \NAMECITE{{AI}}{% Lutz:2003:BBC% }. \NAMECITE{algebraic}{% Kennedy:2018:TGC% }. \NAMECITE{alternative}{% Anonymous:2005:COE% }. \NAMECITE{Alternatives}{% Swaine:2001:PPA% }. \NAMECITE{Alto}{% ACM:2001:PAJ% }. \NAMECITE{{Alzheimer}}{% Cimler:2016:CRC% }. \NAMECITE{Analysemodell}{% Balzert:2006:COP% }. \NAMECITE{Analysis}{% Doyle:2010:CPP,% Anonymous:2005:SAS,% Balzert:2006:COP,% Doyle:2008:CPP,% Farrell-Vinay:2009:BRM,% Grossu:2010:CCC,% Grossu:2012:CCC,% Grossu:2013:CMB,% Grossu:2022:MHF,% McSherry:2010:PIQ,% Sallenave:2012:LGE,% Anonymous:2005:SAS% }. \NAMECITE{{Anchor}}{% Miura:2009:AGI% }. \NAMECITE{Anders}{% Baran:2001:NVA% }. \NAMECITE{Annotated}{% Abrams:2004:NFS,% Jagger:2007:ACS,% Miller:2004:CLI% }. \NAMECITE{annotations}{% Kiczales:2004:CLG,% Pinheiro:2020:MCA% }. \NAMECITE{Anonymity}{% Baran:2001:NVA% }. \NAMECITE{apples}{% Bond:2007:TBA% }. \NAMECITE{application}{% Choi:2013:PAC,% Dunn:2003:CAI% }. \NAMECITE{Applications}{% Griffiths:2012:PCB,% Anonymous:2002:MMS,% Anonymous:2004:BBM,% Cazzulino:2002:BCW,% Clifton:2006:MDR,% Liberty:2004:PNW,% Pattison:2003:BAC,% Spring:2010:RAI% }. \NAMECITE{Applied}{% Derezinska:2012:QEO,% Sorensen:2002:AND,% Worner:2004:ACF% }. \NAMECITE{Applying}{% Lutz:2003:BBC,% Nilsson:2006:ADD% }. \NAMECITE{Approach}{% Jones:2006:VCR,% Jones:2010:VCR% }. \NAMECITE{Apress}{% Naugler:2008:RPL,% Naugler:2008:RPW% }. \NAMECITE{Architecture}{% Wang:2011:EEU,% Ballinger:2003:NWS% }. \NAMECITE{Aren't}{% Bonzini:2001:LHG% }. \NAMECITE{Arithmetic}{% ACM:2018:CNG% }. \NAMECITE{ASP.NET}{% MacDonald:2005:PAN,% Bellinaso:2002:ANW,% Evjen:2010:PAN,% Goode:2002:BAN,% Goode:2003:BAN,% Hoffman:2003:ANC,% Homer:2004:FLA,% Kauffman:2002:BAN,% Liberty:2002:PAN,% Liberty:2003:PAN,% MacDonald:2005:BAN,% Onion:2003:EANa,% Onion:2003:EANb,% Reilly:2002:ANS,% Ruvalcaba:2004:BYO,% Ullman:2004:BAN% }. \NAMECITE{assembly}{% Tate:2010:IOO% }. \NAMECITE{Assessing}{% Meyer:2002:ACT% }. \NAMECITE{asymmetric}{% Cao:2012:YYP% }. \NAMECITE{asynchronous}{% Santhiar:2017:SDD% }. \NAMECITE{atomic}{% Zyulkyarov:2010:DPU% }. \NAMECITE{Atomicity}{% Jagannathan:2014:ARV,% Abadi:2009:TMS% }. \NAMECITE{Attributes}{% Kiczales:2004:CLG% }. \NAMECITE{Audits}{% Anonymous:2005:SAS% }. \NAMECITE{Ausdr{\"u}cke}{% Stubblebine:2008:RAK% }. \NAMECITE{automata}{% Zhao:2014:CSP% }. \NAMECITE{Automated}{% Hawblitzel:2009:AVP,% Yang:2010:SLI% }. \NAMECITE{automatic}{% Shankar:2007:DAI% }. \NAMECITE{{Award}}{% Erickson:2001:DDE% }. \NAMECITE{Bad}{% Bonzini:2001:LHG,% Bond:2007:TBA% }. \NAMECITE{Base}{% Abrams:2004:NFS,% Balena:2006:PMV% }. \NAMECITE{Based}{% Cimler:2016:CRC,% Rauniyar:2017:DDR,% Alon:2018:GPB,% Anonymous:2002:MMS,% Farrell-Vinay:2009:BRM% }. \NAMECITE{Basic}{% Anonymous:2002:MMS,% Anonymous:2003:MMS,% Grossu:2022:MHF,% Pattison:2003:BAC,% Sells:2004:WFPb,% Vick:2004:VBN,% Miura:2009:AGI,% Anonymous:2004:BBM,% Balena:2005:PGB,% Onion:2003:EANa,% Russo:2008:JPV% }. \NAMECITE{Batteries}{% Rauniyar:2017:DDR% }. \NAMECITE{battlefield}{% Wehr:2010:JBP% }. \NAMECITE{been}{% Hunt:2003:LSM% }. \NAMECITE{beginner}{% Bakharia:2006:MVC,% Buono:2003:CGP,% Buono:2005:CGP,% Schildt:2001:CBG% }. \NAMECITE{Beginning}{% Barker:2004:BCO,% Bustos:2002:BNW,% Cazzulino:2002:BCW,% Cazzulino:2004:BVW,% Fraser:2002:BCX,% Goode:2002:BAN,% Goode:2003:BAN,% Huddleston:2005:BCD,% Kauffman:2002:BAN,% MacDonald:2005:BAN,% Penton:2005:BCG,% Ullman:2004:BAN,% Watson:2002:BVC,% Watson:2005:BVC,% Watson:2006:BCD,% Watson:2006:BVC,% Watson:2010:BMV% }. \NAMECITE{best}{% Balena:2005:PGB,% Vaughn:2002:ANE% }. \NAMECITE{beta}{% Harvey:2000:CPP% }. \NAMECITE{better}{% Alm:2002:YBS% }. \NAMECITE{between}{% Montanari:2018:OCC% }. \NAMECITE{bible}{% Ferguson:2002:CB% }. \NAMECITE{Bibliography}{% Beebe:2006:BPAa% }. \NAMECITE{bis}{% Balzert:2006:COP% }. \NAMECITE{Black}{% Telles:2006:VCB,% Telles:2002:CBB,% Wagner:2002:CCL% }. \NAMECITE{Blame}{% Siek:2015:BCT% }. \NAMECITE{blocks}{% Zyulkyarov:2010:DPU% }. \NAMECITE{{Bluetooth}}{% Stallings:2001:PBB% }. \NAMECITE{bodies}{% Montanari:2018:OCC% }. \NAMECITE{Body}{% Grossu:2013:CMB,% Grossu:2010:CCC,% Grossu:2012:CCC% }. \NAMECITE{Book}{% Anonymous:2017:BRG,% Cirillo:2001:BRC,% Farrell-Vinay:2009:BRM,% Telles:2006:VCB,% Telles:2002:CBB,% Wagner:2002:CCL% }. \NAMECITE{Books}{% Anonymous:2001:LTC% }. \NAMECITE{Bookshelf}{% Grinzo:2002:PBC,% Lutz:2003:BBC,% Stallings:2001:PBB,% Wilson:2001:PBT% }. \NAMECITE{both}{% Anonymous:2004:CGH% }. \NAMECITE{Brandon}{% Anonymous:2017:BRG% }. \NAMECITE{Bridges}{% Anonymous:2004:BBM% }. \NAMECITE{brings}{% Anonymous:2005:SAS% }. \NAMECITE{Build}{% Ruvalcaba:2004:BYO,% Pelland:2005:MVC% }. \NAMECITE{Building}{% Anonymous:2004:BBM,% Griffiths:2012:PCB,% Lutz:2003:BBC,% Pattison:2003:BAC,% Anonymous:2003:JHS% }. \NAMECITE{built}{% Anonymous:2004:BBM% }. \NAMECITE{Business}{% Lhotka:2006:ECB% }. \NAMECITE{Bytecode}{% Lee:2004:JBN% }. \NAMECITE{Bytecode-to-{.NET}}{% Lee:2004:JBN% }. \NAMECITE{C}{% Cirillo:2001:BRC,% Anonymous:2005:SAS,% Bruckschlegel:2005:MCC,% Gannon:2001:JCC,% Gerlach:2003:GPS,% Humphrey:2003:GCC,% Kennedy:2018:TGC,% Kiczales:2004:CLG,% Montanari:2018:OCC,% Nodelman:2004:OCC,% Powell:2001:CNF,% Stevens:2002:CPCb,% Stevens:2002:CPW% }. \NAMECITE{C\#}{% Anonymous:2002:MMS,% Anonymous:2003:MMS,% Bakharia:2006:MVC,% Balena:2005:PGB,% Balena:2006:PMV,% Braden:2006:UMC,% Deitel:2011:VCH,% Fahnenstich:2006:REP,% Foxall:2004:STY,% Foxall:2006:STY,% Foxall:2008:STY,% Hoffman:2006:MVC,% Holzner:2004:MVC,% Jones:2006:VCR,% Jones:2010:VCR,% Kent:2005:VCD,% Lhotka:2006:ECB,% Liberty:2005:VCD,% Marshall:2005:PMV,% Mossenbock:2006:SCK,% Naugler:2008:RPL,% Naugler:2008:RPW,% Pelland:2005:MVC,% Pelland:2006:MVC,% Schumann:2006:VCK,% Sharp:2002:PMV,% Sharp:2006:MVCa,% Sharp:2006:MVCb,% Stubblebine:2008:RAK,% Troelsen:2010:PCN,% Ullman:2004:BAN,% Watson:2005:BVC,% Watson:2006:BVC,% Watson:2010:BMV,% Pinheiro:2020:MCA,% Albahari:2001:CE,% Albahari:2002:CEP,% Albahari:2007:CN,% Albahari:2008:CPR,% Albahari:2010:CN,% Albahari:2010:CPR,% Albahari:2022:CND,% Alm:2002:YBS,% Anonymous:2001:LTC,% Anonymous:2003:JHS,% Anonymous:2004:BBM,% Anonymous:2004:CGH,% Anonymous:2005:COE,% Anonymous:2005:SAS,% Archer:2002:IC,% Archer:2002:PCT,% Archer:2002:PMC,% Bakharia:2002:CFE,% Baldwin:2006:ECS,% Baran:2001:NVA,% Barker:2004:BCO,% Barker:2006:VCE,% Bayer:2007:CCH,% Bayer:2008:CCH,% Beebe:2006:BPAa,% Benton:2004:MCA,% Beyer:2001:CCP,% Bierman:2007:LTF,% Bishop:2004:CC,% Bishop:2004:CGC,% Bishop:2005:EIJ,% Bishop:2007:CDP,% Bo:2002:C,% Bonzini:2001:LHG,% Borger:2004:EAS,% Borger:2005:HLM,% Brosgol:2009:ICL,% Bruckschlegel:2005:MCC,% Buono:2003:CGP,% Buono:2005:CGP,% Bustos:2002:BNW,% Cazzulino:2002:BCW,% Cazzulino:2004:BVW,% Chegwidden:2005:SC,% Cimler:2016:CRC,% Conway:2003:CCD,% Cooper:2003:CDP,% Crowell:2001:CP,% Csharp:2002:SEC,% Davis:2005:CD,% Davis:2006:CD,% Deitel:2002:CHP,% Deitel:2003:CPI,% Deitel:2006:CP,% Deitel:2006:VCH,% Deitel:2009:CP,% Derezinska:2012:OOT,% Derezinska:2012:QEO,% Doyle:2008:CPP,% Doyle:2010:CPP,% Draheim:2005:GPC,% Drayton:2002:CLP% }. \NAMECITE{{C\#}}{% Drayton:2002:CND,% Drayton:2003:CND,% Drossopoulou:2006:FMD,% Dunn:2003:CAI,% ECMA-334-1,% ECMA-334-2,% ECMA-334-3,% ECMA-334-4,% ECMA:2002:ECL,% Eaddy:2001:CVJ,% Evjen:2010:PAN,% Ferguson:2002:CB,% Foxall:2002:CU,% Fraser:2002:BCX,% Fruja:2010:TPT,% Gannon:2001:JCC,% Gatrell:2015:ERC,% Geller:2005:TME,% Gerlach:2003:GPS,% Goode:2002:BAN,% Goode:2003:BAN,% Griffiths:2010:PC,% Griffiths:2012:PC,% Griffiths:2012:PCB,% Grinzo:2002:PBC,% Grossu:2010:CCC,% Grossu:2012:CCC,% Grossu:2013:CMB,% Grossu:2022:MHF,% Gunnerson:2001:PCI,% Gunnerson:2005:PIC,% Hanson:2004:RCC,% Harvey:2000:CPP,% Hejlsberg:2004:CPL,% Hejlsberg:2006:CPL,% Hejlsberg:2008:CPL,% Hejlsberg:2011:CPL,% Herbert:2002:CCR,% Hilyard:2006:CC,% Hilyard:2007:CC,% Huddleston:2005:BCD,% Hummel:2006:LFD,% Humphrey:2003:GCC,% Hunt:2003:LSM,% ISO:2003:IIIb,% ISO:2006:IIIb,% Jagger:2007:ACS,% Jimeno:2007:CYO,% Jones:2002:STY,% Jones:2004:STY,% Kaiser:2006:CJC,% Kauffman:2002:BAN,% Kiczales:2004:CLG,% Kimmel:2002:ACP,% Lauwens:2017:PRC,% Lewis:2006:CSS,% Liberty:2001:PC,% Liberty:2002:LC,% Liberty:2002:PC,% Liberty:2003:PC,% Liberty:2005:PC,% Liberty:2006:LC,% Liberty:2008:LC,% Liberty:2008:PC,% Lippman:2001:CD,% Lutz:2003:BBC,% Lutz:2003:CNF,% Lutz:2003:ISR,% MacBeth:2004:CPH,% MacDonald:2003:CDS,% MacDonald:2005:BAN,% MacDonald:2005:PAN,% MacDonald:2008:PWC,% MacDonald:2010:WC,% Magennis:2010:LOU,% Matthew:2006:PNW,% Mayo:2008:CNF,% McCluskey:2003:CT,% McCluskey:2003:ECH,% McCluskey:2003:IC,% McCluskey:2003:UCP,% McCluskey:2003:WCC,% McCluskey:2004:COO,% McCluskey:2004:MUC,% McCluskey:2004:UCA,% McCluskey:2004:UCR,% McCluskey:2004:WCI,% McCluskey:2005:WCS,% Metsker:2004:DPC,% Meyer:2002:ACT,% Michaelis:2007:EC,% Michaelis:2009:ECN,% Michaelis:2010:ECH,% Mojica:2002:CVN,% Montanari:2018:OCC,% Mossenbock:2004:CP,% Murach:2004:MC,% Murach:2006:MC% }. \NAMECITE{{C\#}}{% Nagel:2006:PC,% Nagel:2010:PCN,% Nilsson:2006:ADD,% Nodelman:2004:OCC,% Onion:2003:EANb,% Pelland:2006:PJM,% Penton:2005:BCG,% Perez:2017:UCP,% Perry:2006:CCN,% Petzold:2002:MWP,% Petzold:2002:PMW,% Powell:2001:CNF,% Reges:2002:CCR,% Reynolds-Haertle:2002:POM,% Reynolds:2002:NED,% Richter:2006:CCS,% Richter:2010:CCH,% Robinson:2002:CVP,% Robinson:2002:PCS,% Robinson:2003:PCS,% Robinson:2004:PCS,% Ruvalcaba:2004:BYO,% Santhiar:2017:SDD,% Sauer:2008:VCH,% Saxon:2003:OOR,% Schildt:2001:CBG,% Schildt:2006:CCR,% Schildt:2010:CCR,% Sells:2004:WFPa,% Sestoft:2004:CP,% Shu:2005:FCD,% Singh:2013:TGC,% Skeet:2010:CD,% Sorensen:2002:AND,% Sphar:2008:CD,% Stallings:2001:PBB,% Stark:2005:FSV,% Stellman:2008:HFC,% Stellman:2010:HFC,% Stevens:2002:CPCb,% Stevens:2002:CPW,% Subramaniam:2005:NGW,% Tagliaferri:2003:CC,% Teilhet:2004:CC,% Telles:2002:C,% Telles:2002:CBB,% Telles:2006:VCB,% Thomsen:2002:DPC,% Titus:2003:CTH,% Troelsen:2001:CNP,% Troelsen:2003:CNP,% Troelsen:2005:PCN,% Vaughn:2002:ANE,% Wagner:2002:CCL,% Wagner:2005:ECS,% Wagner:2010:ECH,% Watson:2002:BVC,% Watson:2006:BCD,% Watson:2010:CH,% Willcock:2005:UMC,% Wille:2001:CI,% Willms:2003:CZS,% Wiltamuth:2000:CPL,% Winkler:2004:CCJ,% Worner:2004:ACF,% Yao:2004:NCF,% deChamplain:2005:CPG,% Anonymous:2017:BRG,% Farrell-Vinay:2009:BRM% }. \NAMECITE{{C\#-2005-Codebook}}{% Bayer:2007:CCH% }. \NAMECITE{C/C}{% Cirillo:2001:BRC% }. \NAMECITE{Cache}{% Chilimbi:2006:CCC% }. \NAMECITE{Cache-conscious}{% Chilimbi:2006:CCC% }. \NAMECITE{Calif}{% ACM:2001:PAJ% }. \NAMECITE{Call}{% Zhao:2014:CSP% }. \NAMECITE{Callbacks}{% Humphrey:2003:GCC% }. \NAMECITE{calling}{% Zhao:2014:CSP% }. \NAMECITE{Campbell}{% Farrell-Vinay:2009:BRM% }. \NAMECITE{Can}{% Reges:2002:CCR% }. \NAMECITE{Capabilities}{% Derezinska:2012:OOT% }. \NAMECITE{Case}{% Borger:2004:EAS,% Hashmi:2012:CNI,% Kaiser:2006:CJC% }. \NAMECITE{Centre}{% ACM:2018:CNG% }. \NAMECITE{certifying}{% McCreight:2007:GFC% }. \NAMECITE{{Chameleon}}{% Shacham:2009:CAS% }. \NAMECITE{change}{% Gatrell:2015:ERC% }. \NAMECITE{chaos}{% Grossu:2010:CCC,% Grossu:2012:CCC,% Grossu:2013:CMB,% Grossu:2013:CMB% }. \NAMECITE{checking}{% Xu:2009:SCC% }. \NAMECITE{checks}{% Shankar:2007:DAI% }. \NAMECITE{choose}{% Anonymous:2004:CGH% }. \NAMECITE{Class}{% Abrams:2004:NFS,% Balena:2006:PMV,% Bonzini:2001:LHG,% Axelsen:2009:GPT,% Conway:2003:CCD,% Fossum:2005:CFC% }. \NAMECITE{Classes}{% Fossum:2005:CFC,% McCluskey:2003:WCC,% McCluskey:2004:UCA,% Perez:2017:UCP,% Conway:2003:CCD,% Fekete:2008:TSD,% Jimeno:2007:CYO,% Titzer:2013:HCF,% Tsafrir:2009:MDW% }. \NAMECITE{{CLR}}{% Richter:2006:CCS,% Richter:2010:CCH% }. \NAMECITE{coallocation}{% Chilimbi:2006:CCC% }. \NAMECITE{Code}{% Anonymous:2005:SAS,% Bonzini:2001:LHG,% Nagel:2014:CGE,% Barker:2004:BCO,% Ferrara:2008:SUC,% Grossu:2013:CMB,% Pinheiro:2020:MCA,% Singh:2013:TGC,% Grossu:2010:CCC,% Grossu:2012:CCC% }. \NAMECITE{Codebook}{% Bayer:2007:CCH,% Bayer:2008:CCH,% Bayer:2007:CCH,% Bayer:2008:CCH% }. \NAMECITE{coding}{% Conway:2003:CCD% }. \NAMECITE{coercion}{% Siek:2015:BCT% }. \NAMECITE{Colin}{% Farrell-Vinay:2009:BRM% }. \NAMECITE{collaborative}{% Rajan:2010:GPM% }. \NAMECITE{Collection}{% Garcia:2021:IHG,% Kalibera:2011:SRT,% Pizlo:2010:SFT% }. \NAMECITE{Collections}{% McCluskey:2004:MUC,% Shacham:2009:CAS% }. \NAMECITE{collectors}{% Hawblitzel:2009:AVP,% Kliot:2009:LFC,% McCreight:2007:GFC,% Pizlo:2008:SCR% }. \NAMECITE{college}{% Goulding:2008:CGD% }. \NAMECITE{column}{% Hunt:2003:LSM% }. \NAMECITE{COM}{% Beyer:2001:CCP% }. \NAMECITE{commerce}{% Hoffman:2003:ANC% }. \NAMECITE{commercial}{% Gatrell:2015:ERC% }. \NAMECITE{Common}{% Box:2003:ENC,% ISO:2005:IIIa,% ISO:2005:IIIb,% Crowell:2001:CP,% Hunt:2003:LSM,% Miller:2004:CLI,% Willcock:2005:UMC% }. \NAMECITE{Compact}{% Yao:2004:NCF% }. \NAMECITE{companies}{% Anonymous:2004:BBM,% Anonymous:2004:CGH% }. \NAMECITE{Comparing}{% Kaiser:2006:CJC% }. \NAMECITE{Comparison}{% Cimler:2016:CRC% }. \NAMECITE{Competitor}{% Winkler:2004:CCJ% }. \NAMECITE{Compilation}{% Jagannathan:2014:ARV,% Chen:2008:TPC,% Jantz:2013:ESM% }. \NAMECITE{compiler}{% Clifton:2006:MDR,% Hanson:2004:RCC,% Kanig:2012:HLC,% Menon:2006:VSP% }. \NAMECITE{compilers}{% Chen:2008:TPC% }. \NAMECITE{complete}{% Bishop:2004:CGC,% Foxall:2006:STY,% Foxall:2008:STY,% Herbert:2002:CCR,% Schildt:2006:CCR,% Schildt:2010:CCR,% Tagliaferri:2003:CC% }. \NAMECITE{completeness}{% Kiselyov:2017:SFC% }. \NAMECITE{completion}{% Perelman:2012:TDC% }. \NAMECITE{Complex}{% Goulding:2007:CGD,% Goulding:2008:CGD% }. \NAMECITE{Components}{% Reilly:2002:ANS,% Anonymous:2003:MMS,% Pattison:2003:BAC% }. \NAMECITE{Computer}{% Baran:2001:NVA,% Goulding:2007:CGD% }. \NAMECITE{Computing}{% Gerlach:2003:GPS% }. \NAMECITE{concept}{% Miura:2009:AGI% }. \NAMECITE{concepts}{% Barker:2004:BCO,% Sestoft:2008:PLC% }. \NAMECITE{concisely}{% Bishop:2004:CC% }. \NAMECITE{concurrency}{% Benton:2004:MCA% }. \NAMECITE{concurrent}{% Jacobs:2008:PMC,% Kliot:2009:LFC,% Pizlo:2008:SCR% }. \NAMECITE{Conference}{% ACM:2001:PAJ,% ACM:2018:CNG% }. \NAMECITE{{CoNGA}}{% ACM:2018:CNG% }. \NAMECITE{conscious}{% Chilimbi:2006:CCC% }. \NAMECITE{Construction}{% Lee:2004:JBN% }. \NAMECITE{contract}{% Xu:2009:SCC% }. \NAMECITE{Contributing}{% Cirillo:2001:BRC% }. \NAMECITE{controls}{% Matthew:2006:PNW% }. \NAMECITE{Convention}{% ACM:2018:CNG% }. \NAMECITE{convergence}{% Kanig:2012:HLC% }. \NAMECITE{Conversion}{% Mojica:2002:CVN% }. \NAMECITE{convex}{% Montanari:2018:OCC% }. \NAMECITE{cookbook}{% Hilyard:2006:CC,% Hilyard:2007:CC,% Teilhet:2004:CC% }. \NAMECITE{Core}{% Perry:2006:CCN,% Wagner:2002:CCL% }. \NAMECITE{Correction}{% Bonzini:2001:LHG% }. \NAMECITE{Course}{% Wang:2011:EEU,% Reynolds-Haertle:2002:POM,% Sharp:2002:PMV% }. \NAMECITE{creating}{% Alm:2002:YBS% }. \NAMECITE{Creation}{% Cimler:2016:CRC% }. \NAMECITE{Crosscut}{% Kiczales:2004:CLG% }. \NAMECITE{{CS1}}{% Alm:2002:YBS,% Reges:2002:CCR% }. \NAMECITE{{CS2}}{% Alm:2002:YBS,% Reges:2002:CCR% }. \NAMECITE{{CSharp}}{% Balzert:2006:CEP,% Balzert:2006:COP% }. \NAMECITE{CUP}{% Farrell-Vinay:2009:BRM% }. \NAMECITE{Curb}{% Jimeno:2007:CYO% }. \NAMECITE{curriculum}{% Goulding:2008:CGD% }. \NAMECITE{custom}{% Matthew:2006:PNW% }. \NAMECITE{cycle}{% Choi:2013:PAC% }. \NAMECITE{dager}{% Jones:2002:STY% }. \NAMECITE{Data}{% Lutz:2003:BBC,% Chilimbi:2006:CCC,% Hummel:2006:LFD,% Kennedy:2018:TGC,% MacDonald:2003:CDS,% McSherry:2010:PIQ,% Miura:2009:AGI,% Shankar:2007:DAI,% Wildermuth:2003:PAN% }. \NAMECITE{Database}{% Thomsen:2002:DPC% }. \NAMECITE{Databases}{% Watson:2006:BCD,% Huddleston:2005:BCD,% Kauffman:2002:BAN% }. \NAMECITE{days}{% Jones:2004:STY% }. \NAMECITE{DBA}{% Lutz:2003:BBC% }. \NAMECITE{deadlock}{% Santhiar:2017:SDD% }. \NAMECITE{Debugging}{% Zyulkyarov:2010:DPU% }. \NAMECITE{deep}{% Anonymous:2005:SAS% }. \NAMECITE{definition}{% Borger:2005:HLM% }. \NAMECITE{Definitive}{% Albahari:2022:CND% }. \NAMECITE{delayed}{% Fahndrich:2007:EOI% }. \NAMECITE{Delegate}{% Lippman:2001:CD% }. \NAMECITE{Demystified}{% Kent:2005:VCD% }. \NAMECITE{{Department}}{% Bonzini:2001:LHG% }. \NAMECITE{dependencies}{% Tsafrir:2009:MDW% }. \NAMECITE{deployment}{% Reynolds:2002:NED% }. \NAMECITE{Depth}{% Skeet:2010:CD% }. \NAMECITE{descent}{% Saxon:2003:OOR% }. \NAMECITE{described}{% Hunt:2003:LSM% }. \NAMECITE{Design}{% Doyle:2010:CPP,% Lutz:2003:BBC,% Metsker:2004:DPC,% Rauniyar:2017:DDR,% Bellinaso:2002:ANW,% Bishop:2007:CDP,% Conway:2003:CCD,% Cooper:2003:CDP,% Doyle:2008:CPP,% Hoffman:2003:ANC,% Lewis:2006:CSS,% Nilsson:2006:ADD,% Reynolds:2002:NED,% Clifton:2006:MDR% }. \NAMECITE{Desktop}{% Griffiths:2012:PCB,% Drayton:2002:CND,% Drayton:2003:CND% }. \NAMECITE{detection}{% Santhiar:2017:SDD% }. \NAMECITE{develop}{% Fekete:2008:TSD% }. \NAMECITE{developer}{% Dumbill:2004:MDN,% Liberty:2005:VCD,% Sweeney:2006:NMP% }. \NAMECITE{developers}{% Sestoft:2008:PLC,% Balena:2005:PGB% }. \NAMECITE{Developing}{% Anonymous:2003:MMS,% Bishop:2004:DPG,% Anonymous:2002:MMS,% Sorensen:2002:AND% }. \NAMECITE{Development}{% Rauniyar:2017:DDR,% Bakharia:2002:CFE,% Goulding:2007:CGD,% Goulding:2008:CGD,% Reynolds:2002:NED% }. \NAMECITE{{DHTML}}{% Bonzini:2001:LHG% }. \NAMECITE{diagram}{% Choi:2013:PAC% }. \NAMECITE{{Dijkstra}}{% Swamy:2013:VHO% }. \NAMECITE{dimensional}{% Montanari:2018:OCC% }. \NAMECITE{directed}{% Perelman:2012:TDC% }. \NAMECITE{{Disasters}}{% Lutz:2003:BBC% }. \NAMECITE{Discussion}{% Gannon:2001:JCC% }. \NAMECITE{Disease}{% Cimler:2016:CRC% }. \NAMECITE{distance}{% Montanari:2018:OCC% }. \NAMECITE{distributed}{% Rajan:2010:GPM% }. \NAMECITE{{DITTO}}{% Shankar:2007:DAI% }. \NAMECITE{do}{% Anonymous:2004:CGH% }. \NAMECITE{Dobb}{% Erickson:2001:DDE% }. \NAMECITE{domain}{% Nilsson:2006:ADD% }. \NAMECITE{domain-driven}{% Nilsson:2006:ADD% }. \NAMECITE{down}{% Alm:2002:YBS% }. \NAMECITE{{Dr.}}{% Erickson:2001:DDE% }. \NAMECITE{driven}{% Nilsson:2006:ADD% }. \NAMECITE{Dumb}{% Bonzini:2001:LHG% }. \NAMECITE{dummies}{% Davis:2005:CD,% Davis:2006:CD,% Sphar:2008:CD% }. \NAMECITE{Dutch}{% Robinson:2002:CVP,% Willms:2003:CZS,% Foxall:2002:CU,% Gunnerson:2001:PCI,% Petzold:2002:MWP,% Reynolds-Haertle:2002:POM,% Sharp:2002:PMV,% Wille:2001:CI% }. \NAMECITE{Dynamic}{% Barrett:2003:DPJ,% Drossopoulou:2006:FMD% }. \NAMECITE{e-commerce}{% Hoffman:2003:ANC% }. \NAMECITE{easy}{% Anonymous:2005:COE,% Bakharia:2002:CFE% }. \NAMECITE{easy-to-use}{% Anonymous:2005:COE% }. \NAMECITE{{ECMA}}{% Csharp:2002:SEC% }. \NAMECITE{{ECMA-334}}{% Csharp:2002:SEC,% ECMA-334-1,% ECMA-334-2,% ECMA-334-3,% ECMA-334-4,% ECMA:2002:ECL% }. \NAMECITE{ed}{% Naugler:2008:RPW% }. \NAMECITE{Edition}{% Bakharia:2006:MVC,% Barker:2006:VCE,% Pelland:2005:MVC,% Pelland:2006:MVC,% Pelland:2006:PJM% }. \NAMECITE{{{Editors}}}{% Cirillo:2001:BRC% }. \NAMECITE{effect}{% Gatrell:2015:ERC% }. \NAMECITE{Effective}{% Wagner:2005:ECS,% Wagner:2010:ECH,% Conway:2003:CCD% }. \NAMECITE{efficient}{% Nagel:2014:CGE% }. \NAMECITE{einsteigen}{% Fahnenstich:2006:REP% }. \NAMECITE{Einstieg}{% Balzert:2006:CEP% }. \NAMECITE{elements}{% Baldwin:2006:ECS% }. \NAMECITE{embedded}{% Sallenave:2012:LGE% }. \NAMECITE{empirical}{% Pinheiro:2020:MCA% }. \NAMECITE{Engine}{% Grossu:2013:CMB% }. \NAMECITE{enterprise}{% Reynolds:2002:NED% }. \NAMECITE{{Entity}}{% Lerman:2010:PEF% }. \NAMECITE{entrance}{% Balzert:2006:CEP% }. \NAMECITE{environment}{% Carlisle:2003:WAN,% Fossum:2005:CFC,% Watkins:2003:PNE% }. \NAMECITE{environment-passing}{% Fossum:2005:CFC% }. \NAMECITE{errors}{% Bond:2007:TBA% }. \NAMECITE{Essential}{% Box:2003:ENC,% Michaelis:2007:EC,% Michaelis:2009:ECN,% Michaelis:2010:ECH,% Onion:2003:EANa,% Onion:2003:EANb% }. \NAMECITE{Essentials}{% Albahari:2001:CE,% Albahari:2002:CEP% }. \NAMECITE{Establishing}{% Fahndrich:2007:EOI% }. \NAMECITE{{\'e}tape}{% Sharp:2006:MVCb% }. \NAMECITE{{EU}}{% Cimler:2016:CRC% }. \NAMECITE{Evaluation}{% Derezinska:2012:OOT,% Derezinska:2012:QEO,% Wang:2011:EEU,% Pinheiro:2020:MCA,% Saxena:2009:PEO% }. \NAMECITE{Examining}{% McCluskey:2003:ECH% }. \NAMECITE{examples}{% Nilsson:2006:ADD,% Onion:2003:EANa,% Onion:2003:EANb,% Vaughn:2002:ANE% }. \NAMECITE{Exams}{% Anonymous:2002:MMS,% Anonymous:2003:MMS% }. \NAMECITE{Excellence}{% Erickson:2001:DDE% }. \NAMECITE{Executables}{% Bonzini:2001:LHG% }. \NAMECITE{exotic}{% Geller:2005:TME% }. \NAMECITE{Experience}{% Bishop:2005:EIJ,% Barnett:2011:SVS,% Wehr:2010:JBP% }. \NAMECITE{expert}{% MacDonald:2005:PAN,% Lhotka:2006:ECB% }. \NAMECITE{Exploiting}{% Borger:2004:EAS% }. \NAMECITE{Exploring}{% Jantz:2013:ESM% }. \NAMECITE{Express}{% Bakharia:2006:MVC,% Barker:2006:VCE,% Pelland:2005:MVC,% Pelland:2006:PJM,% Pelland:2006:MVC% }. \NAMECITE{expressions}{% Perelman:2012:TDC% }. \NAMECITE{Expressive}{% Huang:2008:ESS% }. \NAMECITE{{Expressivity}}{% Kennedy:2018:TGC% }. \NAMECITE{Extended}{% Abrams:2004:NFS% }. \NAMECITE{extending}{% Magennis:2010:LOU% }. \NAMECITE{extensible}{% McSherry:2010:PIQ% }. \NAMECITE{extensions}{% Bierman:2007:LTF% }. \NAMECITE{Extensive}{% Wang:2011:EEU% }. \NAMECITE{{F\#}}{% Shu:2005:FCD% }. \NAMECITE{family}{% Kiczales:2004:CLG% }. \NAMECITE{fast}{% Bakharia:2002:CFE,% Kedia:2017:SFS% }. \NAMECITE{faster}{% Tsafrir:2009:MDW% }. \NAMECITE{Fault}{% Ramalingam:2013:FTI,% Gatrell:2015:ERC% }. \NAMECITE{fault-proneness}{% Gatrell:2015:ERC% }. \NAMECITE{financial}{% Worner:2004:ACF% }. \NAMECITE{First}{% Stevens:2002:CPW,% Fossum:2005:CFC,% Homer:2003:FLA,% Homer:2004:FLA,% Siek:2015:BCT,% Stellman:2008:HFC,% Stellman:2010:HFC% }. \NAMECITE{fixing}{% Liu:2014:FFL% }. \NAMECITE{flexible}{% Drossopoulou:2006:FMD% }. \NAMECITE{{Flint}}{% Liu:2014:FFL% }. \NAMECITE{form}{% Jimeno:2007:CYO% }. \NAMECITE{Formal}{% Stark:2005:FSV% }. \NAMECITE{formalizing}{% Bierman:2007:LTF% }. \NAMECITE{forms}{% Matthew:2006:PNW,% Sells:2004:WFPa,% Sells:2004:WFPb% }. \NAMECITE{Fortify}{% Anonymous:2005:SAS% }. \NAMECITE{forum}{% Reges:2002:SFI% }. \NAMECITE{Foundation}{% Naugler:2008:RPW,% MacDonald:2008:PWC% }. \NAMECITE{foundations}{% Lewis:2006:CSS% }. \NAMECITE{{FPGA}}{% Lehoczky:2018:HLN% }. \NAMECITE{fractal}{% Grossu:2022:MHF% }. \NAMECITE{fragmentation}{% Pizlo:2010:SFT% }. \NAMECITE{fragmentation-tolerant}{% Pizlo:2010:SFT% }. \NAMECITE{Framework}{% Abrams:2004:NFS,% Albahari:2002:CEP,% Lutz:2003:CNF,% Lutz:2003:ISR,% Mayo:2008:CNF,% Michaelis:2009:ECN,% Yao:2004:NCF,% McCreight:2007:GFC,% Powell:2001:CNF,% Griffiths:2012:PCB,% Lerman:2010:PEF% }. \NAMECITE{free}{% Kliot:2009:LFC% }. \NAMECITE{{French}}{% Sharp:2006:MVCb% }. \NAMECITE{freshman}{% Goulding:2007:CGD% }. \NAMECITE{functions}{% Titzer:2013:HCF% }. \NAMECITE{fusion}{% Kiselyov:2017:SFC% }. \NAMECITE{future}{% Hummel:2006:LFD% }. \NAMECITE{{G}}{% Kennedy:2018:TGC% }. \NAMECITE{Game}{% Wang:2011:EEU,% Buono:2003:CGP,% Buono:2005:CGP,% Goulding:2007:CGD,% Goulding:2008:CGD,% Penton:2005:BCG,% Sweeney:2006:NMP% }. \NAMECITE{Garbage}{% Garcia:2021:IHG,% Hawblitzel:2009:AVP,% Kalibera:2011:SRT,% Kliot:2009:LFC,% McCreight:2007:GFC,% Pizlo:2008:SCR,% Pizlo:2010:SFT% }. \NAMECITE{{Garden}}{% Miura:2009:AGI% }. \NAMECITE{{GCC}}{% Bonzini:2001:LHG% }. \NAMECITE{{GDI}}{% Chand:2004:GPG% }. \NAMECITE{general}{% Alon:2018:GPB,% McCreight:2007:GFC% }. \NAMECITE{Generalized}{% Humphrey:2003:GCC,% Kennedy:2018:TGC,% Wehr:2010:JBP% }. \NAMECITE{Generating}{% Hertz:2006:GOL,% Singh:2013:TGC% }. \NAMECITE{Generation}{% ACM:2018:CNG,% Nagel:2014:CGE% }. \NAMECITE{Generative}{% Draheim:2005:GPC% }. \NAMECITE{generators}{% Lauwens:2017:PRC% }. \NAMECITE{Generic}{% Gerlach:2003:GPS,% Tsafrir:2009:MDW% }. \NAMECITE{Generics}{% Moors:2008:GHK,% Sallenave:2012:LGE% }. \NAMECITE{{German}}{% Balzert:2006:CEP,% Balzert:2006:COP,% Bayer:2007:CCH,% Bayer:2008:CCH% }. \NAMECITE{Get}{% Liberty:2006:LC% }. \NAMECITE{{GNU}}{% Galassi:2002:GSL% }. \NAMECITE{Goes}{% Kiczales:2004:CLG,% Anonymous:2004:CGH% }. \NAMECITE{gotchas}{% Subramaniam:2005:NGW% }. \NAMECITE{Grande}{% ACM:2001:PAJ% }. \NAMECITE{Grande/ISCOPE}{% ACM:2001:PAJ% }. \NAMECITE{Graphics}{% Chand:2004:GPG% }. \NAMECITE{{{{Gray}}}}{% Anonymous:2017:BRG% }. \NAMECITE{{Groovy}}{% Axelsen:2009:GPT% }. \NAMECITE{{GUESSTIMATE}}{% Rajan:2010:GPM% }. \NAMECITE{{GUI}}{% Bishop:2004:DPG% }. \NAMECITE{Guide}{% Kent:2005:VCD,% Lutz:2003:BBC,% Bishop:2004:CGC,% Buono:2003:CGP,% Buono:2005:CGP,% Makofske:2003:MSP,% Schildt:2001:CBG,% deChamplain:2005:CPG% }. \NAMECITE{guidelines}{% Balena:2005:PGB% }. \NAMECITE{gut}{% Stubblebine:2008:RAK% }. \NAMECITE{handbook}{% Conway:2003:CCD,% MacBeth:2004:CPH,% MacDonald:2003:CDS,% Titus:2003:CTH% }. \NAMECITE{Hardware}{% Garcia:2021:IHG,% Abadi:2009:TMS,% Cao:2012:YYP% }. \NAMECITE{Harmonizing}{% Titzer:2013:HCF% }. \NAMECITE{{Haskell}}{% Xu:2009:SCC% }. \NAMECITE{{Hastlayer}}{% Lehoczky:2018:HLN% }. \NAMECITE{Head}{% Stellman:2008:HFC,% Stellman:2010:HFC,% Anonymous:2003:JHS,% Anonymous:2004:CGH% }. \NAMECITE{Hello}{% McCluskey:2003:ECH% }. \NAMECITE{{Hi}}{% Kanig:2012:HLC% }. \NAMECITE{{Hi-Lite}}{% Kanig:2012:HLC% }. \NAMECITE{hierarchies}{% Axelsen:2009:GPT% }. \NAMECITE{High}{% Lehoczky:2018:HLN,% Lutz:2003:BBC,% Borger:2005:HLM,% Gannon:2001:JCC% }. \NAMECITE{High-level}{% Lehoczky:2018:HLN,% Borger:2005:HLM% }. \NAMECITE{High-Tech}{% Lutz:2003:BBC% }. \NAMECITE{higher}{% Moors:2008:GHK,% Swamy:2013:VHO% }. \NAMECITE{higher-order}{% Swamy:2013:VHO% }. \NAMECITE{highly}{% Spring:2010:RAI% }. \NAMECITE{hindered}{% Anonymous:2003:JHS% }. \NAMECITE{Hogging}{% Baran:2001:NVA% }. \NAMECITE{hook}{% Kiczales:2004:CLG% }. \NAMECITE{hot}{% Chilimbi:2006:CCC% }. \NAMECITE{hours}{% Foxall:2002:CU,% Foxall:2004:STY,% Foxall:2006:STY,% Foxall:2008:STY% }. \NAMECITE{how-to}{% Watson:2010:CH% }. \NAMECITE{Huge}{% Bonzini:2001:LHG% }. \NAMECITE{hyper}{% Grossu:2022:MHF% }. \NAMECITE{hyper-fractal}{% Grossu:2022:MHF% }. \NAMECITE{{Ideas}}{% Bonzini:2001:LHG% }. \NAMECITE{idempotence}{% Ramalingam:2013:FTI% }. \NAMECITE{{IEC}}{% ISO:2003:IIIb,% ISO:2005:IIIa,% ISO:2005:IIIb,% ISO:2006:IIIb% }. \NAMECITE{{IEEE}}{% Lutz:2003:ISR% }. \NAMECITE{{III}}{% Titzer:2013:HCF% }. \NAMECITE{Immersive}{% Lutz:2003:BBC% }. \NAMECITE{immutability}{% Gordon:2012:URI% }. \NAMECITE{Implementation}{% Lehoczky:2018:HLN,% Perez:2017:UCP,% Ballinger:2003:NWS,% Clifton:2006:MDR,% Dunn:2003:CAI% }. \NAMECITE{Implementations}{% Lehoczky:2018:HLN% }. \NAMECITE{improve}{% Subramaniam:2005:NGW,% Wagner:2005:ECS,% Wagner:2010:ECH% }. \NAMECITE{incremental}{% Kliot:2009:LFC% }. \NAMECITE{incrementalization}{% Shankar:2007:DAI% }. \NAMECITE{Independent}{% Lee:2004:JBN% }. \NAMECITE{Industry}{% Baran:2001:NVA,% Reges:2002:SFI% }. \NAMECITE{Inferable}{% Tate:2010:IOO% }. \NAMECITE{Information}{% ISO:2003:IIIb,% ISO:2005:IIIa,% ISO:2005:IIIb,% ISO:2006:IIIb,% Lee:2004:JBN% }. \NAMECITE{Infrastructure}{% ISO:2005:IIIa,% ISO:2005:IIIb,% Brosgol:2009:ICL,% Miller:2004:CLI,% Willcock:2005:UMC% }. \NAMECITE{inleiding}{% Gunnerson:2001:PCI,% Wille:2001:CI% }. \NAMECITE{inspiration}{% Dunn:2003:CAI% }. \NAMECITE{instruction}{% Yang:2010:SLI% }. \NAMECITE{Integrated}{% Garcia:2021:IHG,% McSherry:2010:PIQ% }. \NAMECITE{integrating}{% Bishop:2005:EIJ,% Spring:2010:RAI% }. \NAMECITE{{Intel}}{% Bonzini:2001:LHG% }. \NAMECITE{{Intelligence}}{% Lutz:2003:BBC% }. \NAMECITE{intelligent}{% Anonymous:2005:SAS% }. \NAMECITE{interactive}{% Miura:2009:AGI% }. \NAMECITE{Interfaces}{% McCluskey:2004:WCI,% Wehr:2010:JBP% }. \NAMECITE{{Internet}}{% Baran:2001:NVA,% Rauniyar:2017:DDR,% Wildermuth:2003:PAN% }. \NAMECITE{interpreter}{% Fossum:2005:CFC% }. \NAMECITE{Interruptible}{% Liu:2006:II% }. \NAMECITE{Introduction}{% McCluskey:2003:IC,% Brosgol:2009:ICL,% Deitel:2003:CPI,% Gunnerson:2001:PCI,% Gunnerson:2005:PIC,% Wille:2001:CI% }. \NAMECITE{invariant}{% Shankar:2007:DAI% }. \NAMECITE{invariants}{% Fahndrich:2007:EOI% }. \NAMECITE{{ISAs}}{% Hashmi:2012:CNI% }. \NAMECITE{ISB}{% Farrell-Vinay:2009:BRM% }. \NAMECITE{ISB-10}{% Farrell-Vinay:2009:BRM% }. \NAMECITE{ISBN}{% Anonymous:2017:BRG,% Naugler:2008:RPL,% Naugler:2008:RPW% }. \NAMECITE{ISCOPE}{% ACM:2001:PAJ% }. \NAMECITE{{ISO}}{% ISO:2003:IIIb,% ISO:2005:IIIa,% ISO:2005:IIIb,% ISO:2006:IIIb% }. \NAMECITE{{ISO/IEC}}{% ISO:2003:IIIb,% ISO:2005:IIIa,% ISO:2005:IIIb,% ISO:2006:IIIb% }. \NAMECITE{iterators}{% Liu:2006:II% }. \NAMECITE{ivory}{% Reges:2002:SFI% }. \NAMECITE{{J\#}}{% Geller:2005:TME% }. \NAMECITE{Jacky}{% Farrell-Vinay:2009:BRM% }. \NAMECITE{Java}{% ACM:2001:PAJ,% Stubblebine:2008:RAK,% Anonymous:2003:JHS,% Anonymous:2004:BBM,% Anonymous:2004:CGH,% Anonymous:2005:COE,% Anonymous:2005:SAS,% Baran:2001:NVA,% Barrett:2003:DPJ,% Bishop:2005:EIJ,% Bonzini:2001:LHG,% Borger:2004:EAS,% Bruckschlegel:2005:MCC,% Drossopoulou:2006:FMD,% Eaddy:2001:CVJ,% Fekete:2008:TSD,% Gannon:2001:JCC,% Gerlach:2003:GPS,% Hunt:2003:LSM,% Kaiser:2006:CJC,% Kiczales:2004:CLG,% Lee:2004:JBN,% Lutz:2003:BBC,% Pinheiro:2020:MCA,% Reges:2002:CCR,% Shankar:2007:DAI,% Spring:2010:RAI,% Swaine:2001:PPA,% Winkler:2004:CCJ% }. \NAMECITE{{Java/C\#}}{% Borger:2004:EAS% }. \NAMECITE{{JavaGI}}{% Wehr:2010:JBP% }. \NAMECITE{jetzt}{% Pelland:2006:PJM% }. \NAMECITE{{JIT}}{% Jantz:2013:ESM% }. \NAMECITE{Join}{% Russo:2008:JPV% }. \NAMECITE{Jonathan}{% Farrell-Vinay:2009:BRM% }. \NAMECITE{{JSP}}{% Anonymous:2005:SAS% }. \NAMECITE{{Julia}}{% Lauwens:2017:PRC% }. \NAMECITE{June}{% ACM:2001:PAJ% }. \NAMECITE{Just}{% Baran:2001:NVA% }. \NAMECITE{keynote}{% McKinley:2016:PWU% }. \NAMECITE{kick}{% Holzner:2004:MVC% }. \NAMECITE{{Kids}}{% Schumann:2006:VCK% }. \NAMECITE{Killer}{% Baran:2001:NVA,% Hunt:2003:LSM% }. \NAMECITE{kind}{% Moors:2008:GHK% }. \NAMECITE{Kit}{% Barker:2006:VCE,% Anonymous:2002:MMS,% Anonymous:2003:MMS,% Foxall:2006:STY,% Foxall:2008:STY% }. \NAMECITE{kompakter}{% Mossenbock:2006:SCK% }. \NAMECITE{kurz}{% Stubblebine:2008:RAK% }. \NAMECITE{Language}{% Beebe:2006:BPAa,% Box:2003:ENC,% Csharp:2002:SEC,% Drayton:2002:CLP,% ECMA-334-1,% ECMA-334-2,% ECMA-334-3,% ECMA-334-4,% ECMA:2002:ECL,% Hejlsberg:2008:CPL,% Hejlsberg:2011:CPL,% ISO:2003:IIIb,% ISO:2005:IIIa,% ISO:2005:IIIb,% Marshall:2005:PMV,% Miller:2004:CLI,% Willcock:2005:UMC,% Wiltamuth:2000:CPL,% Anonymous:2003:JHS,% Brosgol:2009:ICL,% Hejlsberg:2004:CPL,% Hejlsberg:2006:CPL,% Jones:2004:STY,% Kennedy:2018:TGC,% Sestoft:2008:PLC,% Sweeney:2006:NMP,% Tate:2010:IOO,% Vick:2004:VBN,% Wagner:2002:CCL% }. \NAMECITE{languages}{% Anonymous:2004:CGH,% Crowell:2001:CP,% Geller:2005:TME,% Hunt:2003:LSM,% ISO:2006:IIIb,% Miura:2009:AGI% }. \NAMECITE{Large}{% Cimler:2016:CRC,% Chen:2008:TPC% }. \NAMECITE{large-scale}{% Chen:2008:TPC% }. \NAMECITE{last}{% Yang:2010:SLI% }. \NAMECITE{Lead}{% Rauniyar:2017:DDR% }. \NAMECITE{Lead-Acid}{% Rauniyar:2017:DDR% }. \NAMECITE{Learning}{% Liberty:2002:LC,% Liberty:2006:LC,% Liberty:2008:LC,% Miura:2009:AGI% }. \NAMECITE{Legacy}{% Bonzini:2001:LHG% }. \NAMECITE{{Lehrgang}}{% Mossenbock:2006:SCK% }. \NAMECITE{lernen}{% Fahnenstich:2006:REP% }. \NAMECITE{lessons}{% Kiczales:2004:CLG% }. \NAMECITE{lets}{% Anonymous:2004:BBM% }. \NAMECITE{Letters}{% Bonzini:2001:LHG% }. \NAMECITE{Level}{% Buis:2002:SLS,% Borger:2005:HLM,% Lehoczky:2018:HLN% }. \NAMECITE{Libraries}{% Bonzini:2001:LHG,% ISO:2005:IIIb% }. \NAMECITE{Library}{% Abrams:2004:NFS,% Balena:2006:PMV,% Galassi:2002:GSL,% Faxen:2008:WWS,% Abrams:2004:NFS% }. \NAMECITE{lifetime}{% Hertz:2006:GOL% }. \NAMECITE{Lightweight}{% Sallenave:2012:LGE% }. \NAMECITE{limit}{% Anonymous:2004:CGH% }. \NAMECITE{linearizability}{% Liu:2014:FFL% }. \NAMECITE{Lines}{% Perez:2017:UCP% }. \NAMECITE{linking}{% Drossopoulou:2006:FMD% }. \NAMECITE{LINQ}{% Naugler:2008:RPL,% Albahari:2008:LPR,% Hummel:2006:LFD,% Magennis:2010:LOU% }. \NAMECITE{{Lisp}}{% Kiczales:2004:CLG% }. \NAMECITE{{Lite}}{% Kanig:2012:HLC% }. \NAMECITE{Little}{% Kiczales:2004:CLG,% Wagner:2002:CCL% }. \NAMECITE{Loader}{% Bonzini:2001:LHG% }. \NAMECITE{lock}{% Kliot:2009:LFC% }. \NAMECITE{lock-free}{% Kliot:2009:LFC% }. \NAMECITE{Long}{% Kiczales:2004:CLG% }. \NAMECITE{Look}{% Anonymous:2001:LTC,% Hunt:2003:LSM,% Stevens:2002:CPW,% Homer:2003:FLA,% Homer:2004:FLA% }. \NAMECITE{Lost}{% Bierman:2007:LTF% }. \NAMECITE{lot}{% Crowell:2001:CP,% Hunt:2003:LSM% }. \NAMECITE{Machines}{% Gannon:2001:JCC,% Jantz:2013:ESM% }. \NAMECITE{macros}{% Kiczales:2004:CLG% }. \NAMECITE{{Mainsoft}}{% Anonymous:2004:BBM% }. \NAMECITE{mainstream}{% Sweeney:2006:NMP% }. \NAMECITE{majors}{% Goulding:2007:CGD% }. \NAMECITE{Making}{% McCluskey:2004:MUC% }. \NAMECITE{managed}{% Cao:2012:YYP,% Nagel:2014:CGE% }. \NAMECITE{management}{% Kedia:2017:SFS% }. \NAMECITE{Manual}{% Galassi:2002:GSL,% Kedia:2017:SFS% }. \NAMECITE{Many}{% Grossu:2013:CMB,% Crowell:2001:CP,% Grossu:2010:CCC,% Grossu:2012:CCC,% Kiczales:2004:CLG% }. \NAMECITE{Many-Body}{% Grossu:2013:CMB,% Grossu:2010:CCC,% Grossu:2012:CCC% }. \NAMECITE{Mapping}{% Naugler:2008:RPL% }. \NAMECITE{Margus}{% Farrell-Vinay:2009:BRM% }. \NAMECITE{Marketing}{% Lutz:2003:BBC% }. \NAMECITE{markets}{% Worner:2004:ACF% }. \NAMECITE{{Matlab}}{% Montanari:2018:OCC% }. \NAMECITE{{MCAD}}{% Anonymous:2002:MMS,% Anonymous:2003:MMS% }. \NAMECITE{{MCAD/MCSD}}{% Anonymous:2002:MMS,% Anonymous:2003:MMS% }. \NAMECITE{{MCSD}}{% Anonymous:2002:MMS,% Anonymous:2003:MMS% }. \NAMECITE{mechanism}{% Kliot:2009:LFC% }. \NAMECITE{Mehta}{% Naugler:2008:RPL% }. \NAMECITE{Members}{% McCluskey:2003:UCP% }. \NAMECITE{memory}{% Abadi:2009:TMS,% Kedia:2017:SFS,% Zyulkyarov:2010:DPU% }. \NAMECITE{{Merlin}}{% Hertz:2006:GOL% }. \NAMECITE{metaprogramming}{% Kiczales:2004:CLG% }. \NAMECITE{metrics}{% Singh:2013:TGC% }. \NAMECITE{{Metro}}{% Griffiths:2012:PCB% }. \NAMECITE{Microbenchmarking}{% Bruckschlegel:2005:MCC% }. \NAMECITE{Microsoft}{% Pelland:2006:PJM,% Anonymous:2002:MMS,% Anonymous:2003:JHS,% Anonymous:2003:MMS,% Anonymous:2004:BBM,% Anonymous:2004:CGH,% Bakharia:2006:MVC,% Balena:2005:PGB,% Balena:2006:PMV,% Braden:2006:UMC,% Foxall:2004:STY,% Hoffman:2006:MVC,% Holzner:2004:MVC,% Hunt:2003:LSM,% Marshall:2005:PMV,% Pelland:2005:MVC,% Pelland:2006:MVC,% Petzold:2002:MWP,% Petzold:2002:PMW,% Reynolds-Haertle:2002:POM,% Sharp:2002:PMV,% Sharp:2006:MVCa,% Sharp:2006:MVCb,% Watson:2010:BMV% }. \NAMECITE{Migration}{% Grossu:2022:MHF% }. \NAMECITE{Minimizing}{% Tsafrir:2009:MDW% }. \NAMECITE{model}{% Drossopoulou:2006:FMD,% Jacobs:2008:PMC,% Rajan:2010:GPM,% Stark:2005:FSV,% Farrell-Vinay:2009:BRM% }. \NAMECITE{{{{Model-based}}}}{% Farrell-Vinay:2009:BRM% }. \NAMECITE{models}{% Balzert:2006:COP% }. \NAMECITE{Modern}{% Benton:2004:MCA,% Jantz:2013:ESM% }. \NAMECITE{modular}{% Borger:2005:HLM% }. \NAMECITE{monad}{% Swamy:2013:VHO% }. \NAMECITE{Monitoring}{% Rauniyar:2017:DDR% }. \NAMECITE{monitors}{% Kaiser:2006:CJC% }. \NAMECITE{{Mono}}{% Dumbill:2004:MDN% }. \NAMECITE{Moronic}{% Lutz:2003:BBC% }. \NAMECITE{{MorphJ}}{% Huang:2008:ESS% }. \NAMECITE{move}{% Anonymous:2004:BBM% }. \NAMECITE{{MPI}}{% Willcock:2005:UMC% }. \NAMECITE{{MS}}{% Reynolds-Haertle:2002:POM% }. \NAMECITE{{MSIL}}{% Lee:2004:JBN% }. \NAMECITE{Multicast}{% Makofske:2003:MSP% }. \NAMECITE{{MultiJava}}{% Clifton:2006:MDR% }. \NAMECITE{multilevel}{% Jantz:2013:ESM% }. \NAMECITE{Multiple}{% Rauniyar:2017:DDR% }. \NAMECITE{{Murach}}{% Murach:2004:MC,% Murach:2006:MC% }. \NAMECITE{Mutating}{% Pinheiro:2020:MCA% }. \NAMECITE{Mutation}{% Derezinska:2012:OOT,% Derezinska:2012:QEO% }. \NAMECITE{mutators}{% McCreight:2007:GFC% }. \NAMECITE{neuromorphic}{% Hashmi:2012:CNI% }. \NAMECITE{News}{% Baran:2001:NVA% }. \NAMECITE{Next}{% ACM:2018:CNG,% Sweeney:2006:NMP% }. \NAMECITE{No}{% Anonymous:2017:BRG% }. \NAMECITE{notebook}{% Dumbill:2004:MDN,% Liberty:2005:VCD% }. \NAMECITE{novice}{% Cazzulino:2004:BVW,% Huddleston:2005:BCD,% MacDonald:2005:BAN% }. \NAMECITE{null}{% Bond:2007:TBA% }. \NAMECITE{number}{% Anonymous:2004:CGH% }. \NAMECITE{Numerics}{% Abrams:2004:NFS% }. \NAMECITE{Nutshell}{% Albahari:2022:CND,% Albahari:2007:CN,% Albahari:2010:CN,% Drayton:2002:CND,% Drayton:2003:CND% }. \NAMECITE{Object}{% Derezinska:2012:OOT,% Derezinska:2012:QEO,% Naugler:2008:RPL,% Reynolds-Haertle:2002:POM,% Saxon:2003:OOR,% Balzert:2006:COP,% Chen:2008:TPC,% Fahndrich:2007:EOI,% Hertz:2006:GOL,% Jacobs:2008:PMC,% Kennedy:2018:TGC,% Miura:2009:AGI,% Saxena:2009:PEO,% Tate:2010:IOO% }. \NAMECITE{Object-Oriented}{% Derezinska:2012:OOT,% Derezinska:2012:QEO,% Reynolds-Haertle:2002:POM,% Saxon:2003:OOR,% Balzert:2006:COP,% Chen:2008:TPC,% Jacobs:2008:PMC,% Kennedy:2018:TGC,% Tate:2010:IOO% }. \NAMECITE{Objects}{% Lhotka:2006:ECB,% Barker:2004:BCO,% Fossum:2005:CFC,% Jimeno:2007:CYO,% Magennis:2010:LOU% }. \NAMECITE{objektorientiert}{% Balzert:2006:COP% }. \NAMECITE{objektorientierten}{% Balzert:2006:COP% }. \NAMECITE{off}{% Abadi:2009:TMS% }. \NAMECITE{off-the-shelf}{% Abadi:2009:TMS% }. \NAMECITE{offering}{% Kiczales:2004:CLG% }. \NAMECITE{offers}{% Anonymous:2004:BBM,% Anonymous:2005:COE% }. \NAMECITE{often}{% Hunt:2003:LSM% }. \NAMECITE{{OOP}}{% Nodelman:2004:OCC,% Reynolds-Haertle:2002:POM% }. \NAMECITE{{OpenGJK}}{% Montanari:2018:OCC% }. \NAMECITE{{OpenML}}{% Baran:2001:NVA% }. \NAMECITE{operating}{% Yang:2010:SLI% }. \NAMECITE{Operators}{% Derezinska:2012:QEO,% McCluskey:2004:COO% }. \NAMECITE{optimization}{% Menon:2006:VSP% }. \NAMECITE{optimizing}{% Chen:2008:TPC% }. \NAMECITE{{Oracle}}{% Lutz:2003:BBC% }. \NAMECITE{order}{% Swamy:2013:VHO% }. \NAMECITE{Oriented}{% Derezinska:2012:OOT,% Derezinska:2012:QEO,% Balzert:2006:COP,% Chen:2008:TPC,% Jacobs:2008:PMC,% Kennedy:2018:TGC,% Miura:2009:AGI,% Reynolds-Haertle:2002:POM,% Saxena:2009:PEO,% Saxon:2003:OOR,% Sorensen:2002:AND,% Tate:2010:IOO% }. \NAMECITE{origin}{% Bond:2007:TBA% }. \NAMECITE{orthodox}{% Jimeno:2007:CYO% }. \NAMECITE{Outhouse}{% Stevens:2002:CPCb% }. \NAMECITE{Overloaded}{% McCluskey:2004:COO% }. \NAMECITE{own}{% Ruvalcaba:2004:BYO% }. \NAMECITE{paced}{% Anonymous:2002:MMS,% Anonymous:2003:MMS% }. \NAMECITE{package}{% Axelsen:2009:GPT% }. \NAMECITE{Palo}{% ACM:2001:PAJ% }. \NAMECITE{Panel}{% Gannon:2001:JCC% }. \NAMECITE{paperback}{% Farrell-Vinay:2009:BRM% }. \NAMECITE{Paradigm}{% Stevens:2002:CPCb% }. \NAMECITE{Paradigms}{% Swaine:2001:PPA% }. \NAMECITE{{Parallel}}{% Magennis:2010:LOU% }. \NAMECITE{parallelism}{% Gordon:2012:URI,% Prabhu:2010:SPS% }. \NAMECITE{Parameterized}{% Choi:2013:PAC% }. \NAMECITE{parameters}{% Titzer:2013:HCF% }. \NAMECITE{parsing}{% Saxon:2003:OOR% }. \NAMECITE{Partial}{% Perez:2017:UCP,% Perelman:2012:TDC% }. \NAMECITE{passing}{% Fossum:2005:CFC% }. \NAMECITE{path}{% Alon:2018:GPB% }. \NAMECITE{path-based}{% Alon:2018:GPB% }. \NAMECITE{Patients}{% Cimler:2016:CRC% }. \NAMECITE{Patterns}{% Lutz:2003:BBC,% Bishop:2007:CDP,% Cooper:2003:CDP,% Metsker:2004:DPC,% Nilsson:2006:ADD,% Russo:2008:JPV,% Lutz:2003:BBC% }. \NAMECITE{people}{% Sorensen:2002:AND% }. \NAMECITE{people-oriented}{% Sorensen:2002:AND% }. \NAMECITE{Performance}{% Derezinska:2012:OOT,% Saxena:2009:PEO,% Cao:2012:YYP,% Gannon:2001:JCC% }. \NAMECITE{Perl}{% Stubblebine:2008:RAK,% Crowell:2001:CP% }. \NAMECITE{Perry}{% Anonymous:2017:BRG% }. \NAMECITE{perspective}{% Powell:2001:CNF,% Sweeney:2006:NMP% }. \NAMECITE{PHP}{% Stubblebine:2008:RAK% }. \NAMECITE{Platform}{% Grinzo:2002:PBC,% Lee:2004:JBN,% McSherry:2010:PIQ,% Shu:2005:FCD,% Troelsen:2001:CNP,% Troelsen:2003:CNP,% Troelsen:2005:PCN,% Troelsen:2010:PCN% }. \NAMECITE{platforms}{% Anonymous:2004:BBM% }. \NAMECITE{{PLINQ}}{% Magennis:2010:LOU% }. \NAMECITE{Pocket}{% Drayton:2002:CLP,% Mojica:2002:CVN,% Albahari:2008:CPR,% Albahari:2008:LPR,% Albahari:2010:CPR% }. \NAMECITE{point}{% Mossenbock:2004:CP% }. \NAMECITE{policies}{% Kaiser:2006:CJC% }. \NAMECITE{policy}{% Jantz:2013:ESM% }. \NAMECITE{Population}{% Cimler:2016:CRC% }. \NAMECITE{Posit}{% Lehoczky:2018:HLN% }. \NAMECITE{power}{% Cao:2012:YYP% }. \NAMECITE{{pp.}}{% Farrell-Vinay:2009:BRM% }. \NAMECITE{Practical}{% Balena:2005:PGB,% Hawblitzel:2009:AVP,% Makofske:2003:MSP,% Wehr:2010:JBP,% deChamplain:2005:CPG% }. \NAMECITE{practices}{% Balena:2005:PGB,% Vaughn:2002:ANE% }. \NAMECITE{Pragmatic}{% Wildermuth:2003:PAN% }. \NAMECITE{precisely}{% Sestoft:2004:CP% }. \NAMECITE{predicting}{% Alon:2018:GPB% }. \NAMECITE{Prediction}{% Cimler:2016:CRC,% Zhao:2014:CSP% }. \NAMECITE{Presentation}{% MacDonald:2008:PWC,% Naugler:2008:RPW% }. \NAMECITE{preserving}{% Chen:2008:TPC,% McSherry:2010:PIQ% }. \NAMECITE{Press}{% Anonymous:2017:BRG% }. \NAMECITE{prevalence}{% Anonymous:2003:JHS% }. \NAMECITE{principled}{% Kiczales:2004:CLG% }. \NAMECITE{principles}{% Bishop:2004:DPG% }. \NAMECITE{Privacy}{% McSherry:2010:PIQ% }. \NAMECITE{privacy-preserving}{% McSherry:2010:PIQ% }. \NAMECITE{Pro}{% Naugler:2008:RPL,% Naugler:2008:RPW,% Troelsen:2005:PCN,% MacDonald:2005:PAN,% MacDonald:2008:PWC,% Troelsen:2010:PCN% }. \NAMECITE{{Pro.NET}}{% Matthew:2006:PNW% }. \NAMECITE{probabilistic}{% Zhao:2014:CSP% }. \NAMECITE{Problem}{% Doyle:2010:CPP,% Jones:2006:VCR,% Bellinaso:2002:ANW,% Doyle:2008:CPP,% Hoffman:2003:ANC,% Jones:2010:VCR% }. \NAMECITE{Problem-Solution}{% Jones:2006:VCR,% Jones:2010:VCR% }. \NAMECITE{procedural}{% Balzert:2006:CEP% }. \NAMECITE{Proceedings}{% ACM:2001:PAJ% }. \NAMECITE{processing}{% Nagel:2014:CGE% }. \NAMECITE{Product}{% Perez:2017:UCP,% Anonymous:2004:BBM% }. \NAMECITE{Professional}{% Evjen:2010:PAN,% Nagel:2006:PC,% Nagel:2010:PCN,% Robinson:2002:PCS,% Robinson:2003:PCS,% Robinson:2004:PCS,% Cazzulino:2004:BVW,% Huddleston:2005:BCD,% MacDonald:2005:BAN,% MacDonald:2005:PAN% }. \NAMECITE{professionals}{% Robinson:2002:CVP% }. \NAMECITE{Profiles}{% ISO:2005:IIIb% }. \NAMECITE{Program}{% Doyle:2010:CPP,% McCluskey:2003:ECH,% Alon:2018:GPB,% Anonymous:2005:SAS,% Deitel:2002:CHP,% Deitel:2006:VCH,% Deitel:2011:VCH,% Doyle:2008:CPP,% Kanig:2012:HLC,% Lewis:2006:CSS,% Menon:2006:VSP,% Pelland:2005:MVC% }. \NAMECITE{{Programm}}{% Balzert:2006:COP% }. \NAMECITE{programmable}{% Prabhu:2010:SPS% }. \NAMECITE{Programmeercursus}{% Reynolds-Haertle:2002:POM,% Sharp:2002:PMV% }. \NAMECITE{Programmer}{% Grinzo:2002:PBC,% Stallings:2001:PBB,% Wilson:2001:PBT,% Deitel:2003:CPI,% Gunnerson:2005:PIC,% MacBeth:2004:CPH% }. \NAMECITE{Programmeren}{% Archer:2002:PMC,% Gunnerson:2001:PCI,% Petzold:2002:MWP% }. \NAMECITE{Programmering}{% Archer:2002:PCT% }. \NAMECITE{programmers}{% Deitel:2006:CP,% Deitel:2009:CP,% Gunnerson:2001:PCI,% Makofske:2003:MSP,% Vaughn:2002:ANE,% deChamplain:2005:CPG% }. \NAMECITE{programmeurs}{% Gunnerson:2001:PCI% }. \NAMECITE{programmieren}{% Balzert:2006:COP,% Fahnenstich:2006:REP,% Pelland:2006:PJM,% Balzert:2006:CEP% }. \NAMECITE{Programmierung}{% Balzert:2006:CEP% }. \NAMECITE{Programming}{% Albahari:2002:CEP,% Armoni:2015:SRP,% Balena:2006:PMV,% Beebe:2006:BPAa,% Buis:2002:SLS,% Doyle:2010:CPP,% Erickson:2001:DDE,% Ferrara:2002:PNW,% Freeman:2003:PNS,% Gerlach:2003:GPS,% Griffiths:2010:PC,% Griffiths:2012:PC,% Griffiths:2012:PCB,% Hejlsberg:2008:CPL,% Hejlsberg:2011:CPL,% ISO:2006:IIIb,% Lerman:2010:PEF,% Liberty:2001:PC,% Liberty:2002:PAN,% Liberty:2002:PC,% Liberty:2003:PAN,% Liberty:2003:PC,% Liberty:2004:PNW,% Liberty:2005:PC,% Liberty:2006:LC,% Liberty:2008:PC,% Lowy:2010:PWS,% Marshall:2005:PMV,% McKinley:2016:PWU,% Petzold:2002:PMW,% Sestoft:2008:PLC,% Stevens:2002:CPCb,% Stevens:2002:CPW,% Swaine:2001:PPA,% Watkins:2003:PNE,% Wiltamuth:2000:CPL,% Anonymous:2004:CGH,% Bakharia:2006:MVC,% Balzert:2006:CEP,% Balzert:2006:COP,% Bellinaso:2002:ANW,% Beyer:2001:CCP,% Bishop:2004:DPG,% Braden:2006:UMC,% Buono:2003:CGP,% Buono:2005:CGP,% Cazzulino:2004:BVW,% Chand:2004:GPG,% Doyle:2008:CPP,% Draheim:2005:GPC,% Harvey:2000:CPP,% Hejlsberg:2004:CPL,% Hejlsberg:2006:CPL,% Hoffman:2003:ANC,% Jacobs:2008:PMC,% Kimmel:2002:ACP,% Miura:2009:AGI,% Penton:2005:BCG,% Petzold:2002:MWP,% Rajan:2010:GPM,% Reynolds-Haertle:2002:POM,% Sells:2004:WFPa,% Sells:2004:WFPb,% Sharp:2002:PMV,% Sweeney:2006:NMP,% Thomsen:2002:DPC,% Vick:2004:VBN,% Yao:2004:NCF,% Gunnerson:2001:PCI% }. \NAMECITE{Programs}{% Derezinska:2012:QEO,% Lutz:2003:BBC,% Balzert:2006:COP,% Jacobs:2008:PMC,% Pinheiro:2020:MCA,% Santhiar:2017:SDD,% Subramaniam:2005:NGW,% Swamy:2013:VHO,% Tsafrir:2009:MDW,% Watson:2010:CH,% Zyulkyarov:2010:DPU% }. \NAMECITE{Project}{% Wang:2011:EEU% }. \NAMECITE{proneness}{% Gatrell:2015:ERC% }. \NAMECITE{Properties}{% McCluskey:2003:UCP,% Alon:2018:GPB% }. \NAMECITE{proposed}{% Bierman:2007:LTF% }. \NAMECITE{protection}{% Abadi:2009:TMS% }. \NAMECITE{provide}{% Kiczales:2004:CLG% }. \NAMECITE{proving}{% Fruja:2010:TPT% }. \NAMECITE{Proxies}{% Barrett:2003:DPJ% }. \NAMECITE{prozedural}{% Balzert:2006:CEP% }. \NAMECITE{public}{% Harvey:2000:CPP% }. \NAMECITE{Publications}{% Beebe:2006:BPAa% }. \NAMECITE{published}{% Farrell-Vinay:2009:BRM% }. \NAMECITE{Python}{% Stubblebine:2008:RAK% }. \NAMECITE{Quality}{% Derezinska:2012:QEO% }. \NAMECITE{queries}{% McSherry:2010:PIQ,% Montanari:2018:OCC% }. \NAMECITE{query}{% Nagel:2014:CGE% }. \NAMECITE{queuing}{% Kaiser:2006:CJC% }. \NAMECITE{quick}{% Drayton:2002:CND,% Drayton:2003:CND% }. \NAMECITE{rationale}{% Clifton:2006:MDR% }. \NAMECITE{reactions}{% Grossu:2012:CCC,% Grossu:2013:CMB% }. \NAMECITE{Ready}{% Lutz:2003:CNF,% Lutz:2003:ISR% }. \NAMECITE{Real}{% Armoni:2015:SRP,% Lutz:2003:CNF,% Lutz:2003:ISR,% Rauniyar:2017:DDR,% Watson:2010:CH,% Kalibera:2011:SRT,% Pizlo:2008:SCR,% Pizlo:2010:SFT% }. \NAMECITE{Real-Time}{% Lutz:2003:ISR,% Rauniyar:2017:DDR,% Kalibera:2011:SRT,% Pizlo:2008:SCR,% Pizlo:2010:SFT% }. \NAMECITE{Recipes}{% Jones:2006:VCR,% Jones:2010:VCR% }. \NAMECITE{Record}{% Bonzini:2001:LHG% }. \NAMECITE{recursive}{% Saxon:2003:OOR% }. \NAMECITE{refactoring}{% Gatrell:2015:ERC% }. \NAMECITE{Reference}{% Abrams:2004:NFS,% Albahari:2022:CND,% Drayton:2002:CLP,% Galassi:2002:GSL,% Mojica:2002:CVN,% Albahari:2008:CPR,% Albahari:2008:LPR,% Albahari:2010:CPR,% Drayton:2002:CND,% Drayton:2003:CND,% Gordon:2012:URI,% Herbert:2002:CCR,% Schildt:2006:CCR,% Schildt:2010:CCR% }. \NAMECITE{Refinement}{% Jagannathan:2014:ARV,% Kaiser:2006:CJC% }. \NAMECITE{Reflection}{% McCluskey:2004:UCR,% Huang:2008:ESS% }. \NAMECITE{{Reflexes}}{% Spring:2010:RAI% }. \NAMECITE{{Regul{\"a}re}}{% Stubblebine:2008:RAK% }. \NAMECITE{Relational}{% Naugler:2008:RPL% }. \NAMECITE{relativistic}{% Grossu:2010:CCC,% Grossu:2012:CCC,% Grossu:2013:CMB% }. \NAMECITE{Released}{% Baran:2001:NVA% }. \NAMECITE{{Reliable}}{% Montanari:2018:OCC% }. \NAMECITE{Relief}{% Baran:2001:NVA% }. \NAMECITE{Repairs}{% Stevens:2002:CPW% }. \NAMECITE{Replace}{% Reges:2002:CCR% }. \NAMECITE{reporting}{% Bond:2007:TBA% }. \NAMECITE{representation}{% Alon:2018:GPB,% Menon:2006:VSP% }. \NAMECITE{research}{% Hanson:2004:RCC% }. \NAMECITE{{Resorts}}{% ACM:2018:CNG% }. \NAMECITE{resources}{% Anonymous:2004:CGH% }. \NAMECITE{responsive}{% Spring:2010:RAI% }. \NAMECITE{{ResumableFunctions}}{% Lauwens:2017:PRC% }. \NAMECITE{Reuse}{% Borger:2004:EAS,% Axelsen:2009:GPT% }. \NAMECITE{Review}{% Anonymous:2017:BRG,% Cirillo:2001:BRC,% Naugler:2008:RPL,% Naugler:2008:RPW,% Farrell-Vinay:2009:BRM% }. \NAMECITE{{Richtig}}{% Fahnenstich:2006:REP% }. \NAMECITE{Ruby}{% Stubblebine:2008:RAK% }. \NAMECITE{runtime}{% Axelsen:2009:GPT,% Box:2003:ENC% }. \NAMECITE{runtimes}{% Nagel:2014:CGE% }. \NAMECITE{{RUST}}{% Cimler:2016:CRC% }. \NAMECITE{Safe}{% Prabhu:2010:SPS,% Yang:2010:SLI,% Fekete:2008:TSD,% Gordon:2012:URI,% Huang:2008:ESS,% Kedia:2017:SFS% }. \NAMECITE{Safer}{% Ferrara:2008:SUC% }. \NAMECITE{safety}{% Fruja:2010:TPT% }. \NAMECITE{Sams}{% Jones:2002:STY,% Jones:2004:STY,% Foxall:2004:STY,% Foxall:2006:STY,% Foxall:2008:STY% }. \NAMECITE{Says}{% Baran:2001:NVA% }. \NAMECITE{scale}{% Chen:2008:TPC% }. \NAMECITE{scanning}{% Kliot:2009:LFC% }. \NAMECITE{Scheduling}{% Kalibera:2011:SRT% }. \NAMECITE{{Schema}}{% Lutz:2003:BBC% }. \NAMECITE{{Schemas}}{% Lutz:2003:BBC% }. \NAMECITE{{SCHISM}}{% Pizlo:2010:SFT% }. \NAMECITE{Schulte}{% Farrell-Vinay:2009:BRM% }. \NAMECITE{Science}{% Baran:2001:NVA,% Goulding:2007:CGD% }. \NAMECITE{Scientific}{% Galassi:2002:GSL,% Gerlach:2003:GPS% }. \NAMECITE{Scratch}{% Armoni:2015:SRP% }. \NAMECITE{Search}{% Lutz:2003:BBC% }. \NAMECITE{secrets}{% Braden:2006:UMC% }. \NAMECITE{Security}{% Anonymous:2005:SAS,% Freeman:2003:PNS,% MacDonald:2003:CDS% }. \NAMECITE{selection}{% Shacham:2009:CAS% }. \NAMECITE{Self}{% Kent:2005:VCD,% Anonymous:2002:MMS,% Anonymous:2003:MMS% }. \NAMECITE{self-paced}{% Anonymous:2002:MMS,% Anonymous:2003:MMS% }. \NAMECITE{Self-Teaching}{% Kent:2005:VCD% }. \NAMECITE{semantics}{% Borger:2005:HLM% }. \NAMECITE{sequence}{% Zhao:2014:CSP% }. \NAMECITE{Serialization}{% McCluskey:2005:WCS% }. \NAMECITE{Server}{% Buis:2002:SLS,% Reilly:2002:ANS,% Anonymous:2003:MMS% }. \NAMECITE{Services}{% Ferrara:2002:PNW,% Anonymous:2003:JHS,% Anonymous:2003:MMS,% Ballinger:2003:NWS,% Bustos:2002:BNW,% Lowy:2010:PWS% }. \NAMECITE{set}{% Alm:2002:YBS% }. \NAMECITE{Setting}{% Bonzini:2001:LHG% }. \NAMECITE{Shared}{% Bonzini:2001:LHG% }. \NAMECITE{sharp}{% Hunt:2003:LSM,% Lauwens:2017:PRC% }. \NAMECITE{shelf}{% Abadi:2009:TMS% }. \NAMECITE{{SIGCSE}}{% Reges:2002:SFI% }. \NAMECITE{Simple}{% Kedia:2017:SFS% }. \NAMECITE{Simulation}{% Cimler:2016:CRC% }. \NAMECITE{Simultaneous}{% Lehoczky:2018:HLN% }. \NAMECITE{{Singapore}}{% ACM:2018:CNG% }. \NAMECITE{single}{% Jantz:2013:ESM% }. \NAMECITE{smaller}{% Tsafrir:2009:MDW% }. \NAMECITE{{SML}}{% Geller:2005:TME% }. \NAMECITE{Socket}{% Buis:2002:SLS% }. \NAMECITE{Socket-Level}{% Buis:2002:SLS% }. \NAMECITE{sockets}{% Makofske:2003:MSP% }. \NAMECITE{Software}{% Lehoczky:2018:HLN,% Perez:2017:UCP,% Wang:2011:EEU,% Cao:2012:YYP,% Farrell-Vinay:2009:BRM,% Gatrell:2015:ERC,% Lewis:2006:CSS,% Saxena:2009:PEO,% Sestoft:2008:PLC,% Sorensen:2002:AND,% Lutz:2003:ISR% }. \NAMECITE{{Softwareentwicklung}}{% Mossenbock:2006:SCK% }. \NAMECITE{Solution}{% Jones:2006:VCR,% Bellinaso:2002:ANW,% Hoffman:2003:ANC,% Jones:2010:VCR% }. \NAMECITE{Solutions}{% Watson:2010:CH,% Lewis:2006:CSS,% Montanari:2018:OCC% }. \NAMECITE{Source}{% Anonymous:2005:SAS,% Bonzini:2001:LHG,% Singh:2013:TGC% }. \NAMECITE{Source-Code}{% Bonzini:2001:LHG% }. \NAMECITE{space}{% Montanari:2018:OCC% }. \NAMECITE{Spec}{% Baran:2001:NVA% }. \NAMECITE{{Spec\#}}{% Barnett:2011:SVS% }. \NAMECITE{specific}{% Wagner:2005:ECS,% Wagner:2010:ECH% }. \NAMECITE{Specification}{% Barnett:2011:SVS,% Borger:2004:EAS,% Csharp:2002:SEC,% ECMA-334-1,% ECMA-334-2,% ECMA-334-3,% ECMA-334-4,% ECMA:2002:ECL,% ISO:2003:IIIb,% Stark:2005:FSV% }. \NAMECITE{speculative}{% Prabhu:2010:SPS% }. \NAMECITE{{SQL}}{% Anonymous:2005:SAS% }. \NAMECITE{{SQLite}}{% Newman:2005:S% }. \NAMECITE{{SSA}}{% Menon:2006:VSP% }. \NAMECITE{stack}{% Kliot:2009:LFC% }. \NAMECITE{Standard}{% Abrams:2004:NFS,% Csharp:2002:SEC,% Derezinska:2012:QEO,% Miller:2004:CLI,% Jagger:2007:ACS% }. \NAMECITE{Star}{% Lutz:2003:BBC,% Lutz:2003:BBC% }. \NAMECITE{Starch}{% Anonymous:2017:BRG% }. \NAMECITE{start}{% Anonymous:2003:JHS,% Holzner:2004:MVC% }. \NAMECITE{Started}{% Liberty:2006:LC% }. \NAMECITE{Starter}{% Barker:2006:VCE,% Foxall:2006:STY,% Foxall:2008:STY% }. \NAMECITE{Starting}{% Chegwidden:2005:SC% }. \NAMECITE{Static}{% McCluskey:2003:UCP,% Santhiar:2017:SDD,% Xu:2009:SCC,% Huang:2008:ESS,% Sallenave:2012:LGE% }. \NAMECITE{stealing}{% Faxen:2008:WWS% }. \NAMECITE{Step}{% Sharp:2006:MVCb,% Sharp:2006:MVCa% }. \NAMECITE{Straight}{% Bonzini:2001:LHG% }. \NAMECITE{Stream}{% Kiselyov:2017:SFC% }. \NAMECITE{streams}{% Chilimbi:2006:CCC% }. \NAMECITE{strengths}{% Anonymous:2004:CGH% }. \NAMECITE{stress}{% Willms:2003:CZS% }. \NAMECITE{strong}{% Abadi:2009:TMS% }. \NAMECITE{structure}{% Shankar:2007:DAI% }. \NAMECITE{structured}{% Balzert:2006:CEP% }. \NAMECITE{strukturiert}{% Balzert:2006:CEP% }. \NAMECITE{students}{% Fekete:2008:TSD% }. \NAMECITE{Studio}{% Cazzulino:2002:BCW% }. \NAMECITE{Study}{% Borger:2004:EAS,% Kaiser:2006:CJC,% Pizlo:2008:SCR% }. \NAMECITE{Stupidity}{% Lutz:2003:BBC% }. \NAMECITE{style}{% Baldwin:2006:ECS,% Lauwens:2017:PRC% }. \NAMECITE{Suite}{% Anonymous:2005:SAS% }. \NAMECITE{{Sun}}{% Anonymous:2004:CGH% }. \NAMECITE{support}{% Anonymous:2004:CGH% }. \NAMECITE{supporting}{% Axelsen:2009:GPT% }. \NAMECITE{syntax}{% Singh:2013:TGC% }. \NAMECITE{System}{% Derezinska:2012:OOT,% Rauniyar:2017:DDR,% Yang:2010:SLI% }. \NAMECITE{{System.XML}}{% Homer:2003:FLA% }. \NAMECITE{Systems}{% Lee:2004:JBN,% Lutz:2003:ISR,% Grossu:2010:CCC,% Grossu:2012:CCC,% Grossu:2013:CMB,% Rajan:2010:GPM,% Sallenave:2012:LGE,% Saxena:2009:PEO% }. \NAMECITE{Talent}{% Baran:2001:NVA% }. \NAMECITE{tasks}{% Spring:2010:RAI% }. \NAMECITE{teach}{% Foxall:2004:STY,% Foxall:2006:STY,% Foxall:2008:STY,% Jones:2002:STY,% Jones:2004:STY% }. \NAMECITE{Teaching}{% Fekete:2008:TSD,% Kent:2005:VCD% }. \NAMECITE{Tech}{% Lutz:2003:BBC% }. \NAMECITE{technique}{% Singh:2013:TGC% }. \NAMECITE{technology}{% ISO:2003:IIIb,% ISO:2005:IIIa,% ISO:2005:IIIb,% ISO:2006:IIIb,% Kanig:2012:HLC,% Kiczales:2004:CLG% }. \NAMECITE{templates}{% Axelsen:2009:GPT% }. \NAMECITE{Testing}{% Derezinska:2012:OOT,% Farrell-Vinay:2009:BRM% }. \NAMECITE{Text}{% Lutz:2003:BBC,% Meyer:2002:ACT% }. \NAMECITE{their}{% McCreight:2007:GFC% }. \NAMECITE{things}{% McKinley:2016:PWU,% Rauniyar:2017:DDR% }. \NAMECITE{thread}{% Fekete:2008:TSD,% Stark:2005:FSV% }. \NAMECITE{thread-safe}{% Fekete:2008:TSD% }. \NAMECITE{threading}{% Titus:2003:CTH% }. \NAMECITE{three}{% Montanari:2018:OCC% }. \NAMECITE{three-dimensional}{% Montanari:2018:OCC% }. \NAMECITE{throughout}{% Goulding:2008:CGD% }. \NAMECITE{tight}{% Anonymous:2004:CGH% }. \NAMECITE{Time}{% Lutz:2003:CNF,% Lutz:2003:ISR,% Rauniyar:2017:DDR,% Wilson:2001:PBT,% Kalibera:2011:SRT,% Pizlo:2008:SCR,% Pizlo:2010:SFT,% Siek:2015:BCT% }. \NAMECITE{together}{% Siek:2015:BCT% }. \NAMECITE{tolerance}{% Ramalingam:2013:FTI% }. \NAMECITE{tolerant}{% Pizlo:2010:SFT% }. \NAMECITE{Tool}{% Cimler:2016:CRC,% Singh:2013:TGC% }. \NAMECITE{tower}{% Reges:2002:SFI% }. \NAMECITE{TR}{% ISO:2005:IIIb% }. \NAMECITE{traces}{% Hertz:2006:GOL% }. \NAMECITE{Tracking}{% Bond:2007:TBA% }. \NAMECITE{Traditional}{% Geller:2005:TME% }. \NAMECITE{training}{% Anonymous:2002:MMS,% Anonymous:2003:MMS% }. \NAMECITE{Transactional}{% Abadi:2009:TMS,% Zyulkyarov:2010:DPU% }. \NAMECITE{translation}{% Bierman:2007:LTF% }. \NAMECITE{Translator}{% Lee:2004:JBN% }. \NAMECITE{Transposing}{% Kennedy:2018:TGC% }. \NAMECITE{tree}{% Singh:2013:TGC% }. \NAMECITE{Trio}{% Stallings:2001:PBB% }. \NAMECITE{try}{% Anonymous:2004:CGH% }. \NAMECITE{tuples}{% Titzer:2013:HCF% }. \NAMECITE{tutorial}{% Cooper:2003:CDP% }. \NAMECITE{Two}{% Anonymous:2001:LTC% }. \NAMECITE{Type}{% Chen:2008:TPC,% Perelman:2012:TDC,% Alm:2002:YBS,% Fruja:2010:TPT,% Titzer:2013:HCF,% Yang:2010:SLI,% Lehoczky:2018:HLN% }. \NAMECITE{Type-directed}{% Perelman:2012:TDC% }. \NAMECITE{Type-preserving}{% Chen:2008:TPC% }. \NAMECITE{type-safe}{% Yang:2010:SLI% }. \NAMECITE{typed}{% Tate:2010:IOO% }. \NAMECITE{Types}{% McCluskey:2003:CT,% Fahndrich:2007:EOI,% Kennedy:2018:TGC% }. \NAMECITE{uncertain}{% McKinley:2016:PWU% }. \NAMECITE{undefined}{% Bond:2007:TBA% }. \NAMECITE{uniprocessors}{% Kalibera:2011:SRT% }. \NAMECITE{Uniqueness}{% Gordon:2012:URI% }. \NAMECITE{unleashed}{% Hoffman:2006:MVC,% Mayo:2008:CNF% }. \NAMECITE{Unlocking}{% Braden:2006:UMC% }. \NAMECITE{unsafe}{% Ferrara:2008:SUC% }. \NAMECITE{Unum}{% Lehoczky:2018:HLN% }. \NAMECITE{Use}{% McCluskey:2004:MUC,% Perez:2017:UCP,% Anonymous:2005:COE,% Zyulkyarov:2010:DPU% }. \NAMECITE{Using}{% Lehoczky:2018:HLN,% Lutz:2003:BBC,% McCluskey:2003:UCP,% McCluskey:2004:UCA,% McCluskey:2004:UCR,% Wang:2011:EEU,% Willcock:2005:UMC,% Abadi:2009:TMS,% Bishop:2004:DPG,% Bustos:2002:BNW,% Kauffman:2002:BAN,% Magennis:2010:LOU,% Ruvalcaba:2004:BYO,% Singh:2013:TGC,% Sorensen:2002:AND% }. \NAMECITE{uur}{% Foxall:2002:CU% }. \NAMECITE{v}{% Homer:2004:FLA% }. \NAMECITE{v.2.0}{% Homer:2003:FLA% }. \NAMECITE{{v03}}{% Grossu:2013:CMB% }. \NAMECITE{{v2.0}}{% Braden:2006:UMC% }. \NAMECITE{value}{% Bond:2007:TBA% }. \NAMECITE{{VB}}{% Evjen:2010:PAN,% Geller:2005:TME% }. \NAMECITE{{VB.NET}}{% Mojica:2002:CVN,% Reynolds-Haertle:2002:POM,% Ruvalcaba:2004:BYO,% Subramaniam:2005:NGW% }. \NAMECITE{Veanes}{% Farrell-Vinay:2009:BRM% }. \NAMECITE{verifiable}{% Menon:2006:VSP% }. \NAMECITE{verification}{% Barnett:2011:SVS,% Hawblitzel:2009:AVP,% Kanig:2012:HLC,% Stark:2005:FSV,% Yang:2010:SLI% }. \NAMECITE{Verified}{% Jagannathan:2014:ARV% }. \NAMECITE{Verifying}{% Swamy:2013:VHO% }. \NAMECITE{version}{% Grossu:2013:CMB% }. \NAMECITE{Versus}{% Eaddy:2001:CVJ% }. \NAMECITE{via}{% Nodelman:2004:OCC,% Ramalingam:2013:FTI,% Richter:2006:CCS,% Richter:2010:CCH% }. \NAMECITE{Views}{% Baran:2001:NVA,% Bishop:2004:DPG% }. \NAMECITE{Vijay}{% Naugler:2008:RPL% }. \NAMECITE{violations}{% Liu:2014:FFL% }. \NAMECITE{{Virgil}}{% Titzer:2013:HCF% }. \NAMECITE{Virtual}{% Gannon:2001:JCC% }. \NAMECITE{Visual}{% Anonymous:2002:MMS,% Anonymous:2003:MMS,% Bakharia:2006:MVC,% Balena:2005:PGB,% Balena:2006:PMV,% Fahnenstich:2006:REP,% Foxall:2004:STY,% Hoffman:2006:MVC,% Holzner:2004:MVC,% Marshall:2005:PMV,% Pelland:2005:MVC,% Pelland:2006:MVC,% Pelland:2006:PJM,% Reynolds-Haertle:2002:POM,% Sauer:2008:VCH,% Sharp:2002:PMV,% Sharp:2006:MVCa,% Sharp:2006:MVCb,% Watson:2010:BMV,% Anonymous:2004:BBM,% Balena:2005:PGB,% Barker:2006:VCE,% Cazzulino:2002:BCW,% Cazzulino:2004:BVW,% Deitel:2006:VCH,% Deitel:2011:VCH,% Foxall:2006:STY,% Foxall:2008:STY,% Grossu:2022:MHF,% Jones:2006:VCR,% Jones:2010:VCR,% Kent:2005:VCD,% Liberty:2005:VCD,% Onion:2003:EANa,% Pattison:2003:BAC,% Russo:2008:JPV,% Schumann:2006:VCK,% Sells:2004:WFPb,% Telles:2006:VCB,% Ullman:2004:BAN,% Vick:2004:VBN,% Watson:2002:BVC,% Watson:2005:BVC,% Watson:2006:BVC% }. \NAMECITE{Volume}{% Abrams:2004:NFS,% Box:2003:ENC% }. \NAMECITE{vom}{% Balzert:2006:COP% }. \NAMECITE{voor}{% Gunnerson:2001:PCI,% Robinson:2002:CVP% }. \NAMECITE{Warehousing}{% Lutz:2003:BBC% }. \NAMECITE{Warps}{% Wilson:2001:PBT% }. \NAMECITE{Wave}{% Stevens:2002:CPW% }. \NAMECITE{Way}{% Kiczales:2004:CLG% }. \NAMECITE{ways}{% Subramaniam:2005:NGW,% Wagner:2005:ECS,% Wagner:2010:ECH% }. \NAMECITE{{WCF}}{% Lowy:2010:PWS% }. \NAMECITE{Weaving}{% Carlisle:2003:WAN% }. \NAMECITE{{Web}}{% Anonymous:2003:JHS,% Anonymous:2003:MMS,% Bakharia:2002:CFE,% Ballinger:2003:NWS,% Bustos:2002:BNW,% Cazzulino:2002:BCW,% Cazzulino:2004:BVW,% Ferrara:2002:PNW,% Griffiths:2012:PCB,% Lutz:2003:BBC% }. \NAMECITE{{Website}}{% Bellinaso:2002:ANW,% Ruvalcaba:2004:BYO% }. \NAMECITE{which}{% Anonymous:2004:CGH% }. \NAMECITE{Windows}{% Anonymous:2002:MMS,% Naugler:2008:RPW,% Griffiths:2012:PCB,% Liberty:2004:PNW,% MacDonald:2008:PWC,% Matthew:2006:PNW,% Petzold:2002:MWP,% Petzold:2002:PMW,% Sells:2004:WFPa,% Sells:2004:WFPb% }. \NAMECITE{Windows-based}{% Anonymous:2002:MMS% }. \NAMECITE{Winners}{% Baran:2001:NVA% }. \NAMECITE{within}{% Tsafrir:2009:MDW% }. \NAMECITE{without}{% Willms:2003:CZS% }. \NAMECITE{Wolfram}{% Farrell-Vinay:2009:BRM% }. \NAMECITE{{Wool}}{% Faxen:2008:WWS% }. \NAMECITE{work}{% Faxen:2008:WWS% }. \NAMECITE{workbench}{% Miura:2009:AGI% }. \NAMECITE{Working}{% McCluskey:2003:WCC,% McCluskey:2004:WCI,% McCluskey:2005:WCS% }. \NAMECITE{World}{% ACM:2018:CNG,% McCluskey:2003:ECH,% McKinley:2016:PWU,% Wildermuth:2003:PAN% }. \NAMECITE{WPF}{% Naugler:2008:RPW,% MacDonald:2008:PWC,% MacDonald:2010:WC% }. \NAMECITE{{XML}}{% Anonymous:2003:MMS,% Fraser:2002:BCX% }. \NAMECITE{yang}{% Cao:2012:YYP% }. \NAMECITE{Years}{% Lutz:2003:BBC,% Kiczales:2004:CLG% }. \NAMECITE{yin}{% Cao:2012:YYP% }. \NAMECITE{You'd}{% Alm:2002:YBS% }. \NAMECITE{yourself}{% Foxall:2004:STY,% Foxall:2006:STY,% Foxall:2008:STY,% Jones:2002:STY,% Jones:2004:STY% }. \NAMECITE{zonder}{% Willms:2003:CZS% }. \NAMECITE{zum}{% Balzert:2006:COP% }. \NAMECITE{{Zuse}}{% Bonzini:2001:LHG% }.