%%====================================================================== %% 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 Wed Jun 19 15:59:18 MDT 2019 %%====================================================================== \ifx \NAMECITE \undefined % User can override this definition \def \NAMECITE #1#2{{\bf #1} \cite{#2}} \fi \NAMECITE{#ifdefs}{% Braz:2018:CAP% }. \NAMECITE{$8_{1/2}$}{% Michel:1996:DID% }. \NAMECITE{$^+$}{% Ng:1995:MLO% }. \NAMECITE{$C$}{% Milewicz:2016:LRC% }. \NAMECITE{$k$}{% Adje:2017:ASI% }. \NAMECITE{$ \mu $}{% Cazzola:2018:DML% }. \NAMECITE{$O(n)$}{% Barnard:1992:CPP% }. \NAMECITE{{-DSU}}{% Cazzola:2018:DML% }. \NAMECITE{-inductive}{% Adje:2017:ASI% }. \NAMECITE{{0}}{% Ledley:1999:BMS,% Ledley:1999:BTA,% Ledley:1999:CYP,% Ledley:1999:MPD,% Ledley:1999:TCS% }. \NAMECITE{{0-471-19233-3}}{% Ledley:1999:BMS% }. \NAMECITE{{0-471-19572-3}}{% Ledley:1999:MPD% }. \NAMECITE{{0-471-29549-3}}{% Ledley:1999:BTA% }. \NAMECITE{{0-471-31502-8}}{% Ledley:1999:TCS% }. \NAMECITE{{0-471-32734-4}}{% Ledley:1999:CYP% }. \NAMECITE{{1}}{% Sullivan:1975:EPS% }. \NAMECITE{{14}}{% Hage:2018:SIT% }. \NAMECITE{{16th}}{% DSouza:2017:SII% }. \NAMECITE{{2}}{% DiSanto:1990:PCA,% Salzman:1992:ASM% }. \NAMECITE{2-offset}{% Canedo:2008:NCG% }. \NAMECITE{{2001}}{% Anonymous:2001:IV% }. \NAMECITE{2011/12}{% Loidl:2016:ESI% }. \NAMECITE{{2013}}{% Hage:2018:SIT% }. \NAMECITE{{2013/14}}{% Hage:2018:SIT% }. \NAMECITE{2013/2014}{% Haller:2016:SIA% }. \NAMECITE{{2015}}{% Gokhale:2017:SII% }. \NAMECITE{{25}}{% Anonymous:1999:VI% }. \NAMECITE{{26}}{% Anonymous:2000:IV% }. \NAMECITE{27th}{% Mernik:2013:SIP% }. \NAMECITE{{28th}}{% Mernik:2014:SIP% }. \NAMECITE{{29th}}{% Bryant:2015:SIP% }. \NAMECITE{{3}}{% Ledley:1999:BMS,% Ledley:1999:BTA,% Ledley:1999:MPD% }. \NAMECITE{3-Tier}{% Ledley:1999:TCS% }. \NAMECITE{{30th}}{% Bryant:2016:SIP% }. \NAMECITE{{370}}{% Flores:1975:SSL% }. \NAMECITE{{3rd}}{% Haller:2016:SIA% }. \NAMECITE{{4}}{% Ledley:1999:CYP% }. \NAMECITE{4th}{% Haller:2016:SIA% }. \NAMECITE{6.0\}}{% Ledley:1999:BTA% }. \NAMECITE{{67}}{% Schwartz:1978:PCD% }. \NAMECITE{{6th}}{% Combemale:2015:SII% }. \NAMECITE{7th}{% Combemale:2015:SII% }. \NAMECITE{{8}}{% Ledley:1999:TCS% }. \NAMECITE{{80}}{% Golubski:1995:CSS% }. \NAMECITE{'92}{% Cordy:1993:ISI% }. \NAMECITE{{95}}{% Gedela:1999:CPN% }. \NAMECITE{{ABC}}{% Amarjeet:2018:FAF% }. \NAMECITE{abductive}{% Ciampolini:2001:LLC% }. \NAMECITE{Abstract}{% Bailes:1987:GFL,% DSouza:2017:SII,% Gannon:1987:TIM,% Halder:2012:AID,% Bail:1988:PCU,% Cortesi:2011:WNO,% Cortesi:2015:ADT,% Ford:1987:PEM,% Jalote:1992:STA,% Liu:1993:APL,% Logozzo:2009:CIA,% McLeod:1977:HLD,% Noonan:1985:AGA,% Patrignani:2015:FAT,% Reddy:1993:PAI,% Urban:2017:IRF% }. \NAMECITE{Abstracting}{% Haynes:1987:ATP% }. \NAMECITE{abstraction}{% Kafle:2017:HCV,% Osterbye:2000:SAB,% Zuck:2004:MCA% }. \NAMECITE{Abstractions}{% Cook:1981:ADP,% Schiffner:1979:MVA,% Berry:1977:PDAa,% Berry:1977:PDAb,% Dan:2017:EAV,% DiSanto:1990:PCA% }. \NAMECITE{Access}{% Shen:1994:ACP,% Amir-Mohammadian:2013:NPP,% Kislal:2018:DAS,% Demaid:2006:AEO% }. \NAMECITE{accessibility}{% Chan:2002:AGF% }. \NAMECITE{accumulative}{% Morazan:2016:GAR% }. \NAMECITE{Achieving}{% Gogolla:2018:AMQ% }. \NAMECITE{ACM}{% Bryant:2015:SIP,% Bryant:2016:SIP,% Haller:2016:SIA,% Mernik:2013:SIP,% Mernik:2014:SIP% }. \NAMECITE{acquired}{% Sicak:2018:SSA% }. \NAMECITE{Action}{% Doh:1993:ASD% }. \NAMECITE{Active}{% Yuen:1998:AOA% }. \NAMECITE{Activity}{% Salzman:1992:ASM,% Arora:2017:STS% }. \NAMECITE{actor}{% Charousset:2016:RAP,% Koster:2016:DSS% }. \NAMECITE{actors}{% Haller:2016:SIA,% Ricci:2016:PEL,% VanCutsem:2009:LSB,% VanCutsem:2014:APR% }. \NAMECITE{acyclic}{% Venugopal:1993:HCD% }. \NAMECITE{{Ada}}{% Bailes:1993:PGS,% Cocco:1985:ATS,% Eckart:1987:OAL,% Ernst:1991:MVA,% Gedela:1999:CPN,% Gehani:1982:CAM,% Mandrioli:1985:MAT,% Shen:1994:ACP% }. \NAMECITE{{Ada-95}}{% Gedela:1999:CPN% }. \NAMECITE{{ADABTPL}}{% Sheard:1992:ITA% }. \NAMECITE{Adaptable}{% Ramanathan:1983:DIA% }. \NAMECITE{Adapting}{% Rothlisberger:2008:UPB% }. \NAMECITE{adaptive}{% Pastrana:2011:QES,% Razavi:2005:LSA% }. \NAMECITE{adding}{% Mateos:2010:ANI% }. \NAMECITE{address}{% Font:2017:LVM% }. \NAMECITE{advanced}{% Gedela:1999:CPN% }. \NAMECITE{affine}{% Adje:2017:ASI% }. \NAMECITE{affix}{% Haripriyan:1988:CWS% }. \NAMECITE{Agent}{% Bergenti:2017:AOM,% Amandi:2005:JFB,% Ashamalla:2017:MDA,% Kardas:2017:SIM,% Wautelet:2017:USD% }. \NAMECITE{Agent-oriented}{% Bergenti:2017:AOM,% Amandi:2005:JFB% }. \NAMECITE{agents}{% Ciampolini:2001:LLC,% Haller:2016:SIA,% Ricci:2016:PEL% }. \NAMECITE{AGERE}{% Haller:2016:SIA% }. \NAMECITE{aggregates}{% Bergenti:2011:PPS% }. \NAMECITE{agile}{% Wautelet:2017:USD% }. \NAMECITE{ahead}{% Jung:2008:EEH% }. \NAMECITE{ahead-of-time}{% Jung:2008:EEH% }. \NAMECITE{aid}{% Zuck:2004:MCA% }. \NAMECITE{algebra}{% Bassiouni:1993:TOR,% Merlin:2007:BSP% }. \NAMECITE{Algebraic}{% Rus:1994:ATL,% Ghorbal:2017:HPR,% Rus:1987:AMP% }. \NAMECITE{{ALGOL}}{% Schwartz:1979:SVA,% Clark:2002:IFA,% Nawrocki:1990:DOA% }. \NAMECITE{{Algol-like}}{% Nawrocki:1990:DOA,% Clark:2002:IFA% }. \NAMECITE{Algorithm}{% Manacher:1978:IVC,% Amarjeet:2018:FAF,% Canedo:2008:NCG,% Dhamdhere:1990:ULA,% Farhad:2016:MSP,% Noonan:1985:AGA,% Pai:2016:DRE,% Yang:2000:FPA% }. \NAMECITE{Algorithms}{% Patnaik:1984:ICD,% Salter:1983:CAI,% Warren:1978:TSN,% Bansal:2017:EAS,% Philippidis:2010:MRU,% Sassa:2009:CEB% }. \NAMECITE{Allocation}{% Chaitin:1981:RAC,% Bryant:1995:GGF,% Li:2007:PRC,% Li:2009:UDS,% Zobel:1993:PSB% }. \NAMECITE{allocator}{% Ulgen:2015:IMA,% Ulgen:2016:IMA% }. \NAMECITE{allocators}{% Hasan:2005:SBF% }. \NAMECITE{Altering}{% Coven:1993:AAP% }. \NAMECITE{alternatives}{% Guo:2009:DRA% }. \NAMECITE{{AL}ua}{% Ururahy:2002:AFP% }. \NAMECITE{{Amake}}{% Buffenbarger:2017:ACB% }. \NAMECITE{{Ambient}}{% Amtoft:2002:OCA% }. \NAMECITE{ambients}{% Braghin:2002:SBM,% Braghin:2004:NAM,% Bugliesi:2002:BTS% }. \NAMECITE{{AmbientTalk}}{% VanCutsem:2014:APR% }. \NAMECITE{Among}{% Peterson:1978:ESA,% Ciampolini:2001:LLC% }. \NAMECITE{analyses}{% Beringer:2013:VPS,% Ko:2014:SET% }. \NAMECITE{Analysis}{% Liu:1988:SPM,% McDonald:1982:QLF,% Reed:1984:ATA,% Sharir:1980:SAN,% Torii:1987:LPT,% Wadia:1980:GNL,% Adesina:2018:IFA,% Ashamalla:2017:MDA,% Bailes:1993:FGT,% Bansal:2017:EAS,% Braghin:2004:NAM,% Braz:2018:CAP,% Bruso:2010:NRA,% Cadavid:2015:AMP,% Gomez:2012:RUM,% Horry:2017:FID,% Horspool:1993:SAP,% Khedker:2003:BDF,% Lienhard:2009:TOC,% Liu:2017:ACS,% Martinez:2017:MBA,% Mens:2005:DSC,% Ozkaya:2018:SUB,% Ozturk:2011:RMS,% Riddle:1979:ASSb,% Ripley:1978:SAS,% Szabo:1989:PAL,% Yang:2002:ALM,% Zhou:2018:SMA% }. \NAMECITE{analyzability}{% Hendren:1993:DPL% }. \NAMECITE{analyzer}{% Zaki:1985:PSA% }. \NAMECITE{analyzers}{% Yang:1996:MMB% }. \NAMECITE{Anatomy}{% Reed:1984:ATA% }. \NAMECITE{{AND}-}{% Hermenegildo:1996:RDA% }. \NAMECITE{and-cross}{% Adesina:2018:IFA% }. \NAMECITE{{AND-parallel}}{% Pontelli:1996:IEN% }. \NAMECITE{{Android}}{% Choi:2015:LAC,% Choi:2016:LAC% }. \NAMECITE{animation}{% Bays:1976:ADL% }. \NAMECITE{{Ann}}{% Cordoba-Sanchez:2016:ADS% }. \NAMECITE{annotation}{% Cazzola:2014:JBR,% Le:2018:DDD% }. \NAMECITE{annotation-based}{% Le:2018:DDD% }. \NAMECITE{annotations}{% Bruso:2010:NRA,% Cordoba-Sanchez:2016:ADS,% Sulir:2016:RCS% }. \NAMECITE{Announcement}{% Anonymous:2006:A% }. \NAMECITE{anomaly}{% Mitchell:1996:SCO% }. \NAMECITE{answer}{% Pontelli:2010:IPE% }. \NAMECITE{Answering}{% Konopasek:1978:QAS% }. \NAMECITE{ant}{% Papenhausen:2018:CAO% }. \NAMECITE{Ants}{% Papenhausen:2018:CAO% }. \NAMECITE{{APL}}{% Georgeff:1981:EOP,% Saal:1977:ESA% }. \NAMECITE{{Apple}}{% Kieburtz:1985:DAL% }. \NAMECITE{applicability}{% Yang:2002:ALM% }. \NAMECITE{Application}{% Brichau:2008:ASM,% Crawford:1980:NAC,% Kannimoola:2017:TCO,% Orman:1983:FSL,% Oubelli:2018:SMB,% Schwartz:1978:PCD,% Buga:2018:EBB,% Gomez-Abajo:2017:DSL,% Kreutzer:1990:CSF,% Popovic:2015:DMA% }. \NAMECITE{Application-specific}{% Brichau:2008:ASM,% Popovic:2015:DMA% }. \NAMECITE{Applications}{% Cocco:1985:ATS,% Kennedy:1978:UCA,% Ledley:1999:BMS,% Ledley:1999:BTA,% Armentano:2009:FAP,% Barbosa:2012:TPM,% Capelli:2016:FED,% Chavarriaga:2017:ABX,% Klerer:1992:LAP,% Mansurov:2001:ASS,% Mateos:2010:ANI,% Mondejar:2012:TPT,% Myers:1992:ITC,% Popovic:2015:DMA,% Purtilo:1991:EPD,% Rondogiannis:1998:BTL,% Rothlisberger:2008:UPB,% VanCutsem:2014:APR,% Zaki:1988:DGI% }. \NAMECITE{Applicative}{% Gehlot:1986:ISA,% Salter:1983:CAI% }. \NAMECITE{Applied}{% Bryant:2015:SIP,% Bryant:2016:SIP,% Mernik:2013:SIP,% Mernik:2014:SIP,% Zave:1986:CSP% }. \NAMECITE{Applying}{% Dovier:2009:AMC,% Coven:1993:AAP% }. \NAMECITE{Approach}{% Cazzola:2018:DML,% Crawford:1980:NAC,% Riddle:1979:ASSa,% Sharir:1980:SAN,% Zave:1986:CSP,% Arora:2017:STS,% Ashamalla:2017:MDA,% Basili:1975:SAL,% Buga:2018:EBB,% Chavarriaga:2017:ABX,% Choi:2015:LAC,% Choi:2016:LAC,% Coffin:1989:SAM,% Dandan:2013:TSR,% Dimitrieski:2015:CEE,% Dimitrieski:2016:CEE,% Guo:2016:SAA,% Hoare:1975:PPA,% Ierusalimschy:1993:DAT,% Lee:2005:PRG,% Lusth:2006:MAO,% Mateos:2010:ANI,% Oubelli:2018:SMB,% Pereira:2016:OAD,% Riddle:1979:ASSb,% Rieger:2018:POM,% Sailor:1994:PAT% }. \NAMECITE{Approaches}{% Barrett:2015:AIC,% Barrett:2016:AIC% }. \NAMECITE{Approximate}{% Spragins:1979:ATM% }. \NAMECITE{apps}{% Choi:2015:LAC,% Choi:2016:LAC,% Rieger:2018:POM% }. \NAMECITE{{Arabic}}{% Abi-Akar:1989:ATF,% Al-AAli:1995:DAP,% Zaki:1987:FDA% }. \NAMECITE{{ARABLAN}}{% Al-AAli:1995:DAP% }. \NAMECITE{architectural}{% Sanchez:2015:VAR,% Sanchez:2016:VAR% }. \NAMECITE{Architecture}{% Anonymous:2007:CPE,% Kelefouras:2015:MSL,% Saritas:2014:MDA% }. \NAMECITE{architectures}{% Citrin:1995:CRL,% Ozkaya:2018:SUB,% Patrignani:2015:FAT,% Venugopal:1995:SET,% Vialle:1998:DIP,% Walters:2008:CRP,% vanOmmering:2001:LFV% }. \NAMECITE{{Argos}}{% Maraninchi:2001:AAB% }. \NAMECITE{arithmetic}{% Pradeep:1994:PAE% }. \NAMECITE{Arity}{% Breitner:2018:CA% }. \NAMECITE{Array}{% Coen-Porisini:1993:ARS,% Jenkins:1989:LBN,% Liu:2017:ACS% }. \NAMECITE{arrays}{% DaRosdeCarvalho:1992:OAV,% DiCosmo:2007:CPC,% Lusth:2002:USL% }. \NAMECITE{artificial}{% Amarjeet:2018:FAF% }. \NAMECITE{ary}{% Chebba:2018:AAR% }. \NAMECITE{ascent}{% Horspool:1993:RAP% }. \NAMECITE{ascent-descent}{% Horspool:1993:RAP% }. \NAMECITE{Ash}{% Ledley:1999:BTA% }. \NAMECITE{{asm.js}}{% VanEs:2017:IPS% }. \NAMECITE{Aspect}{% Pinto:2018:ACM% }. \NAMECITE{Aspects}{% Hirschfeld:2006:OA,% Wasserman:1979:TVA,% Aljasser:2016:IDP,% Diaz-Gonzalez:1991:LAE% }. \NAMECITE{Assembling}{% Taylor:1996:ARM% }. \NAMECITE{assertions}{% Jayaraman:1992:SAL% }. \NAMECITE{assessment}{% Insa:2018:AAJ% }. \NAMECITE{Assignment}{% Samet:1979:DSB,% Dhamdhere:1988:RAU,% Dhamdhere:1990:ULA,% Sassa:2009:CEB% }. \NAMECITE{assistance}{% Angel:2018:AMA% }. \NAMECITE{assistants}{% Armentano:2009:FAP% }. \NAMECITE{Associated}{% Fleck:1984:PCT% }. \NAMECITE{Associative}{% Crespi-Reghizzi:2000:ADP% }. \NAMECITE{{Athena}}{% Oliveira:2018:CNC% }. \NAMECITE{atomic}{% Dabrowski:2015:FSN,% Yuen:1998:AOA% }. \NAMECITE{Atomistic}{% Nielson:2017:AGI% }. \NAMECITE{attaching}{% Armentano:2009:FAP% }. \NAMECITE{attribute}{% Chan:2002:AGF,% Dimopoulos:2010:PAG,% Gehani:1977:UMD,% Murching:1989:IAE,% Yang:2000:FPA% }. \NAMECITE{attribute-grammar}{% Chan:2002:AGF% }. \NAMECITE{Attributed}{% Chebba:2018:AAR% }. \NAMECITE{Attributes}{% Tai:1979:CFW,% Soderberg:2015:DRT% }. \NAMECITE{augmenting}{% Li:1996:BEI% }. \NAMECITE{Author}{% Anonymous:2005:AI,% Anonymous:2005:VCA,% Anonymous:2006:VCA% }. \NAMECITE{automata}{% Kafle:2017:HCV,% Kampen:1975:FDS,% Polach:2016:EDV% }. \NAMECITE{automata-based}{% Kafle:2017:HCV% }. \NAMECITE{Automated}{% Angel:2018:AMA,% Chadha:2017:FDC,% Dernehl:2018:CSA,% Gomez-Abajo:2017:DSL,% Guo:2016:SAA,% Klerer:1992:LAP% }. \NAMECITE{Automatic}{% Adje:2017:ASI,% Chen:2015:AVB,% Hsiung:2008:ASV,% Insa:2018:AAJ,% LeMoulec:2018:APE,% Magnenat-Thalmann:1982:CIL,% Mansurov:2001:ASS,% Bryant:1995:GGF,% Cabral:2011:TMA,% Dimopoulos:2010:PAG,% Przigoda:2018:FCA,% Shenoy:1994:APF,% Wetherell:1977:WAE% }. \NAMECITE{Automatically}{% Barnard:1989:AGS,% Earley:1975:HLI% }. \NAMECITE{automating}{% Chen:1992:MMD% }. \NAMECITE{Automatized}{% Simonin:2018:AIC% }. \NAMECITE{automaton}{% Maraninchi:2001:AAB% }. \NAMECITE{automaton-based}{% Maraninchi:2001:AAB% }. \NAMECITE{autonomous}{% Deng:2010:CDA% }. \NAMECITE{{AVX}}{% Hassan:2018:EIM% }. \NAMECITE{aware}{% Barbosa:2012:TPM,% Braz:2018:CAP,% Seidl:2017:GSP% }. \NAMECITE{Axiomatic}{% Bryant:1986:TGI,% Hoare:1975:PPA% }. \NAMECITE{{B}}{% Buga:2018:EBB% }. \NAMECITE{{Babbage}}{% Friedman:1992:BBB% }. \NAMECITE{{Babel}}{% Friedman:1992:BBB% }. \NAMECITE{back}{% Sassa:2009:CEB% }. \NAMECITE{back-translation}{% Sassa:2009:CEB% }. \NAMECITE{backtrack}{% Sarbo:1994:GTO% }. \NAMECITE{backtracking}{% Kuhn:1993:CBV% }. \NAMECITE{backward}{% Lanvin:2010:EOO% }. \NAMECITE{{BaLinda}}{% Feng:1996:BLD,% Yuen:1998:AOA% }. \NAMECITE{ball}{% Vainsencher:2004:MLB% }. \NAMECITE{banker}{% McKeeman:1975:MBM% }. \NAMECITE{base}{% McLeod:1977:HLD% }. \NAMECITE{Based}{% Blanchard:2018:MCB,% Cazzola:2018:DML,% Cunha:1983:MOP,% Gehlot:1986:ISA,% Aldinucci:2007:SBP,% Amandi:2005:JFB,% Amarjeet:2017:HSB,% Arusoaie:2015:SEB,% Bansal:2017:EAS,% Bassiouni:1993:TOR,% Besova:2015:GBM,% Bouraqadi:2004:SMC,% Bourbakis:2008:GFL,% Buga:2018:EBB,% Cassou:2009:TWD,% Chadha:2017:FDC,% Chavarriaga:2017:ABX,% Ching:1993:PBS,% Ciancarini:1996:RCL,% Fabresse:2012:LBG,% Feeley:1992:CGB,% Ganapathi:1989:PBR,% Haller:2016:SIA,% Haripriyan:1988:CWS,% Herzeel:2009:FCH,% Kafle:2017:HCV,% Kolesnichenko:2017:SCL,% Le:2018:DDD,% Liu:2017:ACS,% Malhotra:2017:SIS,% Maraninchi:2001:AAB,% Martinez:2017:MBA,% Oubelli:2018:SMB,% Ozkaya:2018:SUB,% Purtilo:1995:EPS,% Reeves:1999:SBT,% Silvestre:2010:FCE,% Struber:2017:TBV,% Syriani:2018:SMS,% Vandercammen:2018:FFS,% Wang:1992:CBL,% Wilkinson:2006:PBM,% Wu:2010:CBL,% Zaki:1988:DGI,% Font:2017:LVM,% Kreutzer:1990:CSF% }. \NAMECITE{Bases}{% Bossi:1984:UFQ% }. \NAMECITE{Basic}{% Ledley:1999:BTA% }. \NAMECITE{basis}{% Jenkins:1989:LBN,% Zobel:1993:PSB% }. \NAMECITE{bee}{% Amarjeet:2018:FAF% }. \NAMECITE{beginners}{% Hughes:1985:PLE,% Morazan:2016:GAR% }. \NAMECITE{Behavior}{% Riddle:1979:ASSa,% Sarwar:1993:RBS,% Sarwar:1994:ESR% }. \NAMECITE{behavioral}{% Kaufmann:2015:IIC,% Rothlisberger:2008:UPB,% Zdun:2006:TLB% }. \NAMECITE{Behavioural}{% Bugliesi:2002:BTS% }. \NAMECITE{benchmarks}{% Erdweg:2015:ECL% }. \NAMECITE{Bergeon}{% Ledley:1999:CYP% }. \NAMECITE{best}{% Hasan:2005:SBF% }. \NAMECITE{best-fit}{% Hasan:2005:SBF% }. \NAMECITE{{BETA}}{% Osterbye:2000:SAB% }. \NAMECITE{better}{% Knobe:1975:SST,% Yang:1996:MMB% }. \NAMECITE{between}{% Fabresse:2012:LBG,% Sukumaran:2010:DCG,% VanCutsem:2009:LSB% }. \NAMECITE{beyond}{% Friedman:1992:BBB% }. \NAMECITE{Bidirectional}{% Khedker:2003:BDF% }. \NAMECITE{Binary}{% Haraburda:2013:BTC,% Chen:2015:AVB,% Miranda:2005:PFF% }. \NAMECITE{Binding}{% Samet:1979:DSB,% Virgilio:1982:BSS% }. \NAMECITE{bio}{% Arora:2017:STS% }. \NAMECITE{bio-inspired}{% Arora:2017:STS% }. \NAMECITE{biomedical}{% Zaki:1988:DGI% }. \NAMECITE{Black}{% Berzins:1991:BSS% }. \NAMECITE{Black-box}{% Berzins:1991:BSS% }. \NAMECITE{blend}{% Greiner:2009:ZBS% }. \NAMECITE{block}{% Dernehl:2018:CSA% }. \NAMECITE{Blocks}{% Pagan:1979:SSU% }. \NAMECITE{{Board}}{% Anonymous:2002:EBa,% Anonymous:2002:EBb,% Anonymous:2002:IFC,% Anonymous:2003:IFCa,% Anonymous:2003:IFCb,% Anonymous:2003:IFCc,% Anonymous:2004:IEB,% Anonymous:2004:IFC,% Anonymous:2005:IFCa,% Anonymous:2005:IFCb,% Anonymous:2005:IFCc,% Anonymous:2009:EBP,% Anonymous:2010:EBP,% Anonymous:2018:EBa,% Anonymous:2018:EBb,% Anonymous:2018:EBc% }. \NAMECITE{bottom}{% Balachandran:1990:ERC% }. \NAMECITE{bottom-up}{% Balachandran:1990:ERC% }. \NAMECITE{bound}{% Krizevnik:2012:DBV% }. \NAMECITE{boundaries}{% Braghin:2002:SBM,% Dernehl:2018:CSA% }. \NAMECITE{Bounded}{% Kanovich:2014:BMP,% Kurs:2015:BS% }. \NAMECITE{bounds}{% Brandner:2014:RWC% }. \NAMECITE{box}{% Berzins:1991:BSS% }. \NAMECITE{{BPEL}}{% Krizevnik:2012:DBV% }. \NAMECITE{Branching}{% Rondogiannis:1998:BTL% }. \NAMECITE{Branching-time}{% Rondogiannis:1998:BTL% }. \NAMECITE{bridge}{% Fabresse:2012:LBG% }. \NAMECITE{Bridging}{% Yelowitz:1978:DSP% }. \NAMECITE{brief}{% Friedman:1992:BBB% }. \NAMECITE{Bringing}{% Cazzola:2014:JBR% }. \NAMECITE{Broadcasting}{% Broy:1988:BBC,% Pradeep:1994:PRP% }. \NAMECITE{browser}{% Scharli:2004:BIP% }. \NAMECITE{Buffering}{% Broy:1988:BBC% }. \NAMECITE{build}{% Chavarriaga:2017:ABX% }. \NAMECITE{Building}{% Ledley:1999:BMS,% Ledley:1999:BTA,% Li:1996:BEI% }. \NAMECITE{builds}{% Buffenbarger:2017:ACB% }. \NAMECITE{bulk}{% Merlin:2007:BSP% }. \NAMECITE{bulk-synchronous}{% Merlin:2007:BSP% }. \NAMECITE{business}{% Luttighuis:2001:VBP,% Popovic:2015:DMA,% Rieger:2018:POM% }. \NAMECITE{bytecode}{% Denker:2006:RBT,% Jung:2008:EEH% }. \NAMECITE{bytecode-to-{C}}{% Jung:2008:EEH% }. \NAMECITE{{C}}{% Anonymous:1988:CCP,% Budd:1982:IGC,% Charousset:2016:RAP,% Coleman:1989:PIC,% Edelson:1989:CSC,% English:2012:CSC,% Jung:2008:EEH,% Kreutzer:1990:CSF,% Lee:2002:SDM,% Myers:1992:ITC,% Penna:2005:TSS,% Pohl:1988:ZCL,% Zouaoui:2017:CNG% }. \NAMECITE{{C\#}}{% Fruja:2010:TPT% }. \NAMECITE{{C-Flavours}}{% Kreutzer:1990:CSF% }. \NAMECITE{cached}{% Buffenbarger:2017:ACB% }. \NAMECITE{{Cactus\}}}{% Rondogiannis:1998:BTL% }. \NAMECITE{Calculus}{% Gehlot:1986:ISA,% Abdali:1975:LMPa,% Abdali:1975:LMPb,% Amir-Mohammadian:2013:NPP,% Bassiouni:1992:RQL,% DiCosmo:2007:CPC,% Amtoft:2002:OCA% }. \NAMECITE{{Calendar}}{% Wilkinson:2006:PBM% }. \NAMECITE{Call}{% Anonymous:2007:CPE,% Anonymous:2007:CPP,% Breitner:2018:CA,% Kirli:2002:DCT% }. \NAMECITE{call-tracking}{% Kirli:2002:DCT% }. \NAMECITE{candidates}{% Fordo:2015:SCP,% Fordos:2016:SCP% }. \NAMECITE{capabilities}{% Chan:2009:GOC% }. \NAMECITE{card}{% Saritas:2014:MDA% }. \NAMECITE{Carla}{% Citrin:1995:CRL% }. \NAMECITE{Case}{% Dernehl:2018:CSA,% Zave:1986:CSP,% Aljasser:2016:IDP,% Blieberger:1994:DLW,% Brandner:2014:RWC,% Buga:2018:EBB,% Mens:2006:CEC,% Nosal:2017:CHI,% Rodrigues:2018:HDD% }. \NAMECITE{{CASL}}{% Walters:2008:CRP% }. \NAMECITE{{CCS}}{% Nielson:2009:MFC% }. \NAMECITE{{CDL}}{% Liu:1990:EHR,% Liu:1994:RCD% }. \NAMECITE{cellular}{% Vialle:1998:DIP% }. \NAMECITE{centric}{% Lienhard:2009:TOC% }. \NAMECITE{chaining}{% Herzeel:2009:FCH,% Venugopal:1993:HCD% }. \NAMECITE{Chains}{% Kennedy:1978:UCA% }. \NAMECITE{challenges}{% Peck:2012:OSC% }. \NAMECITE{change}{% Bansal:2017:EAS,% Braz:2018:CAP% }. \NAMECITE{change-aware}{% Braz:2018:CAP% }. \NAMECITE{changing}{% Puntigam:2001:SID% }. \NAMECITE{channel}{% Fisher:1988:COC% }. \NAMECITE{Characterization}{% Dhamdhere:1983:CPL% }. \NAMECITE{Checking}{% Bailes:1986:SCV,% DSouza:2017:SII,% Cleereman:2008:MIC,% Dovier:2009:AMC,% Ghorbal:2017:HPR,% Ierusalimschy:1993:DAT,% Jafari:2016:SMC,% Jenkins:1996:PTS,% Kaufmann:2015:IIC,% McCrosky:1993:STP,% Milewicz:2016:LRC,% Milewicz:2017:RSH,% Myers:1992:ITC,% Penna:2005:TSS,% Penna:2014:MCX,% Perin:2012:LSC,% Sistla:2004:ESR,% Zuck:2004:MCA% }. \NAMECITE{{Chinese}}{% Tsay:1981:DIC% }. \NAMECITE{Choosing}{% Magnenat-Thalmann:1982:CIL% }. \NAMECITE{{CHR}}{% Blanchard:2018:MCB% }. \NAMECITE{{CHR}-Based}{% Blanchard:2018:MCB% }. \NAMECITE{{CIaaS}}{% Oliveira:2018:CNC% }. \NAMECITE{circular}{% Soderberg:2015:DRT% }. \NAMECITE{{CL\_ARRAY}}{% Zouaoui:2017:CNG% }. \NAMECITE{Class}{% Logozzo:2009:CIA,% Bergel:2005:CCV,% Johnson:1994:FSP,% Walker:1989:FPI% }. \NAMECITE{Classboxes}{% Bergel:2005:CCV% }. \NAMECITE{classes}{% Bansal:2017:EAS,% Vidal:2016:ECJ% }. \NAMECITE{classical}{% Harland:1997:GPC% }. \NAMECITE{classification}{% Bloom:2009:FPL,% Wuyts:2004:UID% }. \NAMECITE{clause}{% Kafle:2017:HCV% }. \NAMECITE{Client}{% Ledley:1999:TCS,% Chavarriaga:2017:ABX% }. \NAMECITE{client-side}{% Chavarriaga:2017:ABX% }. \NAMECITE{Client/Server}{% Ledley:1999:TCS% }. \NAMECITE{clone}{% Fordo:2015:SCP,% Fordos:2016:SCP% }. \NAMECITE{cloning}{% Cooper:1993:MPC% }. \NAMECITE{closer}{% Felleisen:1986:CLE% }. \NAMECITE{Closure}{% Feeley:1992:CGB% }. \NAMECITE{Closures}{% Feeley:1987:UCC% }. \NAMECITE{cloud}{% Zhou:2018:SMA% }. \NAMECITE{clustering}{% Amarjeet:2018:FAF% }. \NAMECITE{Co}{% Mens:2006:CEC,% Li:2007:PRC% }. \NAMECITE{co-allocation}{% Li:2007:PRC% }. \NAMECITE{Co-evolving}{% Mens:2006:CEC% }. \NAMECITE{{COBOL}}{% Tharp:1977:CCF,% Peterson:1978:ESA% }. \NAMECITE{{Cocke}}{% Manacher:1978:IVC% }. \NAMECITE{{Cocke-Younger-Kasami}}{% Manacher:1978:IVC% }. \NAMECITE{Code}{% Anonymous:1988:CCP,% Bal:1986:LMG,% Crawford:1980:NAC,% Dhamdhere:1983:CPL,% Donnan:1986:PSR,% Feeley:1987:UCC,% Joy:1985:ECC,% Ramanath:1982:OCF,% Balachandran:1990:ERC,% Bergel:2012:SFC,% Brandner:2013:EPC,% Bryant:1995:GGF,% Canedo:2008:NCG,% Chadha:2017:FDC,% Ching:1993:PBS,% Dhamdhere:1988:RAU,% Ganapathi:1989:PBR,% Gomez:2012:RUM,% Hatcher:1991:ESE,% Horspool:1993:SAP,% Insa:2018:AAJ,% Khan:2010:FDS,% Khan:2011:IPT,% Mens:2005:DSC,% Mens:2006:CEC,% Papenhausen:2018:CAO,% Sulir:2016:RCS,% Syriani:2018:SMS% }. \NAMECITE{Coding}{% Papenhausen:2018:CAO% }. \NAMECITE{COLD}{% Combemale:2018:COL% }. \NAMECITE{collaboration}{% Mondejar:2012:TPT% }. \NAMECITE{colony}{% Amarjeet:2018:FAF,% Papenhausen:2018:CAO% }. \NAMECITE{Coloring}{% Chaitin:1981:RAC% }. \NAMECITE{COM}{% Ledley:1999:BTA,% Ledley:1999:BMS% }. \NAMECITE{Combination}{% Friedman:1978:FC% }. \NAMECITE{Combinator}{% Joy:1985:ECC% }. \NAMECITE{Combinators}{% Maurer:1983:UCT% }. \NAMECITE{Combining}{% Svenningsson:2016:CDS,% Bryant:1995:GGF% }. \NAMECITE{Commands}{% Bailes:1986:SCV% }. \NAMECITE{comments}{% Abi-Akar:1989:ATF% }. \NAMECITE{common}{% Resler:2009:HOS% }. \NAMECITE{Communicating}{% Donnan:1986:PSR,% Koster:2016:DSS% }. \NAMECITE{Communication}{% Broy:1988:BBC,% Amtoft:2002:OCA% }. \NAMECITE{communications}{% Citrin:1995:CRL% }. \NAMECITE{compact}{% Hill:2003:LPC% }. \NAMECITE{comparing}{% Erdweg:2015:ECL% }. \NAMECITE{Comparison}{% Fleck:1984:PCT,% Sassa:2009:CEB,% Tharp:1977:CCF% }. \NAMECITE{Compilation}{% Schwartz:1978:PCD,% Barthe:2007:STP,% Vandercammen:2018:FFS% }. \NAMECITE{compile}{% Braz:2018:CAP,% Feeley:1992:CGB% }. \NAMECITE{Compiler}{% Anonymous:2007:CPE,% Anonymous:2007:CPP,% Mazaher:1985:DCO,% Haripriyan:1988:CWS,% Hatcher:1991:ESE,% Jung:2008:EEH,% Karakoidas:2015:TSE,% Merwin:1975:DME% }. \NAMECITE{Compiler-Architecture}{% Anonymous:2007:CPE% }. \NAMECITE{Compilers}{% Sharir:1980:SAN,% Zouaoui:2017:CNG% }. \NAMECITE{Compiling}{% Park:2015:CVS,% Park:2016:CVS,% Wand:1978:CLU% }. \NAMECITE{complete}{% Golubski:1995:CSS% }. \NAMECITE{completely}{% Radakovic:2018:TCE% }. \NAMECITE{Complex}{% Spragins:1979:ATM% }. \NAMECITE{complexity}{% Bail:1988:PCU,% Iyengar:1982:MLC,% Stetter:1984:MPC% }. \NAMECITE{compliant}{% Mateos:2010:ANI% }. \NAMECITE{Component}{% Wu:2010:CBL,% Choi:2015:LAC,% Choi:2016:LAC,% Fabresse:2008:FSU,% Fabresse:2012:LBG,% Purtilo:1995:EPS% }. \NAMECITE{Component-based}{% Wu:2010:CBL,% Fabresse:2012:LBG,% Purtilo:1995:EPS% }. \NAMECITE{component-level}{% Choi:2015:LAC,% Choi:2016:LAC% }. \NAMECITE{component-oriented}{% Fabresse:2008:FSU% }. \NAMECITE{components}{% Cazzola:2016:LCM,% Prahofer:2013:MDS,% Taylor:1996:ARM,% Zdun:2006:TLB% }. \NAMECITE{composable}{% Lamma:1993:PCM% }. \NAMECITE{composed}{% Messerschmidt:1982:CCO% }. \NAMECITE{composing}{% Holldobler:2018:SLE,% Reis:2015:FGM% }. \NAMECITE{composition}{% Barrett:2015:AIC,% Barrett:2016:AIC,% Bouraqadi:2004:SMC,% Brogi:1999:DCP,% Ducasse:2005:USM,% Pastrana:2011:QES,% Pinto:2018:ACM,% Roldan:2009:SCL,% Zdun:2006:TLB% }. \NAMECITE{Compositional}{% Gedela:1999:CPN% }. \NAMECITE{comprehensible}{% Fordo:2015:SCP,% Fordos:2016:SCP% }. \NAMECITE{Computation}{% Cater:1984:CLE,% Nagata:1979:ELN,% Axford:1993:LPP,% Canedo:2008:NCG,% Maier:2014:RSS,% Papadimitriou:2009:JIS% }. \NAMECITE{computational}{% Haraburda:2013:BTC,% Li:2007:PRC,% Li:2009:UDS,% Oliveira:2018:CNC% }. \NAMECITE{Computationally}{% Rubenstein:1987:CEL% }. \NAMECITE{computations}{% DiCosmo:2007:CPC,% Pontelli:2002:ODS% }. \NAMECITE{Computer}{% Bachmann:1978:SCL,% Cortesi:2002:CLS,% Hsia:1991:IDC,% Rine:1991:ICL,% Joseloff:1978:CPC,% Nymeyer:1995:GSH,% Zaki:1988:DGI% }. \NAMECITE{computer-based}{% Zaki:1988:DGI% }. \NAMECITE{computers}{% Bail:1988:PCU,% Pradeep:1994:PRP% }. \NAMECITE{Computing}{% Anonymous:2007:CPP,% Bryant:2015:SIP,% Bryant:2016:SIP,% Mernik:2013:SIP,% Mernik:2014:SIP% }. \NAMECITE{{ConC}}{% Garg:1991:CLC% }. \NAMECITE{concept}{% Mens:2005:DSC% }. \NAMECITE{Concepts}{% Dimitrieski:2015:CEE,% Dimitrieski:2016:CEE,% Gokhale:2017:SII% }. \NAMECITE{conceptual}{% Gybels:2006:ILR,% RodriguesdaSilva:2015:MDE% }. \NAMECITE{Concern}{% Combemale:2018:COL% }. \NAMECITE{Concern-oriented}{% Combemale:2018:COL% }. \NAMECITE{concerns}{% Sulir:2016:RCS% }. \NAMECITE{{Concur}}{% Salter:1980:CLC% }. \NAMECITE{Concurrency}{% Gehani:1982:CAM,% Kuhn:1993:CBV,% Fodor:2002:SIP,% Koutavas:2012:FOR% }. \NAMECITE{Concurrent}{% Marand:2015:DDS,% Marand:2016:DDS,% Salter:1980:CLC,% Salter:1983:CAI,% Campos:2003:DRC,% Chan:2009:GOC,% Chung:1998:NMI,% Drew:1996:FTT,% Garg:1991:CLC,% Ghezzi:1989:SEC,% Lee:2000:ESI,% Milewicz:2017:RSH,% Mitchell:1996:SCO,% Romanovsky:1997:PEH,% Talia:1993:DTC,% Talia:1993:SPC% }. \NAMECITE{concurrent-write}{% Campos:2003:DRC% }. \NAMECITE{condition}{% Sukumaran:2010:DCG% }. \NAMECITE{conditions}{% Przigoda:2018:FCA,% Sukumaran:2010:DCG% }. \NAMECITE{Conference}{% DSouza:2017:SII,% Gokhale:2017:SII% }. \NAMECITE{Conferences}{% Combemale:2015:SII% }. \NAMECITE{configurable}{% Braz:2018:CAP% }. \NAMECITE{configuration}{% Pereira:2018:PRS,% Zdun:2006:TLB% }. \NAMECITE{connected}{% Pradeep:1994:PRP% }. \NAMECITE{connectives}{% Kornilowicz:2015:FCM,% Kornilowicz:2016:FCM% }. \NAMECITE{connectors}{% Pastrana:2011:QES% }. \NAMECITE{Considered}{% Symes:1985:POC% }. \NAMECITE{consistency}{% Kaufmann:2015:IIC% }. \NAMECITE{Constant}{% Tai:1979:CFW% }. \NAMECITE{constrained}{% Kannimoola:2017:TCO% }. \NAMECITE{Constraint}{% Yau:1993:CPS,% Zolotas:2017:CPT,% Hansen:1989:IRD,% Lee:2000:ESI,% Zima:1986:CLI% }. \NAMECITE{Constraint-driven}{% Yau:1993:CPS% }. \NAMECITE{constraints}{% Luqi:1993:RTC% }. \NAMECITE{Construct}{% English:2012:CSC% }. \NAMECITE{Constructors}{% Messerschmidt:1982:CCO% }. \NAMECITE{Constructs}{% Berry:1982:LCR,% Abdali:1975:LMPa,% Mosconi:2000:ICD% }. \NAMECITE{consuming}{% Bossi:2000:SWM% }. \NAMECITE{consumption}{% Ozturk:2011:RMS% }. \NAMECITE{container}{% McCrosky:1991:ICR% }. \NAMECITE{containers}{% Zouaoui:2017:CNG% }. \NAMECITE{content}{% Liu:2017:ACS% }. \NAMECITE{Contents}{% Anonymous:2002:VC,% Anonymous:2005:VC,% Anonymous:2005:VCA,% Anonymous:2006:VCA% }. \NAMECITE{Context}{% Barnard:1992:CPP,% Celentano:1981:LPT,% Haubl:2013:CST,% Bailes:1993:FGT,% Barbosa:2012:TPM,% Costagliola:2018:ULC,% Inostroza:2017:MII,% Sebesta:1989:CPG,% Sicak:2018:SSA% }. \NAMECITE{context-aware}{% Barbosa:2012:TPM% }. \NAMECITE{Context-Free}{% Celentano:1981:LPT,% Barnard:1992:CPP,% Bailes:1993:FGT,% Sebesta:1989:CPG,% Sicak:2018:SSA% }. \NAMECITE{Context-sensitive}{% Haubl:2013:CST% }. \NAMECITE{contextual}{% Simonin:2018:AIC% }. \NAMECITE{contiguous}{% Kessler:1995:GOC,% Liu:2017:ACS% }. \NAMECITE{continuation}{% Wang:1992:CBL% }. \NAMECITE{continuation-based}{% Wang:1992:CBL% }. \NAMECITE{Continuations}{% Haynes:1986:OCC,% Wand:1978:CLU,% Dybvig:1989:EC,% Johnson:1994:FSP% }. \NAMECITE{Continuous}{% Salter:1980:CLC% }. \NAMECITE{Contract}{% Kolesnichenko:2017:SCL% }. \NAMECITE{Contract-}{% Kolesnichenko:2017:SCL% }. \NAMECITE{contraction}{% Coon:1983:CCI% }. \NAMECITE{contractual}{% Ozkaya:2018:SUB% }. \NAMECITE{Control}{% Colombetti:1984:SCD,% Lafora:1984:REG,% Adje:2017:ASI,% Ahson:1985:UFL,% Amir-Mohammadian:2013:NPP,% Coon:1983:CCI,% DiSanto:1990:PCA,% Haller:2016:SIA,% McNamee:1996:ISC,% Olsson:1992:ISN,% Oudshoorn:1991:LOM,% Prahofer:2013:MDS,% Ricci:2016:PEL,% Shen:1994:ACP,% Yuen:1998:AOA% }. \NAMECITE{Controller}{% Tsay:1981:DIC% }. \NAMECITE{controlling}{% Bergel:2005:CCV,% Nam:1993:CSP% }. \NAMECITE{conversation}{% Clematis:1993:SCO% }. \NAMECITE{Conversations}{% Romanovsky:1995:CO% }. \NAMECITE{convex}{% Kafle:2017:HCV% }. \NAMECITE{coordinating}{% Ciampolini:2001:LLC% }. \NAMECITE{coordination}{% Ciancarini:1996:RCL,% Ciancarini:2000:DCL,% Pastrana:2011:QES,% Silvestre:2010:FCE% }. \NAMECITE{copies}{% Brandner:2013:EPC% }. \NAMECITE{Copyright}{% Joseloff:1978:CPC% }. \NAMECITE{Core}{% deLamadrid:2012:CFH% }. \NAMECITE{corecursion}{% Ancona:2013:RCP% }. \NAMECITE{corollaries}{% Schwartz:1975:OVHa% }. \NAMECITE{Coroutines}{% Haynes:1986:OCC,% Kreutzer:1990:CSF% }. \NAMECITE{Correction}{% Fischer:1980:REP% }. \NAMECITE{Correctness}{% Berry:1977:PDAb,% Yelowitz:1978:DSP,% Liu:1993:APL% }. \NAMECITE{correctors}{% Wetherell:1977:WAE% }. \NAMECITE{Cost}{% Deng:2010:CDA% }. \NAMECITE{Cost-driven}{% Deng:2010:CDA% }. \NAMECITE{Costing}{% Ellmenreich:2007:CSR% }. \NAMECITE{costs}{% Loulergue:2007:ISI% }. \NAMECITE{count}{% Nam:1993:CSP% }. \NAMECITE{Countdown}{% Ledley:1999:CYP% }. \NAMECITE{counting}{% Chang:2012:CRC% }. \NAMECITE{coupled}{% Silvestre:2010:FCE% }. \NAMECITE{coupling}{% English:2012:CSC% }. \NAMECITE{covariant}{% Cleereman:2008:MIC% }. \NAMECITE{Cover}{% Anonymous:2002:IFC,% Anonymous:2003:IFCc,% Anonymous:2004:IFC,% Anonymous:2005:IFCa,% Anonymous:2005:IFCb,% Anonymous:2005:IFCc,% Anonymous:2003:IFCa,% Anonymous:2003:IFCb% }. \NAMECITE{Creating}{% Bergel:2008:CSD,% Franco:1989:CEP% }. \NAMECITE{critical}{% Park:2015:CVS,% Park:2016:CVS% }. \NAMECITE{critique}{% Fisher:1988:COC% }. \NAMECITE{cross}{% Adesina:2018:IFA,% Chadha:2017:FDC% }. \NAMECITE{cross-platform}{% Chadha:2017:FDC% }. \NAMECITE{{CSP}}{% Patnaik:1984:ICD% }. \NAMECITE{{CSP}-{S}}{% Patnaik:1984:ICD% }. \NAMECITE{custom}{% Fong:2010:IUS% }. \NAMECITE{Customizing}{% Malkov:2010:CFP,% Nosal:2017:CHI% }. \NAMECITE{cycle}{% Hooper:1989:LFP% }. \NAMECITE{Cyclic}{% Chang:2012:CRC% }. \NAMECITE{{DAGs}}{% Kessler:1995:GOC,% Kessler:1998:SED% }. \NAMECITE{Data}{% Bailes:1987:GFL,% Barroso:1978:IDD,% Bossi:1984:UFQ,% Campos:2003:DRC,% Fleck:1978:RDT,% Gannon:1987:TIM,% Gehani:1979:HLD,% Hanson:1978:DSS,% Kislal:2018:DAS,% Krizevnik:2012:DBV,% Maurer:1983:UCT,% Patnaik:1984:DDF,% Yelowitz:1978:DSP,% Bal:1991:DPS,% Berry:1977:PDAa,% Berry:1977:PDAb,% Boudriga:1992:RMS,% Brandner:2013:EPC,% Choe:2009:QGR,% Demaid:2006:AEO,% Dovier:2009:AMC,% Earley:1975:HLI,% Faddegon:2018:TGO,% Ford:1987:PEM,% Franco:1989:CEP,% Gehani:1977:UMD,% Hendren:1993:DPL,% Hermenegildo:1996:RDA,% Jalote:1992:STA,% Jenkins:1989:LBN,% Jouvelot:2011:DVT,% Khedker:2003:BDF,% McLeod:1977:HLD,% Michel:1996:DID,% Milewicz:2017:RSH,% Mosconi:2000:ICD,% Nilsen:1990:SDT,% Oubelli:2018:SMB,% Oudshoorn:1991:LOM,% Pontelli:2002:ODS,% Sarwar:1994:ESR,% Simonin:2018:AIC,% Zhou:2018:SMA,% delaVega:2018:FDF% }. \NAMECITE{Data-Bases}{% Bossi:1984:UFQ% }. \NAMECITE{Data-bound}{% Krizevnik:2012:DBV% }. \NAMECITE{Data-Flow}{% Maurer:1983:UCT,% Mosconi:2000:ICD% }. \NAMECITE{data-parallel}{% Michel:1996:DID% }. \NAMECITE{data-parallelism}{% Hermenegildo:1996:RDA% }. \NAMECITE{Data-race}{% Campos:2003:DRC% }. \NAMECITE{Database}{% Orman:1983:FSL,% Patnaik:1985:GQH,% Dimitrieski:2015:CEE,% Dimitrieski:2016:CEE,% Halder:2012:AID% }. \NAMECITE{databases}{% Bassiouni:1992:RQL,% Hansen:1989:IRD% }. \NAMECITE{Dataflow}{% Weiser:1985:EDD,% Ozturk:2011:RMS% }. \NAMECITE{Datatype}{% Weiser:1985:EDD% }. \NAMECITE{{Debugger}}{% Chis:2015:PDS% }. \NAMECITE{debuggers}{% Chis:2015:PDS% }. \NAMECITE{Debugging}{% Johnson:1981:DRD,% Crawford:1995:SID,% Faddegon:2018:TGO% }. \NAMECITE{decentralized}{% Haller:2016:SIA% }. \NAMECITE{declarations}{% Shen:1994:ACP% }. \NAMECITE{Declarative}{% Soderberg:2015:DRT,% Zhou:2013:DSD,% Chakravarty:1997:TUI,% Ciancarini:2000:DCL,% Michel:1996:DID,% Ng:1995:MLO,% Seipel:2018:DSL% }. \NAMECITE{decorator}{% Aljasser:2016:IDP% }. \NAMECITE{Deducing}{% Schwartz:1975:OVHb% }. \NAMECITE{Deep}{% Samet:1979:DSB,% Khan:2011:IPT,% Svenningsson:2016:CDS,% Zhao:2018:DID% }. \NAMECITE{{DeepDSL}}{% Zhao:2018:DID% }. \NAMECITE{define}{% Bryant:1984:ILD% }. \NAMECITE{defined}{% DiSanto:1990:PCA% }. \NAMECITE{defining}{% Chen:1992:MMD,% Reis:2015:FGM% }. \NAMECITE{definite}{% Guo:2009:DRA% }. \NAMECITE{Definition}{% Barroso:1978:IDD,% Besova:2015:GBM,% Chen:1992:MMD,% Colombetti:1984:SCD,% Kennedy:1978:UCA,% Costagliola:2018:ULC,% Crespi-Reghizzi:2000:ADP,% Kampen:1975:FDS,% McLeod:1977:HLD,% Ribic:2018:RRD,% Thimbleby:1982:TEI% }. \NAMECITE{definitional}{% Falkman:1997:PSD% }. \NAMECITE{delayed}{% Venugopal:1995:SET% }. \NAMECITE{delayed-load}{% Venugopal:1995:SET% }. \NAMECITE{Delving}{% Mens:2005:DSC% }. \NAMECITE{democratisation}{% delaVega:2018:FDF% }. \NAMECITE{denotational}{% Ierusalimschy:1993:DAT,% Malton:1993:DSF% }. \NAMECITE{denotations}{% Hill:2003:LPC% }. \NAMECITE{dense}{% DiCosmo:2007:CPC% }. \NAMECITE{dependence}{% Brandner:2013:EPC,% Sukumaran:2010:DCG% }. \NAMECITE{dependencies}{% Philippidis:2010:MRU% }. \NAMECITE{dependency}{% Zhu:2018:TPS% }. \NAMECITE{Dependent}{% Jouvelot:2011:DVT% }. \NAMECITE{deployment}{% Miranda:2005:PFF% }. \NAMECITE{Derivation}{% Peterssen:1986:PDT,% Smetsers:2016:DIH,% Reeves:1999:SBT% }. \NAMECITE{Deriving}{% Mazaher:1985:DCO,% Holldobler:2018:SLE% }. \NAMECITE{DesCa{RT}e{S}}{% Maris:2003:DRT% }. \NAMECITE{descent}{% Horspool:1993:RAP,% Murching:1990:IRD% }. \NAMECITE{Description}{% Konopasek:1978:QAS,% Patnaik:1984:ICD,% Riddle:1979:ASSa,% Bays:1976:ADL,% Horry:2017:FID,% Simao:2009:TLM% }. \NAMECITE{Design}{% Al-AAli:1995:DAP,% Andersen:2005:DIE,% Ergin:2016:DPO,% Fister:2011:DID,% Kieburtz:1985:DAL,% Michel:1996:DID,% Ramanathan:1983:DIA,% Schwartz:1978:PCD,% Tsay:1981:DIC,% Vialle:1998:DIP,% Zaki:1987:FDA,% Zaki:1988:DGI,% Zhao:2018:DID,% Aljasser:2016:IDP,% Basili:1975:SAL,% Capelli:2016:FED,% Cassou:2009:TWD,% Cordoba-Sanchez:2016:ADS,% Crawford:1995:SID,% Dimitrieski:2015:CEE,% Dimitrieski:2016:CEE,% Fabresse:2012:LBG,% Fabry:2004:LID,% Feng:1996:BLD,% Kreutzer:1990:CSF,% Le:2018:DDD,% Lee:1997:OLI,% Liu:1994:RCD,% Maier:2014:RSS,% Malik:2010:SGL,% Mens:2006:CEC,% Runciman:1989:WAN,% Scott:1991:LDP,% Seidl:2017:GSP,% Tucker:1975:VHL% }. \NAMECITE{Designing}{% Hendren:1993:DPL,% Earley:1975:HLI% }. \NAMECITE{destructive}{% Hartel:1994:EDU% }. \NAMECITE{detailed}{% Ko:2014:SET% }. \NAMECITE{Detection}{% Pai:2016:DRE,% Fabry:2004:LID% }. \NAMECITE{determinism}{% Olsson:1992:ISN% }. \NAMECITE{deterministic}{% Lee:2005:PRG,% Polach:2016:EDV,% Pontelli:2002:ODS,% Reghizzi:1998:GPM% }. \NAMECITE{determinization}{% Polach:2016:EDV% }. \NAMECITE{developers}{% Rodrigues:2018:HDD% }. \NAMECITE{Developing}{% Baldassari:1991:POO% }. \NAMECITE{Development}{% Celentano:1980:SPD,% Gini:1982:IDO,% Hsia:1991:IDC,% Bailes:1990:HDG,% Barisic:2018:UDD,% Bergel:2008:CSD,% Bergenti:2017:AOM,% Chadha:2017:FDC,% Chen:1992:MMD,% Combemale:2018:COL,% Ergin:2016:DPO,% Malkov:2010:CFP,% Mendez-Acuna:2016:LSP,% Mernik:2005:IPL,% Pereira:2016:OAD,% Rieger:2018:POM,% Rotenstreich:1992:OLF,% Saritas:2014:MDA,% Seidl:2017:GSP,% Vacchi:2015:NFF,% Wautelet:2017:USD,% Wuyts:2004:UID,% delaVega:2018:FDF% }. \NAMECITE{Developments}{% Crowley:1979:PDP,% Fleck:1978:RDT% }. \NAMECITE{Devices}{% Symes:1985:POC% }. \NAMECITE{{DFL}}{% Patnaik:1984:DDF% }. \NAMECITE{diagram}{% Arora:2017:STS% }. \NAMECITE{diagrams}{% Dernehl:2018:CSA,% Herriot:1976:SSD% }. \NAMECITE{dialects}{% Cordy:1991:TRP% }. \NAMECITE{dialogue}{% Nymeyer:1995:GSH% }. \NAMECITE{different}{% Cooke:1998:SPD,% Slivnik:2017:DLL% }. \NAMECITE{{digitaled}}{% Huang:1976:DIL% }. \NAMECITE{{Dijkstra}}{% Bailes:1986:SCV% }. \NAMECITE{{DILOG}}{% Huang:1976:DIL% }. \NAMECITE{{DILOG-digitaled}}{% Huang:1976:DIL% }. \NAMECITE{dimensional}{% Fordo:2015:SCP,% Fordos:2016:SCP% }. \NAMECITE{Direct}{% Merwin:1975:DME% }. \NAMECITE{Directed}{% Lepage:1981:OHD,% Doh:1993:ASD,% Harland:1997:GPC,% Khan:2010:FDS,% Nilsen:1990:SDT,% OBagy:1993:OSI,% Venugopal:1993:HCD% }. \NAMECITE{Discrete}{% Baldassari:1991:POO,% Blieberger:1994:DLW,% Hooper:1987:LFD% }. \NAMECITE{dispatch}{% Kumar:2007:MDR% }. \NAMECITE{{Dispel}}{% Johnson:1981:DRD% }. \NAMECITE{Display}{% Mano:1984:NPE,% Nawrocki:1990:DOA% }. \NAMECITE{distance}{% Dain:1994:PMD% }. \NAMECITE{Distributed}{% Bal:1991:DPS,% Berry:1982:LCR,% Ciampolini:1996:DLO,% Cook:1981:ADP,% Kirli:2002:DCT,% Ledley:1999:MPD,% Patnaik:1984:ICD,% Talia:1993:DTC,% Yen:1983:DSM,% Choe:2009:QGR,% Diaz:1997:DDR,% Liu:1994:RCD,% Mejri:2017:FSI,% Nigam:2012:MDL,% Pontelli:2010:IPE,% Purtilo:1991:EPD,% Scott:1991:LDP,% Silvestre:2010:FCE,% Taylor:1996:ARM,% White:1977:EDP,% Zhou:2013:DSD% }. \NAMECITE{do}{% Rodrigues:2018:HDD% }. \NAMECITE{documentation}{% LeMoulec:2018:APE% }. \NAMECITE{documents}{% Choe:2009:QGR% }. \NAMECITE{Domain}{% Marand:2016:DDS,% Seipel:2018:DSL,% Chavarriaga:2017:ABX,% Chis:2015:PDS,% Cordoba-Sanchez:2016:ADS,% Cortesi:2015:ADT,% Fister:2011:DID,% Gomez-Abajo:2017:DSL,% Le:2018:DDD,% Prahofer:2013:MDS,% Ribic:2018:RRD,% Sutii:2018:EMR,% Svenningsson:2016:CDS,% delaVega:2018:FDF,% Marand:2015:DDS% }. \NAMECITE{Domain-specific}{% Marand:2016:DDS,% Seipel:2018:DSL,% Chis:2015:PDS,% Cordoba-Sanchez:2016:ADS,% Fister:2011:DID,% Gomez-Abajo:2017:DSL,% Prahofer:2013:MDS,% Ribic:2018:RRD,% Sutii:2018:EMR,% Svenningsson:2016:CDS,% delaVega:2018:FDF,% Marand:2015:DDS% }. \NAMECITE{Domains}{% Koster:2016:DSS,% McLeod:1977:HLD% }. \NAMECITE{dominance}{% Amarjeet:2018:FAF% }. \NAMECITE{{Dragonfly}}{% Azzini:2018:DMP% }. \NAMECITE{Driven}{% Amaral:2018:SIQ,% Barroso:1978:IDD,% DiRuscio:2017:SIF,% Amarjeet:2018:FAF,% Ashamalla:2017:MDA,% Barisic:2018:UDD,% Bergenti:2017:AOM,% Deng:2010:CDA,% Kardas:2017:SIM,% Le:2018:DDD,% Li:2009:UDS,% RodriguesdaSilva:2015:MDE,% Saritas:2014:MDA,% Struber:2017:TBV,% Wautelet:2017:USD,% Yau:1993:CPS,% Zolotas:2017:CPT% }. \NAMECITE{{DRL}}{% Diaz:1997:DDR% }. \NAMECITE{{DSL}}{% Barisic:2018:UDD,% Pereira:2016:OAD,% Popovic:2015:DMA,% Sutii:2018:EMR,% Zhao:2018:DID% }. \NAMECITE{{DSLs}}{% Cazzola:2016:LCM,% LeMoulec:2018:APE,% Mendez-Acuna:2016:LSP,% Nosal:2017:CHI% }. \NAMECITE{{DSML4CP}}{% Marand:2015:DDS,% Marand:2016:DDS% }. \NAMECITE{{DSU}}{% Cazzola:2018:DML% }. \NAMECITE{Dynamic}{% Baldassari:1991:POO,% Brogi:1999:DCP,% Cazzola:2018:DML,% Guo:2009:DRA,% Bloom:2009:FPL,% Bryant:1984:ILD,% Burton:2018:OMD,% Franco:1990:TFL,% Greiner:2009:ZBS,% Haldiman:2009:PPT,% Lee:2002:SDM,% Lienhard:2009:TOC,% Penna:2005:TSS,% Pontelli:2002:ODS,% Pontelli:2010:IPE,% Radakovic:2018:TCE,% Renggli:2009:TMD,% Rodrigues:2018:HDD% }. \NAMECITE{dynamically}{% Bergel:2011:RMO,% Puntigam:2001:SID% }. \NAMECITE{Early}{% Mano:1984:NPE,% Capelli:2016:FED% }. \NAMECITE{easytime}{% Fister:2011:DID% }. \NAMECITE{edge}{% Dhamdhere:1990:ULA% }. \NAMECITE{editing}{% Thimbleby:1982:TEI% }. \NAMECITE{Edition}{% Ledley:1999:TCS% }. \NAMECITE{{Editor}}{% Anonymous:2001:EIG,% Demeyer:2009:GEI% }. \NAMECITE{Editorial}{% Anonymous:2001:EIG,% Ducasse:2004:E,% Loidl:2016:ESI,% Anonymous:2002:EBa,% Anonymous:2002:EBb,% Anonymous:2002:IFC,% Anonymous:2003:IFCa,% Anonymous:2003:IFCb,% Anonymous:2003:IFCc,% Anonymous:2004:IEB,% Anonymous:2004:IFC,% Anonymous:2005:IFCa,% Anonymous:2005:IFCb,% Anonymous:2005:IFCc,% Anonymous:2009:EBP,% Anonymous:2010:EBP,% Anonymous:2018:EBa,% Anonymous:2018:EBb,% Anonymous:2018:EBc% }. \NAMECITE{Edwards}{% Ledley:1999:TCS% }. \NAMECITE{{EE}}{% Martinez:2017:MBA% }. \NAMECITE{Effect}{% Georgeff:1981:EOP,% Ierusalimschy:1995:SFF% }. \NAMECITE{Effective}{% Dan:2017:EAV,% Flores:1978:MME,% Hassan:2018:EIM,% Cordoba-Sanchez:2016:ADS% }. \NAMECITE{effectiveness}{% Dandan:2013:TSR% }. \NAMECITE{efficiency}{% Pontelli:1996:IEN% }. \NAMECITE{Efficient}{% Balachandran:1990:ERC,% Joy:1985:ECC,% Jung:2008:EEH,% Pavlatos:2009:ERE,% Polach:2016:EDV,% Ching:1993:PBS,% Franco:1989:CEP,% Hatcher:1991:ESE,% Li:1996:BEI,% Liao:1992:RPP,% Pai:2016:DRE,% Papadimitriou:2009:JIS% }. \NAMECITE{Effort}{% Cater:1984:CLE% }. \NAMECITE{Elements}{% Peterson:1978:ESA,% White:1977:EDP% }. \NAMECITE{eliminating}{% Resler:2009:HOS% }. \NAMECITE{Elimination}{% Brandner:2013:EPC,% Demers:1975:ESP% }. \NAMECITE{Embedded}{% Anonymous:2007:CPE,% Andersen:2005:DIE,% Hsiung:2008:ASV,% Jung:2008:EEH,% Maris:2003:DRT,% Nosal:2017:CHI,% Pavlatos:2009:ERE,% Wang:1992:CBL% }. \NAMECITE{embedding}{% Karakoidas:2015:TSE,% Svenningsson:2016:CDS% }. \NAMECITE{{Emerald}}{% Hayes:1990:IES% }. \NAMECITE{emphasis}{% Adesina:2018:IFA% }. \NAMECITE{Empirical}{% Bansal:2017:EAS,% Saal:1977:ESA,% Sarwar:1994:ESR,% Vidal:2016:ECJ% }. \NAMECITE{Employing}{% Sistla:2004:ESR% }. \NAMECITE{enabled}{% Pastrana:2011:QES% }. \NAMECITE{end}{% LeMoulec:2018:APE% }. \NAMECITE{enforcement}{% Iranmanesh:2016:SSE% }. \NAMECITE{engineered}{% Hughes:1985:PLE% }. \NAMECITE{Engineering}{% Amaral:2018:SIQ,% Combemale:2015:SII,% DiRuscio:2017:SIF,% Mendez-Acuna:2016:LSP,% Sarwar:1996:EQ,% Buga:2018:EBB,% Combemale:2018:COL,% Holldobler:2018:SLE,% Kardas:2017:SIM,% Malhotra:2017:SIS,% Mansurov:2001:ASS,% RodriguesdaSilva:2015:MDE,% Zolotas:2017:CPT% }. \NAMECITE{Engines}{% Dybvig:1989:EC,% Haynes:1987:ATP% }. \NAMECITE{Enhancement}{% Demaid:2006:AEO% }. \NAMECITE{Enhancements}{% Zelkowitz:1981:ILE% }. \NAMECITE{Entity}{% Schiffner:1979:MVA,% Dimitrieski:2015:CEE,% Dimitrieski:2016:CEE% }. \NAMECITE{entity-relationship}{% Dimitrieski:2015:CEE,% Dimitrieski:2016:CEE% }. \NAMECITE{entry}{% McNamee:1996:ISC,% Olsson:1992:ISN% }. \NAMECITE{Environment}{% Mano:1984:NPE,% Ramanathan:1983:DIA,% Diaz-Gonzalez:1991:LAE,% Johnson:1994:FSP,% Kumar:2007:MDR,% Purtilo:1991:EPD,% Purtilo:1995:EPS% }. \NAMECITE{Environments\}}{% Ledley:1999:MPD,% Pontelli:2002:ODS% }. \NAMECITE{{ENVISAGER}}{% Diaz-Gonzalez:1991:LAE% }. \NAMECITE{epsilon}{% Feeley:1992:CGB% }. \NAMECITE{{EQL}}{% Nagata:1979:ELN% }. \NAMECITE{equational}{% Hatcher:1991:ESE% }. \NAMECITE{equivalence}{% Tzevelekos:2012:PES% }. \NAMECITE{Error}{% Clarke:1993:EHP,% Fischer:1980:REP,% Dain:1994:PMD,% Hammond:1984:SSE,% Lanvin:2010:EOO,% Wetherell:1977:WAE% }. \NAMECITE{errors}{% Degano:1998:LTH,% Ripley:1978:SAS% }. \NAMECITE{escape}{% Dabrowski:2015:FSN% }. \NAMECITE{Evaluating}{% Erdweg:2015:ECL,% Kaser:1998:EIT% }. \NAMECITE{Evaluation}{% Celentano:1981:ITP,% Georgeff:1981:EOP,% Andersen:2005:DIE,% Dimitrieski:2015:CEE,% Dimitrieski:2016:CEE,% Dimopoulos:2010:PAG,% Ford:1987:PEM,% Jayaraman:1992:SAL,% Ko:2014:SET,% Lam:2011:MOE,% McNamee:1996:ISC,% Murching:1989:IAE,% Nederhof:1993:PEG,% Peck:2012:OSC,% Pradeep:1994:PAE,% Sassa:2009:CEB,% Tremblay:2000:LEN,% Tremblay:2000:LEP% }. \NAMECITE{evaluations}{% Kessler:1995:GOC% }. \NAMECITE{Event}{% Baldassari:1991:POO,% Koster:2016:DSS,% Ricci:2016:PEL,% Silvestre:2010:FCE,% VanCutsem:2009:LSB,% Buga:2018:EBB% }. \NAMECITE{{Event-B}-based}{% Buga:2018:EBB% }. \NAMECITE{event-based}{% Silvestre:2010:FCE% }. \NAMECITE{event-loop}{% Koster:2016:DSS% }. \NAMECITE{evolution}{% Oubelli:2018:SMB% }. \NAMECITE{Evolutionary}{% Karimpour:2017:ERO% }. \NAMECITE{evolving}{% Mens:2006:CEC% }. \NAMECITE{Exception}{% Drew:1994:EHE,% Liu:1990:EHR,% Berry:1980:TMV,% Cabral:2011:TMA,% Choi:2015:LAC,% Choi:2016:LAC,% Cocco:1982:MEH,% Huang:1990:EHM,% Jung:2008:EEH,% Romanovsky:1997:PEH% }. \NAMECITE{exceptions}{% Bolot:1990:FSP% }. \NAMECITE{exchanging}{% Franco:1989:CEP% }. \NAMECITE{executable}{% Cadoli:2000:NSE,% Heping:1996:ESL,% Krizevnik:2012:DBV,% Planas:2016:LSV% }. \NAMECITE{execute}{% Flores:1975:LEF% }. \NAMECITE{Execution}{% Lafora:1984:REG,% Arusoaie:2015:SEB,% Besova:2015:GBM,% Brandner:2014:RWC,% Coen-Porisini:1993:ARS,% Ghezzi:1989:SEC,% Lee:2000:ESI,% Merwin:1975:DME,% Pontelli:2010:IPE,% Zhou:2018:SMA% }. \NAMECITE{Executions}{% Blanchard:2018:MCB% }. \NAMECITE{exercise}{% Salzman:1992:ASM% }. \NAMECITE{exercises}{% Gomez-Abajo:2017:DSL% }. \NAMECITE{Existing}{% Erdweg:2015:ECL,% Armentano:2009:FAP% }. \NAMECITE{expecting}{% Drew:1994:EHE% }. \NAMECITE{Experience}{% Weiser:1985:EDD,% Scott:1991:LDP% }. \NAMECITE{Experiences}{% Gokhale:2017:SII,% Mano:1984:NPE% }. \NAMECITE{experimental}{% Stewart:1975:SES% }. \NAMECITE{Experiments}{% Hartel:1994:EDU% }. \NAMECITE{expert}{% Seipel:2018:DSL% }. \NAMECITE{explicit}{% Olsson:1992:ISN% }. \NAMECITE{exploiting}{% Kelefouras:2015:MSL% }. \NAMECITE{Exploration}{% Sutii:2018:EMR,% Gogolla:2018:AMQ% }. \NAMECITE{explorative}{% Karimpour:2017:ERO% }. \NAMECITE{export}{% Felleisen:1986:CLE% }. \NAMECITE{exposed}{% Vidal:2016:ECJ% }. \NAMECITE{Expression}{% Tai:1979:CFW,% Kessler:1995:GOC,% Kessler:1998:SED,% Lam:2011:MOE,% Pradeep:1994:PAE,% Sutii:2018:EMR,% Venugopal:1995:SET% }. \NAMECITE{Expressions}{% Wand:1978:CLU,% Groppe:2011:TXS,% Pai:2016:DRE% }. \NAMECITE{Extended}{% Celentano:1981:LPT,% Rubenstein:1987:CEL,% Schiffner:1979:MVA,% Dimitrieski:2015:CEE,% Dimitrieski:2016:CEE% }. \NAMECITE{Extended-Entity-Relationship}{% Schiffner:1979:MVA% }. \NAMECITE{Extending}{% Bassiouni:1999:ETQ,% Lanvin:2010:EOO,% Mateos:2007:EMS,% Sullivan:1975:EPS% }. \NAMECITE{extensible}{% Karakoidas:2015:TSE,% Radakovic:2018:TCE,% Reis:2015:FGM% }. \NAMECITE{Extension}{% Nagata:1980:FLM,% Biskup:1990:ESQ,% Salzman:1992:ASM,% Zouaoui:2017:CNG% }. \NAMECITE{extensions}{% Bergel:2005:CCV,% Drew:1996:FTT,% Fong:2010:IUS% }. \NAMECITE{external}{% Mendez-Acuna:2016:LSP% }. \NAMECITE{Extracting}{% Purtilo:1995:EPS% }. \NAMECITE{{Facet}}{% Bailes:1993:FGT% }. \NAMECITE{Facilitating}{% Chadha:2017:FDC% }. \NAMECITE{Facility}{% Barroso:1978:IDD,% Nagata:1980:FLM,% Bailes:1993:PGS,% Franco:1990:TFL% }. \NAMECITE{Factorizations}{% Wand:1978:CLU% }. \NAMECITE{Fail}{% Drew:1996:FTT,% Wetherell:1977:WAE% }. \NAMECITE{Fail-safety}{% Drew:1996:FTT% }. \NAMECITE{Fairness}{% Olsson:2002:FSI% }. \NAMECITE{Familial}{% Orman:1983:FSL% }. \NAMECITE{fast}{% Heping:1996:ESL,% Miranda:2005:PFF% }. \NAMECITE{fault}{% Coleman:1989:PIC,% Dandan:2013:TSR,% Zhu:2018:TPS% }. \NAMECITE{fault-localization}{% Dandan:2013:TSR% }. \NAMECITE{fault-tolerant}{% Coleman:1989:PIC% }. \NAMECITE{{Faust}}{% Jouvelot:2011:DVT% }. \NAMECITE{Feature}{% McDonald:1982:QLF,% Miranda:2005:PFF,% Vacchi:2015:NFF% }. \NAMECITE{feature-oriented}{% Vacchi:2015:NFF% }. \NAMECITE{feature-rich}{% Miranda:2005:PFF% }. \NAMECITE{Features}{% Hooper:1987:LFD,% Chandra:1975:PPF,% Hooper:1989:LFP,% Rodrigues:2018:HDD% }. \NAMECITE{Feedback}{% Khan:2010:FDS% }. \NAMECITE{Feedback-directed}{% Khan:2010:FDS% }. \NAMECITE{{Ferret}}{% Bloom:2009:FPL% }. \NAMECITE{fields}{% Chang:2012:CRC% }. \NAMECITE{file}{% Braz:2018:CAP% }. \NAMECITE{Financial}{% Horry:2017:FID% }. \NAMECITE{finest}{% Yang:2000:FPA% }. \NAMECITE{First}{% Johnson:1994:FSP,% Koutavas:2012:FOR,% Walker:1989:FPI% }. \NAMECITE{First-class}{% Johnson:1994:FSP,% Walker:1989:FPI% }. \NAMECITE{First-order}{% Koutavas:2012:FOR% }. \NAMECITE{fit}{% Hasan:2005:SBF% }. \NAMECITE{{FLANDM}}{% delaVega:2018:FDF% }. \NAMECITE{flavour}{% Kreutzer:1990:CSF% }. \NAMECITE{{Flavours}}{% Kreutzer:1990:CSF% }. \NAMECITE{{FLEX}}{% Lin:1991:FTF% }. \NAMECITE{Flexary}{% Kornilowicz:2015:FCM,% Kornilowicz:2016:FCM% }. \NAMECITE{Flexibility}{% Silvestre:2010:FCE,% Ururahy:2002:AFP% }. \NAMECITE{Flexible}{% DiRuscio:2017:SIF,% Lin:1991:FTF,% Bergel:2012:SFC,% Degueule:2017:SMP,% Papadimitriou:2009:JIS,% Vandercammen:2018:FFS,% Zolotas:2017:CPT% }. \NAMECITE{floating}{% Wong:1999:OFP% }. \NAMECITE{floorplanning}{% Bourbakis:2008:GFL% }. \NAMECITE{floorplanning-placement}{% Bourbakis:2008:GFL% }. \NAMECITE{Flow}{% Maurer:1983:UCT,% Patnaik:1984:DDF,% Ramanath:1982:OCF,% Sharir:1980:SAN,% Clark:2002:IFA,% Imanimehr:2018:TVS,% Khedker:2003:BDF,% Lienhard:2009:TOC,% Mosconi:2000:ICD,% Nielson:2017:AGI% }. \NAMECITE{Flowcharts}{% Choen:1978:SFM,% Peterson:1978:ESA,% Cohen:1978:SFM% }. \NAMECITE{fly}{% Reis:2015:FGM% }. \NAMECITE{{FOBS}}{% deLamadrid:2012:CFH% }. \NAMECITE{Folding}{% Tai:1979:CFW% }. \NAMECITE{fork}{% Mateos:2010:ANI,% Runger:1994:POS% }. \NAMECITE{fork/join}{% Mateos:2010:ANI% }. \NAMECITE{Formal}{% Al-Mulhem:1998:FSV,% Mejri:2017:FSI,% Pagan:1978:FSS,% Sharir:1981:FIP,% Zaki:1987:FDA,% Adesina:2018:IFA,% Bourbakis:2008:GFL,% Dabrowski:2015:FSN,% Kampen:1975:FDS,% Mens:2005:DSC,% Ozkaya:2018:SUB,% Williams:1980:FNS,% Nagata:1980:FLM% }. \NAMECITE{formalization}{% Bergel:2008:STT% }. \NAMECITE{formalizing}{% vanOmmering:2001:LFV% }. \NAMECITE{Formatter}{% Zaki:1987:FDA,% Abi-Akar:1989:ATF% }. \NAMECITE{forms}{% Flores:1975:LEF,% Sassa:2009:CEB% }. \NAMECITE{formulation}{% Przigoda:2018:FCA% }. \NAMECITE{{FORTH}}{% Ahson:1985:UFL% }. \NAMECITE{{FORTRAN}}{% Tharp:1977:CCF% }. \NAMECITE{Forward}{% Herzeel:2009:FCH,% Mansurov:2001:ASS% }. \NAMECITE{Fostering}{% Combemale:2018:COL% }. \NAMECITE{Foundations}{% Fabresse:2008:FSU% }. \NAMECITE{{FP}}{% Amarjeet:2018:FAF,% Bossi:1984:UFQ,% Fleck:1986:SFF% }. \NAMECITE{{FP-ABC}}{% Amarjeet:2018:FAF% }. \NAMECITE{{Fp-Style}}{% Fleck:1986:SFF% }. \NAMECITE{fragment}{% Wautelet:2017:USD% }. \NAMECITE{Frame}{% Przigoda:2018:FCA% }. \NAMECITE{framework}{% Amandi:2005:JFB,% Armentano:2009:FAP,% Bergel:2012:SFC,% Bryant:1995:GGF,% Capelli:2016:FED,% Chan:2002:AGF,% Chis:2015:PDS,% Haraburda:2013:BTC,% Jacquet:1996:TRH,% Karakoidas:2015:TSE,% Nielson:2009:MFC,% Rotenstreich:1992:OLF,% Shenoy:1994:APF,% Vacchi:2015:NFF,% Vandercammen:2018:FFS,% Zhou:2018:SMA,% Zouaoui:2017:CNG,% delaVega:2018:FDF% }. \NAMECITE{framework-based}{% Amandi:2005:JFB% }. \NAMECITE{Free}{% Celentano:1981:LPT,% Bailes:1993:FGT,% Barnard:1992:CPP,% Ierusalimschy:1995:SFF,% Sebesta:1989:CPG,% Sicak:2018:SSA% }. \NAMECITE{freedom}{% Campos:2003:DRC% }. \NAMECITE{Front}{% Anonymous:2002:IFC,% Anonymous:2003:IFCa,% Anonymous:2003:IFCb,% Anonymous:2003:IFCc,% Anonymous:2004:IFC,% Anonymous:2005:IFCa,% Anonymous:2005:IFCb,% Anonymous:2005:IFCc% }. \NAMECITE{Fully}{% Patrignani:2015:FAT% }. \NAMECITE{fun}{% Morazan:2016:GAR% }. \NAMECITE{Functional}{% Aldinucci:2007:SBP,% Bailes:1987:GFL,% Bolot:1990:FSP,% Fleck:1986:SFF,% Friedman:1978:FC,% Hage:2018:SIT,% Loidl:2016:ESI,% Maurer:1983:UCT,% Bailes:1990:HDG,% Faddegon:2018:TGO,% Hartel:1994:EDU,% Liao:1992:RPP,% Malkov:2010:CFP,% Malton:1993:DSF,% Thiemann:1993:OSR,% deLamadrid:2012:CFH% }. \NAMECITE{functionalities}{% Popovic:2015:DMA% }. \NAMECITE{functionality}{% Maris:2003:DRT% }. \NAMECITE{Functions}{% Michaelson:1986:IFG,% Ierusalimschy:1995:SFF,% Schaeckeler:2009:OSS,% Urban:2017:IRF,% Cortesi:2015:ADT% }. \NAMECITE{Fundamental}{% Symes:1985:POC% }. \NAMECITE{future}{% Erdweg:2015:ECL% }. \NAMECITE{Fuzzy}{% Amarjeet:2018:FAF,% Djakovic:1988:RLO% }. \NAMECITE{Fuzzy-{Pareto}}{% Amarjeet:2018:FAF% }. \NAMECITE{{G}}{% Bailes:1987:GFL,% Placer:1991:MLG% }. \NAMECITE{{Galois}}{% Nielson:2017:AGI% }. \NAMECITE{{GALS}}{% Malik:2010:SGL% }. \NAMECITE{Gap}{% Yelowitz:1978:DSP,% Fabresse:2012:LBG% }. \NAMECITE{general}{% Bryant:1995:GGF% }. \NAMECITE{Generalized}{% Carvalho:1978:PGS,% Lafora:1984:REG,% Patnaik:1985:GQH% }. \NAMECITE{Generated}{% Peterson:1978:ESA% }. \NAMECITE{Generating}{% Kessler:1995:GOC,% Barnard:1989:AGS,% Noonan:1985:AGA% }. \NAMECITE{Generation}{% Blanchard:2018:MCB,% Feeley:1987:UCC,% Wadia:1980:GNL,% Balachandran:1990:ERC,% Bryant:1995:GGF,% Canedo:2008:NCG,% Choe:2009:QGR,% Dimopoulos:2010:PAG,% Feeley:1992:CGB,% Ganapathi:1989:PBR,% Gomez-Abajo:2017:DSL,% Guo:2016:SAA,% Hatcher:1991:ESE,% Horspool:1990:IGL,% Syriani:2018:SMS% }. \NAMECITE{Generative}{% Gokhale:2017:SII,% Morazan:2016:GAR,% Seidl:2017:GSP% }. \NAMECITE{generators}{% Budd:1982:IGC,% Ganapathi:1989:SPP% }. \NAMECITE{Generic}{% Bailes:1987:GFL,% Chan:2009:GOC,% Gehani:1980:GPI,% Bailes:1990:HDG,% Bourbakis:2008:GFL,% Faddegon:2018:TGO,% Zouaoui:2017:CNG% }. \NAMECITE{generics}{% Ernst:1991:MVA,% Thirunarayan:1999:SMI% }. \NAMECITE{genetic}{% Farhad:2016:MSP% }. \NAMECITE{genuinely}{% Bailes:1993:PGS% }. \NAMECITE{genuinely-lazy}{% Bailes:1993:PGS% }. \NAMECITE{geometry}{% Radakovic:2018:TCE% }. \NAMECITE{Global}{% Bal:1986:LMG,% Zobel:1993:PSB% }. \NAMECITE{goal}{% Harland:1997:GPC,% Nilsen:1990:SDT,% OBagy:1993:OSI% }. \NAMECITE{goal-directed}{% Harland:1997:GPC,% Nilsen:1990:SDT,% OBagy:1993:OSI% }. \NAMECITE{goals}{% Lee:2005:PRG% }. \NAMECITE{GPCE}{% Gokhale:2017:SII% }. \NAMECITE{{GPGPU}}{% Kolesnichenko:2017:SCL% }. \NAMECITE{{GPU}}{% Papenhausen:2018:CAO% }. \NAMECITE{Grammar}{% Besova:2015:GBM,% Bryant:1986:TGI,% Reghizzi:1998:GPM,% Sarbo:1994:GTO,% Chan:2002:AGF,% Reis:2015:FGM,% Sicak:2018:SSA% }. \NAMECITE{Grammar-based}{% Besova:2015:GBM% }. \NAMECITE{Grammars}{% Barroso:1978:IDD,% Celentano:1981:LPT,% Chou:1979:ITN,% Michaelson:1986:IFG,% Pagan:1979:SSU,% Barnard:1989:AGS,% Demers:1975:ESP,% Haripriyan:1988:CWS,% Jayaraman:1998:PLG,% Nederhof:1993:PEG,% Sebesta:1989:CPG,% Yang:2000:FPA,% Bailes:1993:FGT% }. \NAMECITE{grammatical}{% Nymeyer:1995:GSH% }. \NAMECITE{Graph}{% Barroso:1978:IDD,% Biskup:1990:ESQ,% Brandner:2014:RWC,% Sukumaran:2010:DCG% }. \NAMECITE{graphical}{% Rieger:2018:POM% }. \NAMECITE{graphics}{% Zaki:1988:DGI% }. \NAMECITE{Graphs}{% Lepage:1981:OHD,% Maurer:1983:UCT,% Ramanath:1982:OCF,% Brandner:2013:EPC,% Venugopal:1993:HCD% }. \NAMECITE{{GRAS}}{% Bryant:1995:GGF% }. \NAMECITE{{Green}}{% Guimaraes:2006:GL,% Guimaraes:2009:GLT% }. \NAMECITE{{Gregorian}}{% Wilkinson:2006:PBM% }. \NAMECITE{Grid}{% Gehani:1979:HLD,% Li:2007:PRC,% Li:2009:UDS% }. \NAMECITE{grids}{% Gautier:2007:RSI% }. \NAMECITE{{Guarded}}{% Bailes:1986:SCV% }. \NAMECITE{{Guest}}{% Anonymous:2001:EIG,% Demeyer:2009:GEI% }. \NAMECITE{{HALO}}{% Herzeel:2009:FCH% }. \NAMECITE{handle}{% Bassiouni:1999:ETQ,% Pontelli:2002:ODS% }. \NAMECITE{Handling}{% Bailes:1986:SCV,% Gini:1982:IDO,% Berry:1980:TMV,% Cabral:2011:TMA,% Chung:1998:NMI,% Clarke:1993:EHP,% Cocco:1982:MEH,% Dain:1994:PMD,% Degano:1998:LTH,% Drew:1994:EHE,% Huang:1990:EHM,% Jacquet:1996:TRH,% Jung:2008:EEH,% Ledley:1975:PHQ,% Liu:1990:EHR,% Romanovsky:1997:PEH% }. \NAMECITE{hardware}{% Dimopoulos:2010:PAG% }. \NAMECITE{Harmony}{% Amarjeet:2017:HSB% }. \NAMECITE{Hebrew}{% Nirenburg:1984:HHU,% Nirenburg:1984:HHU% }. \NAMECITE{height}{% Polach:2016:EDV% }. \NAMECITE{height-deterministic}{% Polach:2016:EDV% }. \NAMECITE{hemodialysis}{% Buga:2018:EBB% }. \NAMECITE{Heterogeneous}{% Patnaik:1985:GQH,% Angel:2018:AMA% }. \NAMECITE{Heuristic}{% Venugopal:1993:HCD% }. \NAMECITE{heuristics}{% Milewicz:2017:RSH% }. \NAMECITE{Hierarchical}{% Lepage:1981:OHD,% Bail:1988:PCU,% Bailes:1990:HDG,% Bourbakis:2008:GFL,% Prahofer:2013:MDS% }. \NAMECITE{hierarchy}{% Ghorbal:2017:HPR% }. \NAMECITE{High}{% Cater:1984:CLE,% Earley:1975:HLI,% Gehani:1979:HLD,% McLeod:1977:HLD,% Berry:1977:PDAa,% Berry:1977:PDAb,% Ching:1993:PBS,% Loulergue:2007:ISI,% Merwin:1975:DME,% Schwartz:1975:OVHa,% Schwartz:1975:OVHb,% Tucker:1975:VHL% }. \NAMECITE{high-level}{% Loulergue:2007:ISI,% Merwin:1975:DME,% Tucker:1975:VHL% }. \NAMECITE{higher}{% Falkman:1997:PSD,% Koutavas:2012:FOR,% Resler:2009:HOS,% Smetsers:2016:DIH% }. \NAMECITE{higher-order}{% Koutavas:2012:FOR,% Resler:2009:HOS,% Smetsers:2016:DIH% }. \NAMECITE{historical}{% Bassiouni:1992:RQL,% Felleisen:1987:RLJ% }. \NAMECITE{history}{% Friedman:1992:BBB,% Herzeel:2009:FCH% }. \NAMECITE{history-based}{% Herzeel:2009:FCH% }. \NAMECITE{Hoisting}{% Crawford:1980:NAC% }. \NAMECITE{{Horn}}{% Kafle:2017:HCV% }. \NAMECITE{host}{% Nosal:2017:CHI% }. \NAMECITE{{Huhu}}{% Nirenburg:1984:HHU% }. \NAMECITE{human}{% Nymeyer:1995:GSH% }. \NAMECITE{human-computer}{% Nymeyer:1995:GSH% }. \NAMECITE{hybrid}{% Buga:2018:EBB,% deLamadrid:2012:CFH% }. \NAMECITE{hybridizations}{% Malhotra:2017:SIS% }. \NAMECITE{{IBM}}{% Flores:1975:SSL% }. \NAMECITE{{ICCL}}{% Cordy:1993:ISI% }. \NAMECITE{{Icon}}{% Griswold:1983:ISP,% OBagy:1993:OSI,% Walker:1989:FPI% }. \NAMECITE{{IDE}}{% Nosal:2017:CHI% }. \NAMECITE{identify}{% Bansal:2017:EAS% }. \NAMECITE{{IFC}}{% Anonymous:2004:IEB% }. \NAMECITE{{II}}{% Abdali:1975:LMPb,% Berry:1977:PDAb,% Schwartz:1975:OVHb% }. \NAMECITE{image}{% Wang:2008:PWI% }. \NAMECITE{imageSegment}{% Peck:2012:OSC% }. \NAMECITE{imperfect}{% Zhu:2018:TPS% }. \NAMECITE{Implementable}{% Bryant:1986:TGI% }. \NAMECITE{Implementation}{% Cocco:1985:ATS,% Gannon:1987:TIM,% Gehani:1980:GPI,% Hassan:2018:EIM,% Magnenat-Thalmann:1982:CIL,% Patnaik:1984:ICD,% Ramanathan:1983:DIA,% Tsay:1981:DIC,% Zelkowitz:1981:ILE,% Abi-Akar:1989:ATF,% Andersen:2005:DIE,% Bourbakis:1989:PIS,% Budd:1982:IGC,% Chakravarty:1997:TUI,% Costagliola:2018:ULC,% Fabresse:2012:LBG,% Feng:1996:BLD,% Fister:2011:DID,% Ford:1987:PEM,% Gybels:2006:ILR,% Herzeel:2009:FCH,% Kannimoola:2017:TCO,% Liao:1992:RPP,% McNamee:1996:ISC,% Michel:1996:DID,% OBagy:1993:OSI,% Radha:1993:PIU,% Vialle:1998:DIP,% Zhao:2018:DID% }. \NAMECITE{Implementations}{% Salter:1983:CAI,% Coon:1983:CCI% }. \NAMECITE{Implementing}{% Aljasser:2016:IDP,% Barroso:1978:IDD,% Griswold:1983:ISP,% Kwon:1994:IPT,% VanEs:2017:IPS% }. \NAMECITE{implicit}{% Inostroza:2017:MII% }. \NAMECITE{import}{% Felleisen:1986:CLE% }. \NAMECITE{imprecise}{% Bassiouni:1999:ETQ% }. \NAMECITE{Improved}{% Manacher:1978:IVC,% Cleereman:2008:MIC% }. \NAMECITE{Improving}{% Adesina:2018:IFA,% Khan:2011:IPT,% Pontelli:1996:IEN,% Tennent:1983:SPI,% Dandan:2013:TSR% }. \NAMECITE{inclusion}{% Schwartz:1975:OVHb% }. \NAMECITE{Incremental}{% Horspool:1990:IGL,% Mernik:2005:IPL,% Murching:1989:IAE,% Murching:1990:IRD,% Li:1996:BEI,% Scharli:2004:BIP,% Viswanathan:1994:PIL% }. \NAMECITE{incrementally}{% Nigam:2012:MDL% }. \NAMECITE{Independent}{% Bal:1986:LMG,% Fabry:2004:LID,% Iranmanesh:2016:SSE,% Pontelli:1996:IEN,% Virgilio:1982:BSS% }. \NAMECITE{Index}{% Anonymous:2000:IV,% Anonymous:2001:IV,% Anonymous:2005:AI,% Anonymous:2005:KI,% Anonymous:2005:VCA,% Anonymous:1999:VI,% Anonymous:2006:VCA% }. \NAMECITE{Induced}{% Tourwe:2004:IIS% }. \NAMECITE{induction}{% Pao:1978:SSI% }. \NAMECITE{induction-inference}{% Pao:1978:SSI% }. \NAMECITE{inductive}{% Adje:2017:ASI% }. \NAMECITE{Inference}{% Chou:1979:ITN,% Urban:2017:IRF,% Pao:1978:SSI,% Puntigam:2001:SID,% Smetsers:2016:DIH,% Zolotas:2017:CPT% }. \NAMECITE{inferencing}{% Khedker:2003:BDF% }. \NAMECITE{Information}{% Clark:2002:IFA,% Angel:2018:AMA,% Anonymous:2009:EBP,% Anonymous:2010:EBP,% Dimitrieski:2015:CEE,% Dimitrieski:2016:CEE,% Horry:2017:FID,% Imanimehr:2018:TVS,% Kelefouras:2015:MSL,% Lienhard:2009:TOC,% Perugini:2010:PTI,% Zhou:2013:DSD% }. \NAMECITE{infrastructure}{% Gomez:2012:RUM% }. \NAMECITE{Inheritance}{% Sheard:1992:ITA,% Bouraqadi:2004:SMC,% Mitchell:1996:SCO,% Thirunarayan:1999:SMI% }. \NAMECITE{inlining}{% Haubl:2013:CST,% Kaser:1998:EIT% }. \NAMECITE{input}{% Bossi:2000:SWM% }. \NAMECITE{input-consuming}{% Bossi:2000:SWM% }. \NAMECITE{insertions}{% Nielson:2017:AGI% }. \NAMECITE{inspired}{% Arora:2017:STS% }. \NAMECITE{instructions}{% Dhamdhere:1990:ULA% }. \NAMECITE{integrated}{% Kowalski:2017:OLI,% Lanvin:2010:EOO% }. \NAMECITE{Integrating}{% Hansen:1989:IRD,% Hayes:1990:IES,% Papadimitriou:2009:JIS,% Angel:2018:AMA% }. \NAMECITE{Integration}{% Sharir:1981:FIP,% Amandi:2005:JFB,% Lee:1997:OLI,% Mejri:2017:FSI,% Simonin:2018:AIC,% Talia:1993:SPC,% Wuyts:2004:UID% }. \NAMECITE{integrity}{% Nielson:2017:AGI% }. \NAMECITE{{Intel}}{% Hassan:2018:EIM% }. \NAMECITE{intelligence}{% Huang:1976:DIL,% Oliveira:2018:CNC% }. \NAMECITE{intelligent}{% Ulgen:2015:IMA,% Ulgen:2016:IMA% }. \NAMECITE{intensional}{% Mens:2006:CEC% }. \NAMECITE{intentional}{% Tourwe:2004:IIS% }. \NAMECITE{Inter}{% Gybels:2006:ILR,% McNamee:1996:ISC,% Olsson:1992:ISN,% Fodor:2002:SIP% }. \NAMECITE{Inter-entry}{% McNamee:1996:ISC,% Olsson:1992:ISN% }. \NAMECITE{Inter-language}{% Gybels:2006:ILR% }. \NAMECITE{inter-program}{% Fodor:2002:SIP% }. \NAMECITE{Interacting}{% Yen:1983:DSM% }. \NAMECITE{Interaction}{% Anonymous:2007:CPE% }. \NAMECITE{Interactive}{% Gini:1982:IDO,% Lee:2000:ESI% }. \NAMECITE{interdiagram}{% Kaufmann:2015:IIC% }. \NAMECITE{Interface}{% Myers:1992:ITC,% Choe:2009:QGR,% Taylor:1996:ARM,% Thimbleby:1982:TEI,% Zaki:1988:DGI% }. \NAMECITE{interfaces}{% Puntigam:2001:SID% }. \NAMECITE{Intermediate}{% Bal:1986:LMG,% McCrosky:1991:ICR,% Bryant:1984:ILD,% Faddegon:2018:TGO,% Merwin:1975:DME% }. \NAMECITE{International}{% Combemale:2015:SII,% DSouza:2017:SII,% Gokhale:2017:SII% }. \NAMECITE{interpretation}{% Cortesi:2011:WNO,% Halder:2012:AID,% Logozzo:2009:CIA,% Reddy:1993:PAI,% Urban:2017:IRF,% DSouza:2017:SII% }. \NAMECITE{Interpreter}{% Gehlot:1986:ISA,% Barrett:2015:AIC,% Barrett:2016:AIC,% Papadimitriou:2009:JIS,% VanEs:2017:IPS,% Zima:1986:CLI% }. \NAMECITE{Interpreters}{% Michaelson:1986:IFG,% Inostroza:2017:MII,% Reeves:1999:SBT% }. \NAMECITE{Interprocedural}{% Celentano:1981:ITP% }. \NAMECITE{intervals}{% Bassiouni:1999:ETQ% }. \NAMECITE{Intra}{% Kaufmann:2015:IIC% }. \NAMECITE{Intra-}{% Kaufmann:2015:IIC% }. \NAMECITE{Introduction}{% Anonymous:2001:EIG,% Bouraqadi:2005:I,% Cordy:1993:ISI,% Demeyer:2009:GEI,% Hsia:1991:IDC,% Hsia:1992:ISP,% Loulergue:2007:ISI,% Rine:1991:ICL,% Stinckwich:2006:ISS% }. \NAMECITE{intrusively}{% Mateos:2010:ANI% }. \NAMECITE{invariance}{% Ghorbal:2017:HPR% }. \NAMECITE{invariants}{% Adje:2017:ASI,% Logozzo:2009:CIA% }. \NAMECITE{inversion}{% Sarbo:1989:TI% }. \NAMECITE{investigation}{% Pontelli:2010:IPE% }. \NAMECITE{invocation}{% Chung:1998:NMI,% Olsson:2002:FSI% }. \NAMECITE{invocations}{% Gautier:2007:RSI% }. \NAMECITE{involving}{% Lam:2011:MOE,% Zhu:2018:TPS% }. \NAMECITE{ISBN}{% Ledley:1999:BMS,% Ledley:1999:BTA,% Ledley:1999:CYP,% Ledley:1999:MPD,% Ledley:1999:TCS% }. \NAMECITE{Isolating}{% Fong:2010:IUS% }. \NAMECITE{Issue}{% Combemale:2015:SII,% Gokhale:2017:SII,% Loidl:2016:ESI,% Amaral:2018:SIQ,% Bryant:2015:SIP,% Bryant:2016:SIP,% Cordy:1993:ISI,% DSouza:2017:SII,% DiRuscio:2017:SIF,% Hage:2018:SIT,% Haller:2016:SIA,% Kardas:2017:SIM,% Loulergue:2007:ISI,% Malhotra:2017:SIS,% Mernik:2013:SIP,% Mernik:2014:SIP,% Stinckwich:2006:ISS,% Zuck:2004:SIV% }. \NAMECITE{issues}{% Coleman:1989:PIC,% Crawford:1995:SID% }. \NAMECITE{Iteration}{% Mosconi:2000:ICD% }. \NAMECITE{iterators}{% Earley:1975:HLI% }. \NAMECITE{{J}}{% Felleisen:1987:RLJ,% Karakoidas:2015:TSE% }. \NAMECITE{{J}-operator}{% Felleisen:1987:RLJ% }. \NAMECITE{{JADE}}{% Bergenti:2017:AOM% }. \NAMECITE{{JADEL}}{% Bergenti:2017:AOM% }. \NAMECITE{Jager}{% Ledley:1999:CYP% }. \NAMECITE{{Java}}{% Amandi:2005:JFB,% Bergenti:2011:PPS,% Cazzola:2014:JBR,% Chan:2002:AGF,% Cordoba-Sanchez:2016:ADS,% Haubl:2013:CST,% Insa:2018:AAJ,% Iranmanesh:2016:SSE,% Jung:2008:EEH,% Karakoidas:2015:TSE,% Martinez:2017:MBA,% Papadimitriou:2009:JIS,% Reza:2012:JS,% Thirunarayan:1999:SMI,% Vidal:2016:ECJ% }. \NAMECITE{{JavaBean}}{% Mateos:2010:ANI% }. \NAMECITE{{JavaLog}}{% Amandi:2005:JFB% }. \NAMECITE{Jeri}{% Ledley:1999:TCS% }. \NAMECITE{{jLab}}{% Papadimitriou:2009:JIS% }. \NAMECITE{John}{% Ledley:1999:BMS,% Ledley:1999:BTA,% Ledley:1999:CYP,% Ledley:1999:MPD,% Ledley:1999:TCS% }. \NAMECITE{join}{% Mateos:2010:ANI% }. \NAMECITE{{JR}}{% Chan:2009:GOC% }. \NAMECITE{Jumps}{% Abdali:1975:LMPb% }. \NAMECITE{Just}{% Costa:2014:JTV,% Vandercammen:2018:FFS% }. \NAMECITE{Just-in-time}{% Costa:2014:JTV,% Vandercammen:2018:FFS% }. \NAMECITE{{Kasami}}{% Manacher:1978:IVC% }. \NAMECITE{kernels}{% Kelefouras:2015:MSL% }. \NAMECITE{Keyword}{% Anonymous:2005:KI,% Anonymous:2005:VCA,% Anonymous:2006:VCA% }. \NAMECITE{know}{% Schwartz:1976:WPS% }. \NAMECITE{knowledge}{% Chebba:2018:AAR,% Seipel:2018:DSL% }. \NAMECITE{{LAILA}}{% Ciampolini:2001:LLC% }. \NAMECITE{Lambda}{% Gehlot:1986:ISA,% Wand:1978:CLU,% Abdali:1975:LMPa,% Abdali:1975:LMPb,% Feeley:1992:CGB% }. \NAMECITE{Lambda-Calculus}{% Gehlot:1986:ISA,% Abdali:1975:LMPa,% Abdali:1975:LMPb% }. \NAMECITE{Lambda-Expressions}{% Wand:1978:CLU% }. \NAMECITE{{Landin}}{% Felleisen:1987:RLJ% }. \NAMECITE{Language}{% Anonymous:2007:CPP,% Bachmann:1978:SCL,% Bailes:1987:GFL,% Bal:1986:LMG,% Barman:1982:LLS,% Berry:1977:PDAa,% Berry:1982:LCR,% Bossi:1984:UFQ,% Cazzola:2016:LCM,% Cazzola:2018:DML,% Combemale:2015:SII,% Diaz-Gonzalez:1991:LAE,% Fabry:2004:LID,% Gehlot:1986:ISA,% Griswold:1988:SPL,% Hooper:1987:LFD,% Hooper:1989:LFP,% Hull:1987:OPL,% Johnson:1981:DRD,% Kieburtz:1985:DAL,% Konopasek:1978:QAS,% Magnenat-Thalmann:1982:CIL,% Marand:2015:DDS,% Marand:2016:DDS,% Maurer:1983:UCT,% McDonald:1982:QLF,% Nagata:1979:ELN,% Nagata:1980:FLM,% Orman:1983:FSL,% Patnaik:1984:DDF,% Patnaik:1985:GQH,% Razavi:2005:LSA,% Rine:1991:ICL,% Salter:1980:CLC,% Zelkowitz:1981:ILE,% Ahson:1985:UFL,% Al-AAli:1995:DAP,% Arusoaie:2015:SEB,% Basili:1975:SAL,% Bassiouni:1992:RQL,% Bays:1976:ADL,% Bergenti:2017:AOM,% Bloom:2009:FPL,% Bourbakis:1989:PIS,% Bourbakis:2008:GFL,% Bryant:1984:ILD,% Cadoli:2000:NSE,% Chan:2009:GOC,% Chen:1992:MMD,% Ciampolini:2001:LLC,% Ciancarini:2000:DCL,% Citrin:1995:CRL,% Coleman:1989:PIC,% Combemale:2018:COL,% Cordoba-Sanchez:2016:ADS,% Cordy:1991:TRP,% Diaz:1997:DDR,% Djakovic:1988:RLO,% Eckart:1987:OAL,% Erdweg:2015:ECL,% Fabresse:2008:FSU,% Fabresse:2012:LBG,% Fister:2011:DID,% Garg:1991:CLC,% Gomez-Abajo:2017:DSL,% Guimaraes:2006:GL,% Guimaraes:2009:GLT,% Gybels:2006:ILR,% Haldiman:2009:PPT,% Hartel:1994:EDU,% Hayes:1990:IES,% Heping:1996:ESL,% Holldobler:2018:SLE,% Horry:2017:FID,% Hughes:1985:PLE,% Johnson:1994:FSP,% Klerer:1992:LAP,% Kowalski:2017:OLI,% Kwon:1994:IPT,% Lamma:1993:PCM,% Le:2018:DDD,% Lee:1997:OLI,% Leszczylowski:1989:PLS,% Liu:1993:APL,% Liu:1994:RCD,% Luqi:1993:RTC,% Malik:2010:SGL,% Malkov:2010:CFP,% Malton:1993:DSF,% Maraninchi:2001:AAB,% Mernik:2005:IPL,% Merwin:1975:DME,% Michel:1996:DID,% Newton:1977:SLS,% Ng:1995:MLO,% OBagy:1993:OSI,% Osterbye:2000:SAB% }. \NAMECITE{language}{% Papazoglou:1984:OPL,% Placer:1991:MLG,% Pohl:1988:ZCL,% Prahofer:2013:MDS,% Renggli:2009:TMD,% Ribic:2018:RRD,% Rondogiannis:1998:BTL,% Runciman:1989:WAN,% Rus:1994:ATL,% Salzman:1992:ASM,% Scott:1991:LDP,% Sheard:1992:ITA,% Simao:2009:TLM,% Stewart:1975:SES,% Tucker:1975:VHL,% Tzevelekos:2012:PES,% Vacchi:2015:NFF,% Vialle:1998:DIP,% Walters:2008:CRP,% Wang:1992:CBL,% Wang:2008:PWI,% Zdun:2006:TLB,% Zima:1986:CLI,% deLamadrid:2012:CFH,% Bailes:1986:SCV,% Chen:1992:MMD,% Runger:1994:POS% }. \NAMECITE{Language-And}{% Bal:1986:LMG% }. \NAMECITE{language-based}{% Bourbakis:2008:GFL% }. \NAMECITE{Language-independent}{% Fabry:2004:LID% }. \NAMECITE{language-integrated}{% Kowalski:2017:OLI% }. \NAMECITE{Languages}{% Cater:1984:CLE,% Colombetti:1984:SCD,% Crowley:1979:PDP,% Hsia:1991:IDC,% Hsia:1992:ISP,% Mernik:2013:SIP,% Mernik:2014:SIP,% Wasserman:1979:TVA,% vanOmmering:2001:LFV,% Abdali:1975:LMPa,% Abdali:1975:LMPb,% Bailes:1990:HDG,% Barnard:1988:SPL,% Bassiouni:1993:TOR,% Bassiouni:1999:ETQ,% Bergel:2011:RMO,% Berry:1977:PDAa,% Berry:1977:PDAb,% Bryant:2015:SIP,% Bryant:2016:SIP,% Burns:1990:NPR,% Chakravarty:1997:TUI,% Chavarriaga:2017:ABX,% Chung:1998:NMI,% Ciancarini:1992:PPL,% Clark:2002:IFA,% Clematis:1993:SCO,% Cortesi:2002:CLS,% Costagliola:2018:ULC,% Crawford:1995:SID,% Crespi-Reghizzi:2000:ADP,% Friedman:1992:BBB,% Halder:2012:AID,% Hansen:1989:IRD,% Hendren:1993:DPL,% Holldobler:2018:SLE,% Ierusalimschy:1993:DAT,% Ierusalimschy:1995:SFF,% Kolesnichenko:2017:SCL,% Lanvin:2010:EOO,% Lee:2000:ESI,% Liao:1992:RPP,% Mosconi:2000:ICD,% Nawrocki:1990:DOA,% Oudshoorn:1991:LOM,% Pao:1978:SSI,% Pinto:2018:ACM,% Reis:2015:FGM,% Rotenstreich:1992:OLF,% Rus:1987:AMP,% Schwartz:1975:OVHa,% Schwartz:1975:OVHb,% Seipel:2018:DSL,% Sutii:2018:EMR,% Svenningsson:2016:CDS,% Yau:1993:CPS,% delaVega:2018:FDF% }. \NAMECITE{languages-value}{% Schwartz:1975:OVHa% }. \NAMECITE{{LARA}}{% Pinto:2018:ACM% }. \NAMECITE{large}{% Holldobler:2018:SLE,% Lam:2011:MOE,% Myers:1992:ITC,% Sarwar:1994:ESR% }. \NAMECITE{{Lass}}{% Barman:1982:LLS% }. \NAMECITE{layered}{% Meenakshi:2004:RAL,% Oudshoorn:1991:LOM% }. \NAMECITE{layers}{% Vainsencher:2004:MLB% }. \NAMECITE{Lazy}{% Hanus:1997:LNS,% Bailes:1993:PGS,% Faddegon:2018:TGO,% Hartel:1994:EDU,% Jayaraman:1992:SAL,% Tremblay:2000:LEN% }. \NAMECITE{learning}{% Zhao:2018:DID% }. \NAMECITE{Lenient}{% Tremblay:2000:LEN,% Tremblay:2000:LEP% }. \NAMECITE{Level}{% Bryant:1986:TGI,% Cater:1984:CLE,% Gehani:1979:HLD,% Maurer:1983:UCT,% Pagan:1979:SSU,% Berry:1977:PDAa,% Berry:1977:PDAb,% Buffenbarger:2017:ACB,% Ching:1993:PBS,% Choi:2015:LAC,% Choi:2016:LAC,% Earley:1975:HLI,% Loulergue:2007:ISI,% Malik:2010:SGL,% McLeod:1977:HLD,% Merwin:1975:DME,% Schwartz:1975:OVHa,% Schwartz:1975:OVHb,% Tucker:1975:VHL% }. \NAMECITE{Leveraging}{% Font:2017:LVM,% Mendez-Acuna:2016:LSP% }. \NAMECITE{lexical}{% Yang:1996:MMB,% Yang:2002:ALM% }. \NAMECITE{lexically}{% Franco:1990:TFL% }. \NAMECITE{libraries}{% Flores:1975:SSL% }. \NAMECITE{library}{% Cassou:2009:TWD,% Kolesnichenko:2017:SCL,% Zouaoui:2017:CNG% }. \NAMECITE{library-based}{% Kolesnichenko:2017:SCL% }. \NAMECITE{life}{% Hooper:1989:LFP% }. \NAMECITE{Lightweight}{% Milewicz:2016:LRC,% Planas:2016:LSV,% Choi:2015:LAC,% Choi:2016:LAC% }. \NAMECITE{like}{% Clark:2002:IFA,% Maris:2003:DRT,% Wasserman:1979:TVA,% Nawrocki:1990:DOA% }. \NAMECITE{{LINDA}}{% Shekhar:1993:LSS,% Roldan:2009:SCL% }. \NAMECITE{line}{% Karimpour:2017:ERO,% Pereira:2018:PRS,% Seidl:2017:GSP% }. \NAMECITE{linear}{% Dhamdhere:1990:ULA% }. \NAMECITE{linearly}{% Philippidis:2010:MRU% }. \NAMECITE{Lines}{% Mendez-Acuna:2016:LSP,% Font:2017:LVM% }. \NAMECITE{Linguistic}{% Perin:2012:LSC,% VanCutsem:2009:LSB% }. \NAMECITE{Lisp}{% Feng:1996:BLD% }. \NAMECITE{List}{% Anonymous:2009:LR,% Anonymous:2010:LR,% Anonymous:2011:LR,% Axford:1993:LPP,% Flores:1975:LEF,% Warren:1978:TSN% }. \NAMECITE{listless}{% Jayaraman:1992:SAL% }. \NAMECITE{Lists}{% Wadia:1980:GNL,% Lusth:2002:USL% }. \NAMECITE{literature}{% Mendez-Acuna:2016:LSP% }. \NAMECITE{{LL}}{% Barnard:1989:AGS,% Li:1996:BEI,% Slivnik:2017:DLL% }. \NAMECITE{{LLLR}}{% Slivnik:2017:DLL% }. \NAMECITE{load}{% Dhamdhere:1990:ULA,% Venugopal:1995:SET% }. \NAMECITE{local}{% Costagliola:2018:ULC,% Farhad:2016:MSP% }. \NAMECITE{localization}{% Dandan:2013:TSR% }. \NAMECITE{Logic}{% Ambriola:1996:PMM,% Hill:2003:LPC,% Rubenstein:1987:CEL,% Bossi:2000:SWM,% Brichau:2008:ASM,% Brogi:1999:DCP,% Ciampolini:1996:DLO,% Ciampolini:2001:LLC,% Ciancarini:1992:PPL,% Ciancarini:1996:RCL,% Diaz:1997:DDR,% Franzle:2001:VTL,% Guo:2009:DRA,% Harland:1997:GPC,% Hermenegildo:1996:RDA,% Herzeel:2009:FCH,% Huang:1976:DIL,% Jacquet:1996:TRH,% Jayaraman:1998:PLG,% Kwon:1994:IPT,% Lamma:1993:PCM,% Lee:1997:OLI,% Lee:2000:ESI,% Nigam:2012:MDL,% Rondogiannis:1998:BTL,% Talia:1993:SPC,% Kuhn:1993:CBV% }. \NAMECITE{Logical}{% Cater:1984:CLE,% Torii:1987:LPT,% Iyengar:1982:MLC,% Jenkins:1989:LBN% }. \NAMECITE{longest}{% Yang:2002:ALM% }. \NAMECITE{longest-match}{% Yang:2002:ALM% }. \NAMECITE{look}{% Felleisen:1986:CLE% }. \NAMECITE{Lookahead}{% Strothotte:1987:SPL,% Bermudez:1991:UML% }. \NAMECITE{loop}{% Kelefouras:2015:MSL,% Koster:2016:DSS,% Szabo:1989:PAL,% VanCutsem:2009:LSB% }. \NAMECITE{Loops}{% Dhamdhere:1983:CPL,% Blieberger:1994:DLW,% Ricci:2016:PEL% }. \NAMECITE{loosely}{% Silvestre:2010:FCE% }. \NAMECITE{Low}{% Maurer:1983:UCT% }. \NAMECITE{Low-Level}{% Maurer:1983:UCT% }. \NAMECITE{{LR}}{% Barnard:1988:SPL,% Bermudez:1991:UML,% Celentano:1981:LPT,% Clarke:1993:EHP,% Degano:1998:LTH,% Demers:1975:ESP,% Horspool:1990:IGL,% Slivnik:2017:DLL,% Viswanathan:1994:PIL,% Wu:2010:CBL% }. \NAMECITE{{Lynx}}{% Scott:1991:LDP% }. \NAMECITE{{LySa}}{% Bruso:2010:NRA% }. \NAMECITE{Machine}{% Bal:1986:LMG,% Peterson:1978:ESA,% Buga:2018:EBB,% Huang:1976:DIL% }. \NAMECITE{Machine-Generated}{% Peterson:1978:ESA% }. \NAMECITE{Machine-Independent}{% Bal:1986:LMG% }. \NAMECITE{machines}{% Adesina:2018:IFA,% Radha:1993:PIU,% Yang:1996:MMB% }. \NAMECITE{Macro}{% Nagata:1980:FLM% }. \NAMECITE{Macro-Oriented}{% Nagata:1980:FLM% }. \NAMECITE{macros}{% Flores:1975:LEF% }. \NAMECITE{Macrospace}{% Flores:1978:MME% }. \NAMECITE{made}{% Morazan:2016:GAR% }. \NAMECITE{Maintaining}{% Nigam:2012:MDL% }. \NAMECITE{Making}{% Flores:1978:MME% }. \NAMECITE{malleable}{% Mateos:2010:ANI% }. \NAMECITE{management}{% Demaid:2006:AEO,% Lee:2002:SDM,% Ouared:2018:QQM% }. \NAMECITE{Manipulating}{% Griswold:1988:SPL% }. \NAMECITE{manipulation}{% Malton:1993:DSF% }. \NAMECITE{many}{% Amarjeet:2018:FAF% }. \NAMECITE{many-objective}{% Amarjeet:2018:FAF% }. \NAMECITE{Mapping}{% Farhad:2016:MSP,% Syriani:2018:SMS% }. \NAMECITE{Martin}{% Ledley:1999:BTA% }. \NAMECITE{match}{% Yang:2002:ALM% }. \NAMECITE{Matching}{% Griswold:1983:ISP,% Liu:1988:SPM,% Balachandran:1990:ERC,% Casanova:1988:SPP,% Nilsen:1990:SDT% }. \NAMECITE{Mathematical}{% Konopasek:1978:QAS,% Klerer:1992:LAP% }. \NAMECITE{{MATLAB}}{% Azzini:2018:DMP% }. \NAMECITE{{MATLAB/Octave}}{% Azzini:2018:DMP% }. \NAMECITE{Matrix}{% Hassan:2018:EIM% }. \NAMECITE{maximisation}{% Fordo:2015:SCP,% Fordos:2016:SCP% }. \NAMECITE{{MDL}}{% Chen:1992:MMD% }. \NAMECITE{{ME}}{% Barisic:2018:UDD% }. \NAMECITE{{Mealy}}{% Yang:1996:MMB% }. \NAMECITE{measure}{% Gehani:1977:UMD,% Iyengar:1982:MLC,% Stetter:1984:MPC% }. \NAMECITE{measurement}{% English:2012:CSC% }. \NAMECITE{Mechanical}{% Rich:1980:MPT% }. \NAMECITE{Mechanism}{% Yen:1983:DSM,% Bailes:1990:HDG,% Choi:2015:LAC,% Choi:2016:LAC,% Cocco:1982:MEH,% Huang:1990:EHM,% Reis:2015:FGM% }. \NAMECITE{Mechanisms}{% Cleereman:2008:MIC,% Chung:1998:NMI,% McNamee:1996:ISC,% Olsson:1992:ISN% }. \NAMECITE{Mechanizing}{% McKeeman:1975:MBM% }. \NAMECITE{medium}{% Sarwar:1994:ESR% }. \NAMECITE{membership}{% Schwartz:1975:OVHb% }. \NAMECITE{Memory}{% Blanchard:2018:MCB,% Lam:2011:MOE,% Dan:2017:EAV,% Hasan:2005:SBF,% Kanovich:2014:BMP,% Kelefouras:2015:MSL,% Lee:2002:SDM,% Ozturk:2011:RMS,% Pontelli:2010:IPE,% Renggli:2009:TMD,% Ulgen:2015:IMA,% Ulgen:2016:IMA% }. \NAMECITE{Memory-optimal}{% Lam:2011:MOE% }. \NAMECITE{merge}{% Ambriola:1996:PMM% }. \NAMECITE{mergesort}{% Sarwar:1994:ESR% }. \NAMECITE{merging}{% Demers:1975:ESP% }. \NAMECITE{mesh}{% Pradeep:1994:PRP% }. \NAMECITE{meshes}{% Pradeep:1994:PAE% }. \NAMECITE{Message}{% Cunha:1983:MOP,% Meenakshi:2004:RAL% }. \NAMECITE{meta}{% Gomez:2012:RUM% }. \NAMECITE{meta-model}{% Gomez:2012:RUM% }. \NAMECITE{metaclass}{% Bouraqadi:2004:SMC,% Ducasse:2005:USM% }. \NAMECITE{metaclasses}{% Razavi:2005:LSA% }. \NAMECITE{metadata}{% Choe:2009:QGR,% Radakovic:2018:TCE% }. \NAMECITE{Metalanguage}{% Bryant:1986:TGI,% Brichau:2008:ASM% }. \NAMECITE{{MetaMod}}{% Sutii:2018:EMR% }. \NAMECITE{metamodel}{% Font:2017:LVM% }. \NAMECITE{metamodeling}{% Cadavid:2015:AMP% }. \NAMECITE{metaprogramming}{% Greiner:2009:ZBS% }. \NAMECITE{method}{% Bergel:2011:RMO,% Dain:1994:PMD,% Earley:1975:HLI% }. \NAMECITE{methodologies}{% Ford:1987:PEM% }. \NAMECITE{Methodology}{% Baldassari:1991:POO,% Cunha:1983:MOP,% Bourbakis:2008:GFL,% Cooper:1993:MPC,% Kelefouras:2015:MSL,% Lee:1997:OLI,% Chen:1992:MMD% }. \NAMECITE{Methods}{% Williams:1981:MSS,% Kislal:2018:DAS,% Wautelet:2017:USD% }. \NAMECITE{metrics}{% Ouared:2018:QQM% }. \NAMECITE{Micro}{% Cazzola:2018:DML,% Walters:2008:CRP% }. \NAMECITE{micro-architectures}{% Walters:2008:CRP% }. \NAMECITE{Micro-Language}{% Cazzola:2018:DML% }. \NAMECITE{Microcomputers}{% Zaki:1987:FDA,% Zaki:1985:PSA% }. \NAMECITE{microprogrammed}{% Merwin:1975:DME% }. \NAMECITE{Microsoft}{% Ledley:1999:BMS% }. \NAMECITE{middleweight}{% Iranmanesh:2016:SSE% }. \NAMECITE{{MIMD}}{% Vialle:1998:DIP% }. \NAMECITE{minimal}{% Kessler:1998:SED% }. \NAMECITE{minimalist}{% Lusth:2006:MAO% }. \NAMECITE{minimizing}{% Philippidis:2010:MRU% }. \NAMECITE{minimum}{% Dain:1994:PMD% }. \NAMECITE{mining}{% Milewicz:2017:RSH,% delaVega:2018:FDF% }. \NAMECITE{misconfigurations}{% Martinez:2017:MBA% }. \NAMECITE{missions}{% Oubelli:2018:SMB% }. \NAMECITE{mixed}{% Hayes:1990:IES% }. \NAMECITE{mixed-language}{% Hayes:1990:IES% }. \NAMECITE{mixin}{% Bouraqadi:2004:SMC% }. \NAMECITE{mixin-based}{% Bouraqadi:2004:SMC% }. \NAMECITE{mixins}{% Burton:2018:OMD% }. \NAMECITE{{Mizar}}{% Kornilowicz:2015:FCM,% Kornilowicz:2016:FCM% }. \NAMECITE{{MMFilter}}{% Blanchard:2018:MCB% }. \NAMECITE{Mobile}{% Ledley:1999:MPD,% Braghin:2002:SBM,% Braghin:2004:NAM,% Hsiung:2008:ASV,% Rieger:2018:POM,% VanCutsem:2014:APR% }. \NAMECITE{mobility}{% Deng:2010:CDA% }. \NAMECITE{moded}{% Bossi:2000:SWM% }. \NAMECITE{Model}{% Amaral:2018:SIQ,% Ashamalla:2017:MDA,% DSouza:2017:SII,% DiRuscio:2017:SIF,% Martinez:2017:MBA,% Penna:2014:MCX,% RodriguesdaSilva:2015:MDE,% Schiffner:1979:MVA,% Zuck:2004:MCA,% Abdali:1975:LMPa,% Abdali:1975:LMPb,% Barbosa:2012:TPM,% Bergenti:2017:AOM,% Bermudez:1991:UML,% Besova:2015:GBM,% Boudriga:1992:RMS,% Burton:2018:OMD,% Cabral:2011:TMA,% Canedo:2008:NCG,% Cazzola:2014:JBR,% Degueule:2017:SMP,% Dovier:2009:AMC,% Ergin:2016:DPO,% Gogolla:2018:AMQ,% Gomez-Abajo:2017:DSL,% Gomez:2012:RUM,% Gybels:2006:ILR,% Jafari:2016:SMC,% Kardas:2017:SIM,% Koster:2016:DSS,% Milewicz:2017:RSH,% Oubelli:2018:SMB,% Oudshoorn:1991:LOM,% Rus:1987:AMP,% Saritas:2014:MDA,% Simonin:2018:AIC,% Sistla:2004:ESR,% Struber:2017:TBV,% Wilkinson:2006:PBM,% Wuyts:2004:UID,% Yang:1996:MMB,% Zhou:2018:SMA,% Zolotas:2017:CPT,% Font:2017:LVM% }. \NAMECITE{Model-based}{% Martinez:2017:MBA,% Font:2017:LVM% }. \NAMECITE{model-checking}{% Dovier:2009:AMC% }. \NAMECITE{Model-Driven}{% Amaral:2018:SIQ,% RodriguesdaSilva:2015:MDE,% Bergenti:2017:AOM,% Kardas:2017:SIM,% Struber:2017:TBV,% Zolotas:2017:CPT% }. \NAMECITE{Modeling}{% Mandrioli:1985:MAT,% Marand:2015:DDS,% Marand:2016:DDS,% Spragins:1979:ATM,% Chebba:2018:AAR,% Degueule:2017:SMP,% Dimitrieski:2015:CEE,% Dimitrieski:2016:CEE,% Font:2017:LVM,% Popovic:2015:DMA,% Rieger:2018:POM,% Zhu:2018:TPS% }. \NAMECITE{modelling}{% Angel:2018:AMA,% Geilen:2001:OOM,% Riddle:1979:ASSb% }. \NAMECITE{Models}{% Bachmann:1978:SCL,% Blanchard:2018:MCB,% Fleck:1984:PCT,% Gannon:1987:TIM,% Konopasek:1978:QAS,% Brichau:2008:ASM,% Dan:2017:EAV,% Gedela:1999:CPN,% Jafari:2016:SMC,% Kaufmann:2015:IIC,% Loulergue:2007:ISI,% Oubelli:2018:SMB,% Planas:2016:LSV,% Przigoda:2018:FCA,% Razavi:2005:LSA% }. \NAMECITE{modern}{% Walters:2008:CRP% }. \NAMECITE{modification}{% Reis:2015:FGM% }. \NAMECITE{modifies}{% Przigoda:2018:FCA% }. \NAMECITE{{Modula}}{% DiSanto:1990:PCA,% Salzman:1992:ASM% }. \NAMECITE{{Modula-2}}{% DiSanto:1990:PCA,% Salzman:1992:ASM% }. \NAMECITE{Modular}{% Ernst:1991:MVA,% Inostroza:2017:MII,% Kieburtz:1985:DAL,% Berry:1980:TMV,% Cazzola:2016:LCM,% Reghizzi:1998:GPM% }. \NAMECITE{modularity}{% Sutii:2018:EMR% }. \NAMECITE{module}{% Amarjeet:2018:FAF,% Patrignani:2015:FAT% }. \NAMECITE{modules}{% Brogi:1999:DCP,% Lamma:1993:PCM% }. \NAMECITE{{MOF}}{% Cadavid:2015:AMP% }. \NAMECITE{{Moldable}}{% Chis:2015:PDS% }. \NAMECITE{{Monaco}}{% Prahofer:2013:MDS% }. \NAMECITE{monitoring}{% Imanimehr:2018:TVS% }. \NAMECITE{monotone}{% Nielson:2009:MFC% }. \NAMECITE{morality}{% McKeeman:1975:MBM% }. \NAMECITE{Motion}{% Crawford:1980:NAC,% Brandner:2013:EPC% }. \NAMECITE{motivation}{% Scott:1991:LDP% }. \NAMECITE{movilog}{% Mateos:2007:EMS% }. \NAMECITE{{MSC}}{% Mansurov:2001:ASS% }. \NAMECITE{mud}{% Vainsencher:2004:MLB% }. \NAMECITE{{MudPie}}{% Vainsencher:2004:MLB% }. \NAMECITE{Multi}{% Franco:1990:MSS,% Mano:1984:NPE,% Ashamalla:2017:MDA,% Azzini:2018:DMP,% Dimitrieski:2015:CEE,% Dimitrieski:2016:CEE,% Kardas:2017:SIM,% Wautelet:2017:USD% }. \NAMECITE{multi-agent}{% Ashamalla:2017:MDA,% Kardas:2017:SIM,% Wautelet:2017:USD% }. \NAMECITE{Multi-Display}{% Mano:1984:NPE% }. \NAMECITE{multi-paradigm}{% Dimitrieski:2015:CEE,% Dimitrieski:2016:CEE% }. \NAMECITE{multi-platform}{% Azzini:2018:DMP% }. \NAMECITE{Multi-way}{% Franco:1990:MSS% }. \NAMECITE{Multicomputers}{% Gehani:1982:CAM,% Shenoy:1994:APF% }. \NAMECITE{multicore}{% Farhad:2016:MSP,% Hassan:2018:EIM% }. \NAMECITE{multidimensional}{% DiCosmo:2007:CPC,% Zouaoui:2017:CNG% }. \NAMECITE{multiparadigm}{% Lee:1997:OLI,% Ng:1995:MLO,% Placer:1991:MLG% }. \NAMECITE{Multiple}{% Ambriola:1996:PMM,% Kumar:2007:MDR,% Schiffner:1979:MVA,% Bloom:2009:FPL,% Pinto:2018:ACM,% Pradeep:1994:PRP,% Thirunarayan:1999:SMI% }. \NAMECITE{Multiplication}{% Hassan:2018:EIM% }. \NAMECITE{Multiprocessing}{% Choen:1978:SFM,% Cohen:1978:SFM% }. \NAMECITE{Multiprocessor}{% Hull:1987:OPL,% Taylor:1996:ARM% }. \NAMECITE{multirate}{% Jouvelot:2011:DVT% }. \NAMECITE{multiview}{% Kaufmann:2015:IIC% }. \NAMECITE{multiway}{% Coffin:1989:SAM% }. \NAMECITE{mutant}{% Simao:2009:TLM% }. \NAMECITE{Mutation}{% Budd:1985:PTS,% Gomez-Abajo:2017:DSL% }. \NAMECITE{mutual}{% Franco:1990:TFL% }. \NAMECITE{N}{% Ledley:1999:BTA,% Chebba:2018:AAR% }. \NAMECITE{n-ary}{% Chebba:2018:AAR% }. \NAMECITE{N-Tier}{% Ledley:1999:BTA% }. \NAMECITE{narrowing}{% Cortesi:2011:WNO,% Hanus:1997:LNS% }. \NAMECITE{natural}{% Runciman:1989:WAN% }. \NAMECITE{need}{% Kessler:1998:SED% }. \NAMECITE{neither}{% Tremblay:2000:LEN% }. \NAMECITE{nested}{% Dabrowski:2015:FSN,% Jenkins:1989:LBN% }. \NAMECITE{Nesting}{% Braghin:2004:NAM% }. \NAMECITE{net}{% Gedela:1999:CPN% }. \NAMECITE{Nets}{% Mandrioli:1985:MAT,% Ghezzi:1989:SEC% }. \NAMECITE{Network}{% Chou:1979:ITN,% Maris:2003:DRT% }. \NAMECITE{{Neumann}}{% Radha:1993:PIU% }. \NAMECITE{{Neverlang}}{% Vacchi:2015:NFF% }. \NAMECITE{Node}{% Wadia:1980:GNL,% Warren:1978:TSN% }. \NAMECITE{Non}{% Bruso:2010:NRA,% Liu:2017:ACS,% Mateos:2010:ANI,% Nosal:2017:CHI,% Olsson:1992:ISN,% Pontelli:2002:ODS% }. \NAMECITE{non-contiguous}{% Liu:2017:ACS% }. \NAMECITE{non-determinism}{% Olsson:1992:ISN% }. \NAMECITE{non-deterministic}{% Pontelli:2002:ODS% }. \NAMECITE{non-intrusively}{% Mateos:2010:ANI% }. \NAMECITE{non-programming}{% Nosal:2017:CHI% }. \NAMECITE{Non-repudiation}{% Bruso:2010:NRA% }. \NAMECITE{Nondeterministic}{% Salter:1983:CAI,% Pontelli:1996:IEN% }. \NAMECITE{Noninterference}{% Amir-Mohammadian:2013:NPP,% Iranmanesh:2016:SSE% }. \NAMECITE{nonterminal}{% Demers:1975:ESP,% Soderberg:2015:DRT% }. \NAMECITE{nor}{% Tremblay:2000:LEN% }. \NAMECITE{notation}{% Struber:2017:TBV,% Williams:1980:FNS% }. \NAMECITE{note}{% Anonymous:2006:PN,% Anonymous:2011:PN,% Felleisen:1987:RLJ% }. \NAMECITE{notion}{% Burns:1990:NPR% }. \NAMECITE{{NP}}{% Cadoli:2000:NSE% }. \NAMECITE{{NP-SPEC}}{% Cadoli:2000:NSE% }. \NAMECITE{number}{% DaRosdeCarvalho:1992:OAV% }. \NAMECITE{numbers}{% Runciman:1989:WAN% }. \NAMECITE{Numerical}{% Nagata:1979:ELN% }. \NAMECITE{Object}{% Ambriola:1996:PMM,% Baldassari:1991:POO,% Geilen:2001:OOM,% Gini:1982:IDO,% Lee:1997:OLI,% Peck:2012:OSC,% Amarjeet:2017:HSB,% Burton:2018:OMD,% Diaz-Gonzalez:1991:LAE,% Fabry:2004:LID,% Ierusalimschy:1993:DAT,% Ierusalimschy:1995:SFF,% Kolesnichenko:2017:SCL,% Kreutzer:1990:CSF,% Lanvin:2010:EOO,% Lienhard:2009:TOC,% Mitchell:1996:SCO,% Ng:1995:MLO,% Razavi:2005:LSA,% Yau:1993:CPS,% deLamadrid:2012:CFH% }. \NAMECITE{object-centric}{% Lienhard:2009:TOC% }. \NAMECITE{object-models}{% Razavi:2005:LSA% }. \NAMECITE{Object-oriented}{% Geilen:2001:OOM,% Amarjeet:2017:HSB,% Diaz-Gonzalez:1991:LAE,% Fabry:2004:LID,% Ierusalimschy:1993:DAT,% Ierusalimschy:1995:SFF,% Kolesnichenko:2017:SCL,% Kreutzer:1990:CSF,% Lanvin:2010:EOO,% Mitchell:1996:SCO,% Ng:1995:MLO,% Yau:1993:CPS,% deLamadrid:2012:CFH% }. \NAMECITE{objective}{% Amarjeet:2018:FAF% }. \NAMECITE{objects}{% Ciampolini:1996:DLO,% Kannimoola:2017:TCO,% Lam:2011:MOE,% Lusth:2002:USL,% Lusth:2006:MAO,% Messerschmidt:1982:CCO,% Romanovsky:1995:CO,% Yuen:1998:AOA,% Demaid:2006:AEO% }. \NAMECITE{observation}{% Faddegon:2018:TGO% }. \NAMECITE{observer}{% Aljasser:2016:IDP% }. \NAMECITE{Obtaining}{% Haynes:1986:OCC% }. \NAMECITE{{Occam}}{% Al-Mulhem:1997:VOS,% Al-Mulhem:1998:FSV,% Fisher:1988:COC,% Hull:1987:OPL,% Talia:1993:DTC% }. \NAMECITE{{OCL}}{% Cadavid:2015:AMP,% Przigoda:2018:FCA% }. \NAMECITE{{Octave}}{% Azzini:2018:DMP% }. \NAMECITE{offset}{% Canedo:2008:NCG% }. \NAMECITE{{OmniBrowser}}{% Bergel:2008:CSD% }. \NAMECITE{on-the-fly}{% Reis:2015:FGM% }. \NAMECITE{only}{% Przigoda:2018:FCA% }. \NAMECITE{onto}{% Farhad:2016:MSP% }. \NAMECITE{Ontological}{% Pereira:2016:OAD% }. \NAMECITE{ontologies}{% Seipel:2018:DSL% }. \NAMECITE{Open}{% Hirschfeld:2006:OA,% Ledley:1999:MPD,% Bansal:2017:EAS,% DaRosdeCarvalho:1992:OAV% }. \NAMECITE{{OpenCL}}{% Zouaoui:2017:CNG% }. \NAMECITE{Operating}{% Crowley:1979:PDP% }. \NAMECITE{Operation}{% Samet:1979:DSB,% Clematis:1993:SCO% }. \NAMECITE{operation/procedure}{% Clematis:1993:SCO% }. \NAMECITE{Operational}{% Mazaher:1985:DCO,% Liu:1994:RCD,% OBagy:1993:OSI,% Oudshoorn:1991:LOM% }. \NAMECITE{operations}{% Chan:2009:GOC,% Djakovic:1988:RLO,% Wong:1999:OFP% }. \NAMECITE{operator}{% Felleisen:1987:RLJ% }. \NAMECITE{Operators}{% Georgeff:1981:EOP,% Symes:1985:POC,% Bassiouni:1993:TOR,% Cortesi:2011:WNO% }. \NAMECITE{Optimal}{% Ramanath:1982:OCF,% Kessler:1995:GOC,% Lam:2011:MOE,% Li:2009:UDS,% Pontelli:2002:ODS% }. \NAMECITE{Optimisation}{% Kowalski:2017:OLI,% Schwartz:1975:OVHb,% Sharma:1975:SOP% }. \NAMECITE{Optimization}{% Bal:1986:LMG,% Dhamdhere:1983:CPL,% Lepage:1981:OHD,% Papenhausen:2018:CAO,% Schwartz:1975:OVHa,% Karimpour:2017:ERO,% Nawrocki:1990:DOA% }. \NAMECITE{Optimizing}{% Schaeckeler:2009:OSS,% Sharir:1980:SAN,% Thiemann:1993:OSR,% Wong:1999:OFP,% Sarbo:1994:GTO% }. \NAMECITE{oracle}{% Guo:2016:SAA% }. \NAMECITE{order}{% Canedo:2008:NCG,% Falkman:1997:PSD,% Koutavas:2012:FOR,% Resler:2009:HOS,% Smetsers:2016:DIH% }. \NAMECITE{Orderly}{% Amtoft:2002:OCA% }. \NAMECITE{ordinary}{% Mateos:2010:ANI% }. \NAMECITE{Orientation}{% Ambriola:1996:PMM% }. \NAMECITE{Oriented}{% Baldassari:1991:POO,% Cunha:1983:MOP,% Nagata:1980:FLM,% Amandi:2005:JFB,% Amarjeet:2017:HSB,% Bergenti:2017:AOM,% Capelli:2016:FED,% Clematis:1993:SCO,% Combemale:2018:COL,% Diaz-Gonzalez:1991:LAE,% Ergin:2016:DPO,% Fabresse:2008:FSU,% Fabry:2004:LID,% Geilen:2001:OOM,% Gumzej:2009:SSS,% Ierusalimschy:1993:DAT,% Ierusalimschy:1995:SFF,% Kolesnichenko:2017:SCL,% Kreutzer:1990:CSF,% Lanvin:2010:EOO,% Mitchell:1996:SCO,% Ng:1995:MLO,% Rieger:2018:POM,% Runger:1994:POS,% Vacchi:2015:NFF,% Yau:1993:CPS,% deLamadrid:2012:CFH% }. \NAMECITE{Orthogonal}{% Cockshott:2006:OPP,% Rotenstreich:1992:OLF% }. \NAMECITE{other}{% Joseloff:1978:CPC% }. \NAMECITE{outline}{% Papazoglou:1984:OPL% }. \NAMECITE{Over-exposed}{% Vidal:2016:ECJ% }. \NAMECITE{Overloading}{% Eckart:1987:OAL,% Bergel:2011:RMO% }. \NAMECITE{{OWL}}{% Chebba:2018:AAR% }. \NAMECITE{Own}{% Zave:1986:CSP% }. \NAMECITE{Package}{% Reed:1984:ATA% }. \NAMECITE{packaging}{% Purtilo:1995:EPS% }. \NAMECITE{{Paisley}}{% Zave:1986:CSP% }. \NAMECITE{Papers}{% Anonymous:2007:CPE,% Anonymous:2007:CPP% }. \NAMECITE{{ParaAJ}}{% Aljasser:2016:IDP% }. \NAMECITE{paradigm}{% Dimitrieski:2015:CEE,% Dimitrieski:2016:CEE% }. \NAMECITE{Parallel}{% Ciancarini:1992:PPL,% Crowley:1979:PDP,% Hoare:1975:PPA,% Kuhn:1993:CBV,% Li:2007:PRC,% Lozinskii:1986:PP,% Pradeep:1994:PAE,% Pradeep:1994:PRP,% Schwartz:1978:PCD,% Viswanathan:1994:PIL,% Aldinucci:2007:SBP,% Axford:1993:LPP,% Azzini:2018:DMP,% Bourbakis:1989:PIS,% Brandner:2013:EPC,% Clarke:1993:EHP,% Cockshott:2006:OPP,% DiCosmo:2007:CPC,% Ellmenreich:2007:CSR,% Heping:1996:ESL,% Loulergue:2007:ISI,% Merlin:2007:BSP,% Michel:1996:DID,% Pontelli:2010:IPE,% Ururahy:2002:AFP,% Vialle:1998:DIP,% Pontelli:1996:IEN% }. \NAMECITE{parallelism}{% Hermenegildo:1996:RDA,% Mateos:2010:ANI,% Talia:1993:SPC,% Tremblay:2000:LEP% }. \NAMECITE{parallelization}{% Shenoy:1994:APF,% Zobel:1993:PSB% }. \NAMECITE{parameterised}{% Brogi:1999:DCP% }. \NAMECITE{parameterized}{% Zuck:2004:MCA% }. \NAMECITE{Parameters}{% Pagan:1979:SSU,% DaRosdeCarvalho:1992:OAV% }. \NAMECITE{Parametric}{% Lamma:1993:PCM,% Aljasser:2016:IDP% }. \NAMECITE{parametrization}{% Liao:1992:RPP% }. \NAMECITE{{Parcels}}{% Miranda:2005:PFF% }. \NAMECITE{{Pareto}}{% Amarjeet:2018:FAF% }. \NAMECITE{{PARLOG}}{% Talia:1993:SPC% }. \NAMECITE{parse}{% Li:1996:BEI% }. \NAMECITE{parser}{% Clarke:1993:EHP,% Ganapathi:1989:SPP% }. \NAMECITE{parsers}{% Barnard:1989:AGS,% Horspool:1990:IGL,% Li:1996:BEI,% Pavlatos:2009:ERE,% Sarbo:1994:GTO,% Slivnik:2017:DLL% }. \NAMECITE{parses}{% Barnard:1988:SPL% }. \NAMECITE{Parsing}{% Celentano:1981:LPT,% Georgeff:1981:EOP,% Lozinskii:1986:PP,% Bailes:1993:FGT,% Barnard:1992:CPP,% Bermudez:1991:UML,% Horspool:1993:RAP,% McCrosky:1993:STP,% Murching:1990:IRD,% Pradeep:1994:PRP,% Sailor:1994:PAT,% Sharma:1975:SOP,% Slivnik:2017:DLL,% Viswanathan:1994:PIL,% Wu:2010:CBL% }. \NAMECITE{parsing1}{% Reghizzi:1998:GPM% }. \NAMECITE{Partial}{% Nederhof:1993:PEG,% Johnson:1994:FSP,% Liao:1992:RPP,% Rothlisberger:2008:UPB% }. \NAMECITE{partially}{% Bergenti:2011:PPS% }. \NAMECITE{particular}{% Adesina:2018:IFA% }. \NAMECITE{Partitioning}{% Peterssen:1986:PDT,% Kislal:2018:DAS,% Reghizzi:1998:GPM,% Yang:2000:FPA% }. \NAMECITE{partitions}{% Liu:2017:ACS% }. \NAMECITE{partly}{% Felleisen:1987:RLJ% }. \NAMECITE{{PASCAL}}{% Knobe:1975:SST,% Cockshott:2006:OPP,% Fleck:1984:PCT,% Tennent:1983:SPI,% Wasserman:1979:TVA% }. \NAMECITE{{Pascal-Like}}{% Wasserman:1979:TVA% }. \NAMECITE{passing}{% Meenakshi:2004:RAL% }. \NAMECITE{Path}{% Celentano:1981:ITP% }. \NAMECITE{Pattern}{% Griswold:1983:ISP,% Liu:1988:SPM,% Balachandran:1990:ERC,% Casanova:1988:SPP,% Ergin:2016:DPO,% Nilsen:1990:SDT% }. \NAMECITE{pattern-matching}{% Casanova:1988:SPP% }. \NAMECITE{patterns}{% Aljasser:2016:IDP,% Capelli:2016:FED,% Fabry:2004:LID,% Seidl:2017:GSP,% Sharma:1975:SOP,% Walker:1989:FPI% }. \NAMECITE{{PC}}{% Anonymous:1988:CCP% }. \NAMECITE{{PEARL}}{% Gumzej:2009:SSS% }. \NAMECITE{peer}{% VanCutsem:2014:APR% }. \NAMECITE{peer-to-peer}{% VanCutsem:2014:APR% }. \NAMECITE{per-file}{% Braz:2018:CAP% }. \NAMECITE{Performance}{% Coleman:1989:PIC,% Ford:1987:PEM,% Spragins:1979:ATM,% Blieberger:1994:DLW,% Khan:2011:IPT,% Sarwar:1993:RBS% }. \NAMECITE{performant}{% VanEs:2017:IPS% }. \NAMECITE{persistent}{% Bossi:2004:VPS% }. \NAMECITE{personal}{% Armentano:2009:FAP% }. \NAMECITE{personalization}{% Perugini:2010:PTI% }. \NAMECITE{Personalized}{% Pereira:2018:PRS% }. \NAMECITE{Perspective}{% Rine:1991:ICL% }. \NAMECITE{Peter}{% Ledley:1999:MPD,% Ledley:1999:CYP% }. \NAMECITE{{Petri}}{% Gedela:1999:CPN,% Ghezzi:1989:SEC,% Mandrioli:1985:MAT% }. \NAMECITE{phase}{% Zhu:2018:TPS% }. \NAMECITE{piecewise}{% Adje:2017:ASI% }. \NAMECITE{{PL}}{% Sullivan:1975:EPS,% Tharp:1977:CCF% }. \NAMECITE{{PL-I}}{% Tharp:1977:CCF% }. \NAMECITE{{PL/1}}{% Sullivan:1975:EPS% }. \NAMECITE{placement}{% Bourbakis:2008:GFL,% Dhamdhere:1988:RAU,% Dhamdhere:1990:ULA% }. \NAMECITE{platform}{% Andersen:2005:DIE,% Azzini:2018:DMP,% Chadha:2017:FDC,% Dimopoulos:2010:PAG% }. \NAMECITE{platforms}{% Farhad:2016:MSP,% Pontelli:2010:IPE% }. \NAMECITE{pluggable}{% Haldiman:2009:PPT% }. \NAMECITE{plus}{% Feeley:1992:CGB% }. \NAMECITE{point}{% Wilkinson:2006:PBM,% Wong:1999:OFP% }. \NAMECITE{pointcuts}{% Brichau:2008:ASM,% Herzeel:2009:FCH% }. \NAMECITE{pointer}{% Beringer:2013:VPS,% Hendren:1993:DPL% }. \NAMECITE{Pointers}{% Berry:1977:PDAa,% Berry:1977:PDAb,% Penna:2005:TSS% }. \NAMECITE{points}{% Sukumaran:2010:DCG% }. \NAMECITE{policies}{% Imanimehr:2018:TVS,% Mejri:2017:FSI% }. \NAMECITE{polyhedral}{% Kafle:2017:HCV% }. \NAMECITE{Polymorphic}{% Jenkins:1996:PTS,% Amir-Mohammadian:2013:NPP,% Kwon:1994:IPT% }. \NAMECITE{polymorphism}{% Degueule:2017:SMP% }. \NAMECITE{portable}{% Radha:1993:PIU,% Zaki:1985:PSA% }. \NAMECITE{positive}{% Ghorbal:2017:HPR% }. \NAMECITE{{PostScript}}{% Horspool:1993:SAP% }. \NAMECITE{power}{% Chandra:1975:PPF,% Reddy:1993:PAI% }. \NAMECITE{{PPL}}{% Jacquet:1996:TRH,% Wang:2008:PWI% }. \NAMECITE{Practical}{% Chis:2015:PDS,% Haldiman:2009:PPT,% Romanovsky:1997:PEH,% Dain:1994:PMD,% Sailor:1994:PAT% }. \NAMECITE{practice}{% Kardas:2017:SIM% }. \NAMECITE{practices}{% Cadavid:2015:AMP% }. \NAMECITE{pragmatic}{% Pai:2016:DRE% }. \NAMECITE{{PRAM}}{% Runger:1994:POS% }. \NAMECITE{{PRAM-language}}{% Runger:1994:POS% }. \NAMECITE{Precise}{% Sukumaran:2010:DCG,% Ledley:1975:PHQ,% Pai:2016:DRE% }. \NAMECITE{predicates}{% Coven:1993:AAP,% Ganapathi:1989:SPP% }. \NAMECITE{predicative}{% Amir-Mohammadian:2013:NPP% }. \NAMECITE{prediction}{% Lee:2005:PRG% }. \NAMECITE{Preemption}{% Haynes:1987:ATP% }. \NAMECITE{Preface}{% Childers:2008:P,% DeMeuter:2008:P% }. \NAMECITE{Preference}{% Jayaraman:1998:PLG% }. \NAMECITE{Preliminary}{% Matwin:1985:PPR% }. \NAMECITE{presentation}{% Fordo:2015:SCP,% Fordos:2016:SCP% }. \NAMECITE{preserving}{% Barthe:2007:STP% }. \NAMECITE{primitive}{% Ching:1993:PBS% }. \NAMECITE{primitive-based}{% Ching:1993:PBS% }. \NAMECITE{primitives}{% Axford:1993:LPP% }. \NAMECITE{priority}{% Burns:1990:NPR% }. \NAMECITE{private}{% Shen:1994:ACP% }. \NAMECITE{probabilistic}{% Szabo:1989:PAL% }. \NAMECITE{Problem}{% Peterssen:1986:PDT,% Torii:1987:LPT,% Lee:2000:ESI,% Pao:1978:SSI% }. \NAMECITE{problem-solving}{% Lee:2000:ESI% }. \NAMECITE{problems}{% Cadoli:2000:NSE% }. \NAMECITE{Procedural}{% Symes:1985:POC,% OBagy:1993:OSI% }. \NAMECITE{procedure}{% Clematis:1993:SCO,% Cooper:1993:MPC% }. \NAMECITE{Procedures}{% Gehani:1980:GPI,% Pagan:1979:SSU,% Abdali:1975:LMPb,% Franco:1989:CEP,% Murching:1989:IAE% }. \NAMECITE{process}{% Ahson:1985:UFL,% Merlin:2007:BSP,% Prahofer:2013:MDS,% Rieger:2018:POM,% Runger:1994:POS,% Simonin:2018:AIC,% Wautelet:2017:USD% }. \NAMECITE{process-oriented}{% Rieger:2018:POM% }. \NAMECITE{Processes}{% Donnan:1986:PSR,% Salter:1980:CLC,% Yen:1983:DSM,% Chen:1992:MMD,% Krizevnik:2012:DBV,% Luttighuis:2001:VBP,% Pereira:2018:PRS,% Talia:1993:DTC% }. \NAMECITE{Processing}{% Ledley:1999:MPD,% Axford:1993:LPP,% Cockshott:2006:OPP,% Rus:1994:ATL,% Taylor:1996:ARM,% Wang:2008:PWI,% Zhou:2018:SMA% }. \NAMECITE{Processor}{% Hassan:2018:EIM% }. \NAMECITE{processors}{% Barnard:1992:CPP% }. \NAMECITE{producer}{% Canedo:2008:NCG% }. \NAMECITE{producing}{% Ching:1993:PBS% }. \NAMECITE{Product}{% Font:2017:LVM,% Mendez-Acuna:2016:LSP,% Karimpour:2017:ERO,% Pereira:2018:PRS,% Seidl:2017:GSP% }. \NAMECITE{product-line}{% Pereira:2018:PRS% }. \NAMECITE{production}{% LeMoulec:2018:APE% }. \NAMECITE{Productions}{% Fischer:1980:REP,% Demers:1975:ESP% }. \NAMECITE{profiling}{% Bergel:2012:SFC,% Khan:2011:IPT% }. \NAMECITE{Program}{% Bail:1988:PCU,% Budd:1985:PTS,% Celentano:1980:SPD,% Dhamdhere:1983:CPL,% Falkman:1997:PSD,% Perugini:2010:PTI,% Peterssen:1986:PDT,% Sharir:1981:FIP,% Strothotte:1987:SPL,% Tzevelekos:2012:PES,% Yelowitz:1978:DSP,% Zobel:1993:PSB,% Fodor:2002:SIP,% Perin:2012:LSC,% Purtilo:1995:EPS,% Rotenstreich:1992:OLF,% Stetter:1984:MPC,% Sukumaran:2010:DCG% }. \NAMECITE{programmed}{% Sebesta:1989:CPG% }. \NAMECITE{Programmer}{% DiSanto:1990:PCA% }. \NAMECITE{Programmer-defined}{% DiSanto:1990:PCA% }. \NAMECITE{programmers}{% Schwartz:1976:WPS% }. \NAMECITE{Programming}{% Ambriola:1996:PMM,% Anonymous:2007:CPP,% Bergenti:2011:PPS,% Bloom:2009:FPL,% Colombetti:1984:SCD,% Cook:1981:ADP,% Crowley:1979:PDP,% Cunha:1983:MOP,% Gokhale:2017:SII,% Griswold:1988:SPL,% Hage:2018:SIT,% Hull:1987:OPL,% Loidl:2016:ESI,% Mano:1984:NPE,% Marand:2016:DDS,% Mernik:2014:SIP,% Ricci:2016:PEL,% Rubenstein:1987:CEL,% Symes:1985:POC,% Torii:1987:LPT,% Abdali:1975:LMPa,% Abdali:1975:LMPb,% Al-AAli:1995:DAP,% Aldinucci:2007:SBP,% Amandi:2005:JFB,% Bal:1991:DPS,% Barbosa:2012:TPM,% Bergenti:2017:AOM,% Bryant:2015:SIP,% Bryant:2016:SIP,% Burns:1990:NPR,% Chadha:2017:FDC,% Chan:2009:GOC,% Chandra:1975:PPF,% Charousset:2016:RAP,% Chung:1998:NMI,% Ciancarini:1992:PPL,% Clematis:1993:SCO,% Cooke:1998:SPD,% Cordy:1991:TRP,% Crespi-Reghizzi:2000:ADP,% Falkman:1997:PSD,% Friedman:1992:BBB,% Garg:1991:CLC,% Haller:2016:SIA,% Hayes:1990:IES,% Hendren:1993:DPL,% Hoare:1975:PPA,% Hughes:1985:PLE,% Ierusalimschy:1993:DAT,% Jacquet:1996:TRH,% Johnson:1994:FSP,% Klerer:1992:LAP,% Kwon:1994:IPT,% Lamma:1993:PCM,% Lee:1997:OLI,% Lee:2000:ESI,% Liu:1993:APL,% Loulergue:2007:ISI,% Malkov:2010:CFP,% Maris:2003:DRT,% Mernik:2005:IPL,% Mitchell:1996:SCO,% Mosconi:2000:ICD,% Newton:1977:SLS,% Ng:1995:MLO,% Nosal:2017:CHI,% Osterbye:2000:SAB,% Oudshoorn:1991:LOM,% Papazoglou:1984:OPL,% Prahofer:2013:MDS,% Rondogiannis:1998:BTL,% Rus:1987:AMP,% Scharli:2004:BIP,% Scott:1991:LDP,% Stewart:1975:SES,% Sullivan:1975:EPS,% Taylor:1996:ARM,% Ururahy:2002:AFP,% VanCutsem:2014:APR,% White:1977:EDP,% Yau:1993:CPS,% Zolotas:2017:CPT,% Marand:2015:DDS,% Mernik:2013:SIP% }. \NAMECITE{Programs}{% Fleck:1986:SFF,% Gini:1982:IDO,% Kieburtz:1985:DAL,% Lin:1991:FTF,% Adje:2017:ASI,% Bolot:1990:FSP,% Bossi:2000:SWM,% Chan:2002:AGF,% Ching:1993:PBS,% Ciancarini:1996:RCL,% Ellmenreich:2007:CSR,% Faddegon:2018:TGO,% Farhad:2016:MSP,% Fodor:2002:SIP,% Franco:1989:CEP,% Guo:2009:DRA,% Hermenegildo:1996:RDA,% Hill:2003:LPC,% Iyengar:1982:MLC,% Joseloff:1978:CPC,% Lee:2002:SDM,% Milewicz:2016:LRC,% Milewicz:2017:RSH,% Nigam:2012:MDL,% Park:2015:CVS,% Park:2016:CVS,% Pontelli:2010:IPE,% Romanovsky:1997:PEH,% Saal:1977:ESA,% Sarwar:1993:RBS,% Szabo:1989:PAL,% Thiemann:1993:OSR% }. \NAMECITE{{Prograph}}{% Matwin:1985:PPR% }. \NAMECITE{projects}{% Gumzej:2009:SSS% }. \NAMECITE{{Prolog}}{% Amandi:2005:JFB,% Ancona:2013:RCP,% Casanova:1988:SPP,% Ganapathi:1989:PBR,% Nam:1993:CSP,% Seipel:2018:DSL,% Talia:1993:SPC% }. \NAMECITE{prone}{% Bansal:2017:EAS% }. \NAMECITE{Proof}{% Rich:1980:MPT,% Ghorbal:2017:HPR% }. \NAMECITE{proofs}{% Berry:1977:PDAb,% Liu:1993:APL% }. \NAMECITE{propagation}{% Inostroza:2017:MII% }. \NAMECITE{properties}{% Besova:2015:GBM,% Bossi:2004:VPS,% Urban:2017:IRF% }. \NAMECITE{Proposal}{% Carvalho:1978:PGS,% Fleck:1984:PCT,% Liu:1988:SPM,% Ambriola:1996:PMM,% Bailes:1993:PGS% }. \NAMECITE{Proposals}{% Tennent:1983:SPI,% Berry:1977:PDAa% }. \NAMECITE{Prosper}{% Leszczylowski:1989:PLS% }. \NAMECITE{protected}{% Patrignani:2015:FAT% }. \NAMECITE{protection}{% Joseloff:1978:CPC% }. \NAMECITE{{PROTOB}}{% Baldassari:1991:POO% }. \NAMECITE{protocols}{% Kanovich:2014:BMP% }. \NAMECITE{prototyping}{% Capelli:2016:FED,% Cordy:1991:TRP,% Doh:1993:ASD,% Franzle:2001:VTL,% Heping:1996:ESL,% Hooper:1989:LFP,% Leszczylowski:1989:PLS,% Luqi:1993:RTC,% Purtilo:1991:EPD,% Walters:2008:CRP% }. \NAMECITE{provability}{% Harland:1997:GPC% }. \NAMECITE{provides}{% Cooke:1998:SPD% }. \NAMECITE{Providing}{% Mondejar:2012:TPT% }. \NAMECITE{proving}{% Fruja:2010:TPT,% Urban:2017:IRF% }. \NAMECITE{pruning}{% Brandner:2014:RWC% }. \NAMECITE{Publication}{% Anonymous:2009:EBP,% Anonymous:2010:EBP% }. \NAMECITE{Publisher}{% Anonymous:2006:PN,% Anonymous:2011:PN% }. \NAMECITE{Purba}{% Ledley:1999:BMS% }. \NAMECITE{pure}{% Nosal:2017:CHI% }. \NAMECITE{Purely}{% Maurer:1983:UCT% }. \NAMECITE{Purpose}{% Hsia:1992:ISP% }. \NAMECITE{pushdown}{% Polach:2016:EDV% }. \NAMECITE{{QAS}}{% Konopasek:1978:QAS% }. \NAMECITE{{QoS}}{% Ouared:2018:QQM,% Pastrana:2011:QES% }. \NAMECITE{{QoS}-enabled}{% Pastrana:2011:QES% }. \NAMECITE{{QoSMOS}}{% Ouared:2018:QQM% }. \NAMECITE{quadratic}{% Adje:2017:ASI% }. \NAMECITE{qualitative}{% Ledley:1975:PHQ% }. \NAMECITE{quality}{% Amaral:2018:SIQ,% Besova:2015:GBM,% Gogolla:2018:AMQ% }. \NAMECITE{Quantitative}{% Liu:1988:SPM% }. \NAMECITE{queries}{% Dovier:2009:AMC,% Kowalski:2017:OLI% }. \NAMECITE{Query}{% Bossi:1984:UFQ,% Choe:2009:QGR,% McDonald:1982:QLF,% Patnaik:1985:GQH,% Bassiouni:1992:RQL,% Bassiouni:1993:TOR,% Bassiouni:1999:ETQ,% Halder:2012:AID,% Kowalski:2017:OLI% }. \NAMECITE{Query-By-Rule}{% Patnaik:1985:GQH% }. \NAMECITE{querying}{% Biskup:1990:ESQ% }. \NAMECITE{Question}{% Konopasek:1978:QAS% }. \NAMECITE{queue}{% Canedo:2008:NCG% }. \NAMECITE{quicksort}{% Sarwar:1994:ESR,% Sarwar:1996:EQ% }. \NAMECITE{race}{% Campos:2003:DRC% }. \NAMECITE{ranking}{% Urban:2017:IRF% }. \NAMECITE{rapid}{% Cordy:1991:TRP,% Franzle:2001:VTL,% Luqi:1993:RTC,% Walters:2008:CRP% }. \NAMECITE{rapid-prototyping}{% Walters:2008:CRP% }. \NAMECITE{{RASP}}{% Djakovic:1988:RLO% }. \NAMECITE{Re}{% Gautier:2007:RSI% }. \NAMECITE{Re-scheduling}{% Gautier:2007:RSI% }. \NAMECITE{reactive}{% Park:2015:CVS,% Park:2016:CVS,% Prahofer:2013:MDS% }. \NAMECITE{readable}{% Joseloff:1978:CPC,% Ribic:2018:RRD% }. \NAMECITE{Real}{% Berry:1982:LCR,% Cocco:1985:ATS,% Lin:1991:FTF,% Luqi:1993:RTC,% Ashamalla:2017:MDA,% Burns:1990:NPR,% Diaz-Gonzalez:1991:LAE,% Diaz:1997:DDR,% Gumzej:2009:SSS,% Hsiung:2008:ASV,% Liu:1994:RCD% }. \NAMECITE{Real-Time}{% Berry:1982:LCR,% Cocco:1985:ATS,% Lin:1991:FTF,% Luqi:1993:RTC,% Ashamalla:2017:MDA,% Burns:1990:NPR,% Diaz-Gonzalez:1991:LAE,% Diaz:1997:DDR,% Gumzej:2009:SSS,% Hsiung:2008:ASV,% Liu:1994:RCD% }. \NAMECITE{Reasoning}{% Meenakshi:2004:RAL,% Ciampolini:2001:LLC,% Koutavas:2012:FOR% }. \NAMECITE{{Rebeca}}{% Jafari:2016:SMC% }. \NAMECITE{recognition}{% Pradeep:1994:PRP% }. \NAMECITE{recommender}{% Pereira:2018:PRS% }. \NAMECITE{Reconciling}{% Bergel:2011:RMO% }. \NAMECITE{reconfigurable}{% Pavlatos:2009:ERE,% Pradeep:1994:PAE% }. \NAMECITE{reconfigurations}{% Sanchez:2015:VAR,% Sanchez:2016:VAR% }. \NAMECITE{Recording}{% Sulir:2016:RCS% }. \NAMECITE{recovery}{% Hammond:1984:SSE,% Lanvin:2010:EOO% }. \NAMECITE{recursion}{% Franco:1990:TFL,% Morazan:2016:GAR,% Thiemann:1993:OSR% }. \NAMECITE{Recursive}{% Horspool:1993:RAP,% Kislal:2018:DAS,% Murching:1989:IAE,% Murching:1990:IRD,% Schaeckeler:2009:OSS% }. \NAMECITE{{REDOSPLAT}}{% Ribic:2018:RRD% }. \NAMECITE{Reducing}{% Ozturk:2011:RMS% }. \NAMECITE{reduction}{% Dandan:2013:TSR,% Lee:2005:PRG% }. \NAMECITE{reductions}{% Sistla:2004:ESR% }. \NAMECITE{Redundant}{% Donnan:1986:PSR,% Pai:2016:DRE% }. \NAMECITE{reference}{% Chang:2012:CRC% }. \NAMECITE{Refinement}{% Brandner:2014:RWC,% Milewicz:2017:RSH,% Kafle:2017:HCV% }. \NAMECITE{refinements}{% Ellmenreich:2007:CSR% }. \NAMECITE{reflection}{% Gybels:2006:ILR,% Rothlisberger:2008:UPB% }. \NAMECITE{Reflections}{% Felleisen:1987:RLJ% }. \NAMECITE{reflective}{% Kumar:2007:MDR% }. \NAMECITE{Regime}{% Lafora:1984:REG% }. \NAMECITE{region}{% Beringer:2013:VPS% }. \NAMECITE{Register}{% Chaitin:1981:RAC,% Dhamdhere:1988:RAU,% Bryant:1995:GGF,% Dhamdhere:1990:ULA,% Kessler:1998:SED,% Philippidis:2010:MRU,% Zobel:1993:PSB% }. \NAMECITE{registers}{% Venugopal:1995:SET% }. \NAMECITE{Regular}{% Ancona:2013:RCP,% Pao:1978:SSI% }. \NAMECITE{Relating}{% Hermenegildo:1996:RDA% }. \NAMECITE{Relational}{% Bossi:1984:UFQ,% Bassiouni:1992:RQL,% Bassiouni:1993:TOR,% Boudriga:1992:RMS,% Hansen:1989:IRD,% McLeod:1977:HLD% }. \NAMECITE{relational-calculus}{% Bassiouni:1992:RQL% }. \NAMECITE{relations}{% Biskup:1990:ESQ,% Chebba:2018:AAR% }. \NAMECITE{Relationship}{% Schiffner:1979:MVA,% Dimitrieski:2015:CEE,% Dimitrieski:2016:CEE% }. \NAMECITE{relationships}{% Ledley:1975:PHQ,% Schwartz:1975:OVHb% }. \NAMECITE{relaxed}{% Dan:2017:EAV% }. \NAMECITE{reliability}{% Zhu:2018:TPS% }. \NAMECITE{Reliable}{% Anonymous:2007:CPP,% Maier:2014:RSS% }. \NAMECITE{remodularization}{% Amarjeet:2017:HSB% }. \NAMECITE{removal}{% McCrosky:1991:ICR,% Zhu:2018:TPS% }. \NAMECITE{Removing}{% Liao:1992:RPP% }. \NAMECITE{rendezvous}{% Coffin:1989:SAM% }. \NAMECITE{reordering}{% Guo:2009:DRA% }. \NAMECITE{repair}{% Hammond:1984:SSE% }. \NAMECITE{Report}{% Matwin:1985:PPR% }. \NAMECITE{representation}{% Coen-Porisini:1993:ARS,% Earley:1975:HLI% }. \NAMECITE{repudiation}{% Bruso:2010:NRA% }. \NAMECITE{requirement}{% Ashamalla:2017:MDA% }. \NAMECITE{requirements}{% Naumchev:2017:SR,% Ribic:2018:RRD% }. \NAMECITE{{Resilient}}{% Andersen:2005:DIE% }. \NAMECITE{resolution}{% Romanovsky:1997:PEH,% Taylor:1996:ARM% }. \NAMECITE{Resource}{% Cunha:1983:MOP,% Jacquet:1996:TRH,% Li:2007:PRC,% Li:2009:UDS% }. \NAMECITE{resources}{% Chadha:2017:FDC% }. \NAMECITE{responsive}{% Heping:1996:ESL,% VanCutsem:2014:APR% }. \NAMECITE{restrictive}{% Eckart:1987:OAL% }. \NAMECITE{Result}{% Gehani:1980:GPI,% Wampler:1983:RS% }. \NAMECITE{results}{% Erdweg:2015:ECL% }. \NAMECITE{retargetable}{% Balachandran:1990:ERC,% Ganapathi:1989:PBR% }. \NAMECITE{retrieving}{% Choe:2009:QGR% }. \NAMECITE{reusability}{% Sutii:2018:EMR% }. \NAMECITE{reusable}{% Venugopal:1995:SET% }. \NAMECITE{reuse}{% Combemale:2018:COL% }. \NAMECITE{Reverse}{% Lafora:1984:REG,% Mansurov:2001:ASS% }. \NAMECITE{review}{% Mendez-Acuna:2016:LSP% }. \NAMECITE{Reviewers}{% Anonymous:2008:R,% Anonymous:2012:R,% Anonymous:2013:R,% Anonymous:2015:R,% Anonymous:2017:TYR,% Anonymous:2009:LR,% Anonymous:2010:LR,% Anonymous:2011:LR% }. \NAMECITE{Revised}{% Ledley:1999:TCS% }. \NAMECITE{revisions}{% Font:2017:LVM% }. \NAMECITE{Revisiting}{% Charousset:2016:RAP% }. \NAMECITE{rewriting}{% Soderberg:2015:DRT% }. \NAMECITE{rich}{% Miranda:2005:PFF% }. \NAMECITE{Richard}{% Ledley:1999:CYP% }. \NAMECITE{richer}{% Cazzola:2014:JBR% }. \NAMECITE{{Ring}}{% Gomez:2012:RUM% }. \NAMECITE{robust}{% Choi:2015:LAC,% Choi:2016:LAC,% Karimpour:2017:ERO% }. \NAMECITE{Rofail}{% Ledley:1999:BTA% }. \NAMECITE{Role}{% Fischer:1980:REP% }. \NAMECITE{{RPC}}{% Gautier:2007:RSI% }. \NAMECITE{{RT}}{% Liu:1990:EHR,% Liu:1994:RCD% }. \NAMECITE{{RT-CDL}}{% Liu:1994:RCD,% Liu:1990:EHR% }. \NAMECITE{{RTC}}{% Milewicz:2016:LRC% }. \NAMECITE{{Ruby}}{% Rodrigues:2018:HDD% }. \NAMECITE{Rule}{% Ciancarini:1996:RCL,% Patnaik:1985:GQH,% Citrin:1995:CRL,% Yang:2002:ALM% }. \NAMECITE{Rule-based}{% Ciancarini:1996:RCL% }. \NAMECITE{rules}{% Cocco:1982:MEH,% Fong:2010:IUS,% Ghorbal:2017:HPR,% Seipel:2018:DSL,% Virgilio:1982:BSS,% Williams:1980:FNS% }. \NAMECITE{Run}{% Johnson:1981:DRD,% Sarwar:1993:RBS,% Imanimehr:2018:TVS,% Maris:2003:DRT,% Sarwar:1994:ESR% }. \NAMECITE{Run-Time}{% Johnson:1981:DRD,% Sarwar:1993:RBS,% Imanimehr:2018:TVS,% Maris:2003:DRT,% Sarwar:1994:ESR% }. \NAMECITE{Runtime}{% Denker:2006:RBT,% Kumar:2007:MDR,% Milewicz:2016:LRC,% Rothlisberger:2008:UPB% }. \NAMECITE{{S}}{% Patnaik:1984:ICD% }. \NAMECITE{Safe}{% Bouraqadi:2004:SMC,% Degueule:2017:SMP,% Bugliesi:2002:BTS,% Ducasse:2005:USM,% Karakoidas:2015:TSE% }. \NAMECITE{{SafeGPU}}{% Kolesnichenko:2017:SCL% }. \NAMECITE{Safety}{% Gumzej:2009:SSS,% Drew:1996:FTT,% Fruja:2010:TPT,% Park:2015:CVS,% Park:2016:CVS% }. \NAMECITE{safety-critical}{% Park:2015:CVS,% Park:2016:CVS% }. \NAMECITE{samples}{% Sicak:2018:SSA% }. \NAMECITE{Sanjiv}{% Ledley:1999:BMS% }. \NAMECITE{Sapaty}{% Ledley:1999:MPD% }. \NAMECITE{{SASL}}{% Sarwar:1993:RBS% }. \NAMECITE{{SAwUML}}{% Ozkaya:2018:SUB% }. \NAMECITE{{SC-SystemJ}}{% Park:2015:CVS,% Park:2016:CVS% }. \NAMECITE{scalable}{% Maier:2014:RSS,% Oubelli:2018:SMB% }. \NAMECITE{{SCAN}}{% Bourbakis:1989:PIS% }. \NAMECITE{scenarios}{% Arora:2017:STS% }. \NAMECITE{scheduled}{% Philippidis:2010:MRU% }. \NAMECITE{scheduler}{% Iranmanesh:2016:SSE% }. \NAMECITE{scheduler-independent}{% Iranmanesh:2016:SSE% }. \NAMECITE{Scheduling}{% Kessler:1998:SED,% Venugopal:1995:SET,% Gautier:2007:RSI,% Pontelli:2010:IPE% }. \NAMECITE{Schema}{% Cocco:1985:ATS% }. \NAMECITE{scheme}{% Lee:2000:ESI,% Nam:1993:CSP,% Franco:1990:MSS,% Franco:1990:TFL,% Jenkins:1996:PTS,% Kreutzer:1990:CSF,% VanEs:2017:IPS,% Wang:1992:CBL,% Wong:1999:OFP% }. \NAMECITE{{Scheme-based}}{% Kreutzer:1990:CSF% }. \NAMECITE{scientific}{% Papadimitriou:2009:JIS% }. \NAMECITE{scope}{% Virgilio:1982:BSS% }. \NAMECITE{scoped}{% Franco:1990:TFL% }. \NAMECITE{scoping}{% Fong:2010:IUS,% Karimpour:2017:ERO% }. \NAMECITE{scripting}{% Bergel:2011:RMO,% Papadimitriou:2009:JIS% }. \NAMECITE{{SDAC}}{% Zhou:2018:SMA% }. \NAMECITE{{SDL}}{% Mansurov:2001:ASS% }. \NAMECITE{Seamless}{% Naumchev:2017:SR% }. \NAMECITE{search}{% Amarjeet:2017:HSB,% Bansal:2017:EAS,% Farhad:2016:MSP,% Malhotra:2017:SIS% }. \NAMECITE{search-based}{% Malhotra:2017:SIS% }. \NAMECITE{seas}{% Kurs:2015:BS% }. \NAMECITE{sections}{% Dabrowski:2015:FSN% }. \NAMECITE{Secure}{% Anonymous:2007:CPP,% Zhou:2013:DSD% }. \NAMECITE{Security}{% Barthe:2007:STP,% Braghin:2002:SBM,% Bossi:2004:VPS,% Cortesi:2002:CLS,% Kirli:2002:DCT,% Martinez:2017:MBA,% Mejri:2017:FSI% }. \NAMECITE{Segment}{% Wadia:1980:GNL% }. \NAMECITE{selection}{% Lusth:2002:USL,% McNamee:1996:ISC,% Olsson:1992:ISN% }. \NAMECITE{selector}{% Ulgen:2015:IMA,% Ulgen:2016:IMA% }. \NAMECITE{self}{% Pastrana:2011:QES,% Reeves:1999:SBT% }. \NAMECITE{self-adaptive}{% Pastrana:2011:QES% }. \NAMECITE{self-interpreters}{% Reeves:1999:SBT% }. \NAMECITE{Semantic}{% Crawford:1995:SID,% Fleck:1984:PCT,% Ganapathi:1989:SPP,% Pagan:1979:SSU,% Tai:1979:CFW,% Bailes:1993:FGT,% Guo:2016:SAA,% Ko:2014:SET,% Schwartz:1979:SVA,% Williams:1980:FNS% }. \NAMECITE{Semantics}{% Bossi:2000:SWM,% Bryant:1986:TGI,% Mazaher:1985:DCO,% Pagan:1978:FSS,% Williams:1981:MSS,% Al-Mulhem:1997:VOS,% Al-Mulhem:1998:FSV,% Aldinucci:2007:SBP,% Bolot:1990:FSP,% Bryant:1984:ILD,% Dabrowski:2015:FSN,% Doh:1993:ASD,% Golubski:1995:CSS,% Jacquet:1996:TRH,% Kampen:1975:FDS,% Liu:1994:RCD,% Logozzo:2009:CIA,% Loulergue:2007:ISI,% Malton:1993:DSF,% OBagy:1993:OSI,% Patrignani:2015:FAT,% Runger:1994:POS,% Zhou:2018:SMA% }. \NAMECITE{semantics-directed}{% Doh:1993:ASD% }. \NAMECITE{semi}{% Ghorbal:2017:HPR% }. \NAMECITE{semi-algebraic}{% Ghorbal:2017:HPR% }. \NAMECITE{semistructured}{% Choe:2009:QGR,% Dovier:2009:AMC% }. \NAMECITE{sensitive}{% Haubl:2013:CST,% Imanimehr:2018:TVS,% Nielson:2017:AGI,% Sailor:1994:PAT% }. \NAMECITE{separation}{% Falkman:1997:PSD% }. \NAMECITE{{Seque}}{% Griswold:1988:SPL% }. \NAMECITE{{SequenceL\}}}{% Cooke:1998:SPD% }. \NAMECITE{Sequences}{% Griswold:1988:SPL,% Wampler:1983:RS,% Nilsen:1990:SDT% }. \NAMECITE{Sequential}{% Donnan:1986:PSR% }. \NAMECITE{Server}{% Ledley:1999:BMS,% Ledley:1999:TCS% }. \NAMECITE{service}{% Capelli:2016:FED,% Oliveira:2018:CNC% }. \NAMECITE{service-oriented}{% Capelli:2016:FED% }. \NAMECITE{Services}{% Pastrana:2011:QES,% Gautier:2007:RSI,% Mateos:2007:EMS% }. \NAMECITE{servicing}{% Olsson:2002:FSI% }. \NAMECITE{{SESPOOL}}{% Newton:1977:SLS% }. \NAMECITE{set}{% Djakovic:1988:RLO,% Pontelli:2010:IPE,% Sicak:2018:SSA% }. \NAMECITE{sets}{% Ghorbal:2017:HPR% }. \NAMECITE{Shallow}{% Samet:1979:DSB,% Svenningsson:2016:CDS% }. \NAMECITE{shared}{% Bal:1991:DPS,% Olsson:2002:FSI% }. \NAMECITE{Sharing}{% Koster:2016:DSS,% Pontelli:2010:IPE% }. \NAMECITE{shell}{% Gumzej:2009:SSS% }. \NAMECITE{{Shellsort}}{% Sarwar:1994:ESR% }. \NAMECITE{shortcomings}{% Edelson:1989:CSC,% Pohl:1988:ZCL% }. \NAMECITE{shot}{% Aldinucci:2007:SBP% }. \NAMECITE{should}{% Schwartz:1976:WPS% }. \NAMECITE{Side}{% Ierusalimschy:1995:SFF,% Chavarriaga:2017:ABX% }. \NAMECITE{Side-effect}{% Ierusalimschy:1995:SFF% }. \NAMECITE{SIGPLAN}{% Haller:2016:SIA% }. \NAMECITE{Simple}{% Abdali:1975:LMPa,% Warren:1978:TSN,% Fabresse:2008:FSU,% Tzevelekos:2012:PES,% Celentano:1980:SPD% }. \NAMECITE{simplification}{% Hanus:1997:LNS% }. \NAMECITE{{SIMULA}}{% Papazoglou:1984:OPL,% Schwartz:1978:PCD% }. \NAMECITE{Simulating}{% Thirunarayan:1999:SMI% }. \NAMECITE{Simulation}{% Hooper:1987:LFD,% Hooper:1989:LFP,% Kreutzer:1990:CSF,% Salzman:1992:ASM% }. \NAMECITE{single}{% Aldinucci:2007:SBP,% Demers:1975:ESP,% Mondejar:2012:TPT,% Sassa:2009:CEB% }. \NAMECITE{single-user}{% Mondejar:2012:TPT% }. \NAMECITE{singleton}{% Aljasser:2016:IDP% }. \NAMECITE{{SIR}}{% Fodor:2002:SIP% }. \NAMECITE{size}{% Sarwar:1994:ESR,% Schaeckeler:2009:OSS% }. \NAMECITE{Skeleton}{% Aldinucci:2007:SBP% }. \NAMECITE{Skeleton-based}{% Aldinucci:2007:SBP% }. \NAMECITE{sketch}{% Reeves:1999:SBT% }. \NAMECITE{sketch-based}{% Reeves:1999:SBT% }. \NAMECITE{skipping}{% Kislal:2018:DAS% }. \NAMECITE{{SL5}}{% Hanson:1978:DSS% }. \NAMECITE{SLE}{% Combemale:2015:SII% }. \NAMECITE{{SLIPS}}{% Gehlot:1986:ISA% }. \NAMECITE{slope}{% Dernehl:2018:CSA% }. \NAMECITE{{SMALLTALK}}{% Golubski:1995:CSS,% Andersen:2005:DIE,% Demaid:2006:AEO,% Denker:2006:RBT,% Gomez:2012:RUM,% Stinckwich:2006:ISS% }. \NAMECITE{{SMALLTALK-80}}{% Golubski:1995:CSS% }. \NAMECITE{smart}{% Saritas:2014:MDA% }. \NAMECITE{{Snobol4}}{% Griswold:1983:ISP,% Pagan:1978:FSS% }. \NAMECITE{Software}{% Cazzola:2018:DML,% Combemale:2015:SII,% Font:2017:LVM,% Holldobler:2018:SLE,% Hsia:1991:IDC,% Mendez-Acuna:2016:LSP,% Ramanathan:1983:DIA,% Riddle:1979:ASSa,% Roldan:2009:SCL,% Zave:1986:CSP,% Amarjeet:2017:HSB,% Amarjeet:2018:FAF,% Bansal:2017:EAS,% Chadha:2017:FDC,% Chen:1992:MMD,% Coleman:1989:PIC,% English:2012:CSC,% Fong:2010:IUS,% Hooper:1989:LFP,% Hsiung:2008:ASV,% Karimpour:2017:ERO,% Kelefouras:2015:MSL,% Kreutzer:1990:CSF,% Malhotra:2017:SIS,% Ozkaya:2018:SUB,% Radakovic:2018:TCE,% Riddle:1979:ASSb,% Saritas:2014:MDA,% Seidl:2017:GSP,% Tourwe:2004:IIS,% Zdun:2006:TLB,% Zhu:2018:TPS,% vanOmmering:2001:LFV% }. \NAMECITE{{Solmar}}{% Bachmann:1978:SCL% }. \NAMECITE{solution}{% Li:2009:UDS,% Pao:1978:SSI,% Prahofer:2013:MDS% }. \NAMECITE{solutions}{% Chavarriaga:2017:ABX% }. \NAMECITE{solve}{% Dovier:2009:AMC% }. \NAMECITE{Solver}{% Blanchard:2018:MCB% }. \NAMECITE{solving}{% Cadoli:2000:NSE,% Edelson:1989:CSC,% Lee:2000:ESI% }. \NAMECITE{Some}{% Knobe:1975:SST,% Tennent:1983:SPI% }. \NAMECITE{Sonar}{% Bachmann:1978:SCL% }. \NAMECITE{Sons}{% Ledley:1999:BMS,% Ledley:1999:BTA,% Ledley:1999:CYP,% Ledley:1999:MPD,% Ledley:1999:TCS% }. \NAMECITE{sophisticated}{% Bergel:2008:CSD% }. \NAMECITE{Source}{% Flores:1975:SSL,% Bansal:2017:EAS,% Gomez:2012:RUM,% Mens:2005:DSC,% Sulir:2016:RCS% }. \NAMECITE{sources}{% Angel:2018:AMA% }. \NAMECITE{space}{% Oubelli:2018:SMB,% Ozturk:2011:RMS% }. \NAMECITE{Spaces}{% Ambriola:1996:PMM% }. \NAMECITE{sparse}{% Ko:2014:SET% }. \NAMECITE{{SPEC}}{% Cadoli:2000:NSE,% Berzins:1991:BSS% }. \NAMECITE{Special}{% Amaral:2018:SIQ,% Bryant:2015:SIP,% Bryant:2016:SIP,% Combemale:2015:SII,% DSouza:2017:SII,% DiRuscio:2017:SIF,% Gokhale:2017:SII,% Hage:2018:SIT,% Haller:2016:SIA,% Hsia:1992:ISP,% Kardas:2017:SIM,% Loidl:2016:ESI,% Malhotra:2017:SIS,% Mernik:2013:SIP,% Mernik:2014:SIP,% Zuck:2004:SIV,% Cordy:1993:ISI,% Loulergue:2007:ISI,% Stinckwich:2006:ISS% }. \NAMECITE{Special-Purpose}{% Hsia:1992:ISP% }. \NAMECITE{specialization}{% Costa:2014:JTV,% Khan:2010:FDS,% Khan:2011:IPT% }. \NAMECITE{specific}{% Brichau:2008:ASM,% Chavarriaga:2017:ABX,% Chis:2015:PDS,% Cordoba-Sanchez:2016:ADS,% English:2012:CSC,% Fister:2011:DID,% Gomez-Abajo:2017:DSL,% Le:2018:DDD,% Marand:2016:DDS,% Popovic:2015:DMA,% Prahofer:2013:MDS,% Ribic:2018:RRD,% Seipel:2018:DSL,% Sutii:2018:EMR,% Svenningsson:2016:CDS,% delaVega:2018:FDF,% Marand:2015:DDS% }. \NAMECITE{Specification}{% Budd:1985:PTS,% Iranmanesh:2016:SSE,% Jalote:1992:STA,% Orman:1983:FSL,% Pagan:1979:SSU,% Berzins:1991:BSS,% Boudriga:1992:RMS,% Cadoli:2000:NSE,% Diaz-Gonzalez:1991:LAE,% Geilen:2001:OOM,% Gumzej:2009:SSS,% Hatcher:1991:ESE,% Heping:1996:ESL,% Leszczylowski:1989:PLS,% Mejri:2017:FSI,% Nymeyer:1995:GSH% }. \NAMECITE{specification-{PEARL}}{% Gumzej:2009:SSS% }. \NAMECITE{specified}{% Bergenti:2011:PPS% }. \NAMECITE{Specifying}{% Williams:1981:MSS,% Chan:2002:AGF,% Citrin:1995:CRL,% Williams:1980:FNS% }. \NAMECITE{speeding}{% Kelefouras:2015:MSL% }. \NAMECITE{{SPIN}}{% Ozkaya:2018:SUB% }. \NAMECITE{{SPITBOL}}{% Tharp:1977:CCF% }. \NAMECITE{{Spy}}{% Bergel:2012:SFC% }. \NAMECITE{SQL}{% Ledley:1999:BMS,% Biskup:1990:ESQ,% Karakoidas:2015:TSE% }. \NAMECITE{{SR}}{% Coffin:1989:SAM,% Fodor:2002:SIP,% Huang:1990:EHM,% Maris:2003:DRT% }. \NAMECITE{{SR}-like}{% Maris:2003:DRT% }. \NAMECITE{{SSA}}{% Pai:2016:DRE% }. \NAMECITE{stack}{% Schaeckeler:2009:OSS% }. \NAMECITE{{STAPLE}}{% Stewart:1975:SES% }. \NAMECITE{State}{% Puntigam:2001:SID,% Adesina:2018:IFA,% Koster:2016:DSS,% Tzevelekos:2012:PES% }. \NAMECITE{Stateful}{% Bergel:2008:STT% }. \NAMECITE{Statement}{% Carvalho:1978:PGS,% Flores:1975:SSL% }. \NAMECITE{statements}{% Felleisen:1986:CLE,% Przigoda:2018:FCA% }. \NAMECITE{Static}{% Bailes:1986:SCV,% Horspool:1993:SAP,% Williams:1981:MSS,% Bailes:1993:FGT,% Greiner:2009:ZBS,% Iranmanesh:2016:SSE,% Liu:2017:ACS,% Penna:2005:TSS,% Planas:2016:LSV,% Sassa:2009:CEB,% Williams:1980:FNS% }. \NAMECITE{Statistical}{% Jafari:2016:SMC,% Ripley:1978:SAS% }. \NAMECITE{Step}{% Cortesi:2015:ADT% }. \NAMECITE{steps}{% Knobe:1975:SST% }. \NAMECITE{stepwise}{% Ellmenreich:2007:CSR% }. \NAMECITE{Stochastic}{% Barman:1982:LLS% }. \NAMECITE{store}{% Dhamdhere:1990:ULA% }. \NAMECITE{stores}{% Johnson:1994:FSP% }. \NAMECITE{story}{% Wautelet:2017:USD% }. \NAMECITE{strategies}{% Virgilio:1982:BSS% }. \NAMECITE{strategy}{% Ching:1993:PBS,% Herzeel:2009:FCH,% Resler:2009:HOS% }. \NAMECITE{stream}{% Cassou:2009:TWD,% Farhad:2016:MSP,% Nilsen:1990:SDT% }. \NAMECITE{streams}{% Bailes:1993:PGS,% Franco:1990:MSS% }. \NAMECITE{strict}{% Tremblay:2000:LEN% }. \NAMECITE{strictness}{% Smetsers:2016:DIH% }. \NAMECITE{String}{% Casanova:1988:SPP,% Liu:1988:SPM,% Beringer:2013:VPS,% Kampen:1975:FDS% }. \NAMECITE{strongly}{% Yau:1993:CPS% }. \NAMECITE{strongly-typed}{% Yau:1993:CPS% }. \NAMECITE{Structural}{% Sharir:1980:SAN,% Milewicz:2017:RSH,% Thiemann:1993:OSR% }. \NAMECITE{Structure}{% Gehani:1979:HLD,% Earley:1975:HLI,% Pontelli:2002:ODS,% Purtilo:1995:EPS,% Zobel:1993:PSB% }. \NAMECITE{Structured}{% Choen:1978:SFM,% Cohen:1978:SFM,% Herriot:1976:SSD,% Strothotte:1987:SPL,% Basili:1975:SAL,% Stewart:1975:SES,% Sullivan:1975:EPS% }. \NAMECITE{Structures}{% Fleck:1978:RDT,% Hanson:1978:DSS,% Yelowitz:1978:DSP,% Faddegon:2018:TGO,% Hendren:1993:DPL,% Jenkins:1989:LBN,% Yuen:1998:AOA% }. \NAMECITE{Structuring}{% Clematis:1993:SCO,% Fleck:1986:SFF,% Jouvelot:2011:DVT% }. \NAMECITE{studies}{% Dernehl:2018:CSA% }. \NAMECITE{Study}{% Zave:1986:CSP,% Buga:2018:EBB,% Hasan:2005:SBF,% Karimpour:2017:ERO,% Lee:2002:SDM,% Mens:2006:CEC,% Nosal:2017:CHI,% Saal:1977:ESA,% Sarwar:1993:RBS,% Sarwar:1994:ESR,% Syriani:2018:SMS,% Vidal:2016:ECJ% }. \NAMECITE{studying}{% Vandercammen:2018:FFS% }. \NAMECITE{Style}{% Peterson:1978:ESA,% Perin:2012:LSC,% Fleck:1986:SFF% }. \NAMECITE{stylesheets}{% Groppe:2011:TXS% }. \NAMECITE{sub}{% Shekhar:1993:LSS% }. \NAMECITE{subexpressions}{% Resler:2009:HOS% }. \NAMECITE{Sublist}{% Jayaraman:1992:SAL% }. \NAMECITE{Subset}{% Pagan:1978:FSS% }. \NAMECITE{substring}{% Clarke:1993:EHP% }. \NAMECITE{suite}{% Dandan:2013:TSR,% Ouared:2018:QQM% }. \NAMECITE{Supercombinator}{% Sicak:2018:SSA% }. \NAMECITE{supervenience}{% Reza:2012:JS% }. \NAMECITE{Support}{% Anonymous:2007:CPP,% Bloom:2009:FPL,% Fodor:2002:SIP,% Hooper:1989:LFP,% Lanvin:2010:EOO,% Razavi:2005:LSA% }. \NAMECITE{supported}{% RodriguesdaSilva:2015:MDE% }. \NAMECITE{Supporting}{% Colombetti:1984:SCD,% Fordo:2015:SCP,% Fordos:2016:SCP,% Mateos:2007:EMS% }. \NAMECITE{supports}{% Nilsen:1990:SDT% }. \NAMECITE{survey}{% Ciancarini:1992:PPL,% Hammond:1984:SSE,% RodriguesdaSilva:2015:MDE,% Talia:1993:SPC,% Zuck:2004:MCA% }. \NAMECITE{swapping}{% Peck:2012:OSC% }. \NAMECITE{switched}{% Adje:2017:ASI% }. \NAMECITE{symbiosis}{% VanCutsem:2009:LSB% }. \NAMECITE{Symbolic}{% Arusoaie:2015:SEB,% Ghezzi:1989:SEC,% Coen-Porisini:1993:ARS,% Maier:2014:RSS,% Przigoda:2018:FCA% }. \NAMECITE{symbols}{% Demers:1975:ESP% }. \NAMECITE{{SymGridPar2}}{% Maier:2014:RSS% }. \NAMECITE{symmetry}{% Sistla:2004:ESR% }. \NAMECITE{Symposium}{% Bryant:2015:SIP,% Bryant:2016:SIP,% Mernik:2013:SIP,% Mernik:2014:SIP% }. \NAMECITE{Synchronisation}{% Mitchell:1996:SCO% }. \NAMECITE{Synchronization}{% Donnan:1986:PSR,% Osterbye:2000:SAB,% Yen:1983:DSM% }. \NAMECITE{synchronous}{% Maraninchi:2001:AAB,% Merlin:2007:BSP% }. \NAMECITE{Syntactic}{% Fischer:1980:REP,% Hammond:1984:SSE% }. \NAMECITE{syntactical}{% Pao:1978:SSI% }. \NAMECITE{Syntax}{% Sharma:1975:SOP,% Al-Mulhem:1997:VOS,% Dain:1994:PMD,% Degano:1998:LTH,% Herriot:1976:SSD,% Noonan:1985:AGA,% Ripley:1978:SAS,% Zaki:1985:PSA% }. \NAMECITE{synthesis}{% Adje:2017:ASI,% Chadha:2017:FDC,% Hsiung:2008:ASV,% Mansurov:2001:ASS,% McCrosky:1993:STP% }. \NAMECITE{Synthesizing}{% Arora:2017:STS% }. \NAMECITE{System}{% Celentano:1980:SPD,% Cocco:1985:ATS,% Konopasek:1978:QAS,% Mandrioli:1985:MAT,% Riddle:1979:ASSa,% Cordy:1991:TRP,% Dimitrieski:2015:CEE,% Dimitrieski:2016:CEE,% Guimaraes:2009:GLT,% Haripriyan:1988:CWS,% Hayes:1990:IES,% Kreutzer:1990:CSF,% Malik:2010:SGL,% Maris:2003:DRT,% McLeod:1977:HLD,% Penna:2005:TSS,% Riddle:1979:ASSb,% Shekhar:1993:LSS,% White:1977:EDP,% Flores:1975:SSL% }. \NAMECITE{{System/370}}{% Flores:1975:SSL% }. \NAMECITE{Systematic}{% Syriani:2018:SMS,% Mendez-Acuna:2016:LSP% }. \NAMECITE{{SystemJ}}{% Malik:2010:SGL,% Park:2015:CVS,% Park:2016:CVS% }. \NAMECITE{Systems}{% Anonymous:2007:CPE,% Baldassari:1991:POO,% Barman:1982:LLS,% Berry:1982:LCR,% Crowley:1979:PDP,% Hull:1987:OPL,% Orman:1983:FSL,% Spragins:1979:ATM,% Amarjeet:2017:HSB,% Ashamalla:2017:MDA,% Beringer:2013:VPS,% Braz:2018:CAP,% Buga:2018:EBB,% Diaz-Gonzalez:1991:LAE,% Dimopoulos:2010:PAG,% Drew:1996:FTT,% Ghezzi:1989:SEC,% Heping:1996:ESL,% Hsiung:2008:ASV,% Jung:2008:EEH,% Kardas:2017:SIM,% Maris:2003:DRT,% Meenakshi:2004:RAL,% Newton:1977:SLS,% Park:2015:CVS,% Park:2016:CVS,% Pereira:2018:PRS,% Pontelli:1996:IEN,% Silvestre:2010:FCE,% Wautelet:2017:USD,% Zhou:2013:DSD,% Zuck:2004:MCA% }. \NAMECITE{tables}{% Li:1996:BEI% }. \NAMECITE{Tailorable}{% Zdun:2006:TLB% }. \NAMECITE{Taking}{% Lienhard:2009:TOC% }. \NAMECITE{{TaKo}}{% Mondejar:2012:TPT% }. \NAMECITE{target}{% Pinto:2018:ACM% }. \NAMECITE{targets}{% Buffenbarger:2017:ACB% }. \NAMECITE{Task}{% Cocco:1985:ATS,% Mandrioli:1985:MAT,% Pontelli:2010:IPE% }. \NAMECITE{tasking}{% Gedela:1999:CPN% }. \NAMECITE{Technique}{% Celentano:1981:LPT,% Sharir:1981:FIP,% Ko:2014:SET,% Reeves:1999:SBT% }. \NAMECITE{Techniques}{% Spragins:1979:ATM,% Degano:1998:LTH,% Dhamdhere:1988:RAU,% Drew:1996:FTT,% Ford:1987:PEM,% Kaser:1998:EIT,% Malhotra:2017:SIS% }. \NAMECITE{technology}{% Miranda:2005:PFF,% Papadimitriou:2009:JIS% }. \NAMECITE{Telegram}{% Torii:1987:LPT% }. \NAMECITE{template}{% Syriani:2018:SMS% }. \NAMECITE{template-based}{% Syriani:2018:SMS% }. \NAMECITE{Temporal}{% Kannimoola:2017:TCO,% Bassiouni:1999:ETQ,% Franzle:2001:VTL,% Urban:2017:IRF% }. \NAMECITE{Terminal}{% Mano:1984:NPE,% Tsay:1981:DIC% }. \NAMECITE{termination}{% Talia:1993:DTC% }. \NAMECITE{terms}{% Nam:1993:CSP% }. \NAMECITE{Test}{% Celentano:1981:ITP,% Arora:2017:STS,% Dandan:2013:TSR,% Guo:2016:SAA% }. \NAMECITE{test-suite}{% Dandan:2013:TSR% }. \NAMECITE{Testing}{% Budd:1985:PTS,% Rich:1980:MPT,% Wasserman:1979:TVA,% Jalote:1992:STA,% Struber:2017:TBV% }. \NAMECITE{Text}{% Reed:1984:ATA,% Zaki:1987:FDA,% Abi-Akar:1989:ATF,% Merwin:1975:DME,% Struber:2017:TBV,% Thimbleby:1982:TEI% }. \NAMECITE{text-based}{% Struber:2017:TBV% }. \NAMECITE{Thank}{% Anonymous:2017:TYR% }. \NAMECITE{their}{% Bergel:2008:STT,% Drew:1996:FTT,% Malhotra:2017:SIS,% Ozkaya:2018:SUB% }. \NAMECITE{Theory}{% Fleck:1978:RDT,% Peterssen:1986:PDT,% Kardas:2017:SIM,% Sheard:1992:ITA% }. \NAMECITE{thread}{% Dabrowski:2015:FSN% }. \NAMECITE{threading}{% Li:1996:BEI% }. \NAMECITE{threads}{% VanCutsem:2009:LSB% }. \NAMECITE{Three}{% Warren:1978:TSN% }. \NAMECITE{Tier}{% Ledley:1999:BTA,% Ledley:1999:TCS% }. \NAMECITE{Time}{% Bassiouni:1993:TOR,% Berry:1982:LCR,% Cocco:1985:ATS,% Johnson:1981:DRD,% Lin:1991:FTF,% Ashamalla:2017:MDA,% Bassiouni:1999:ETQ,% Brandner:2014:RWC,% Burns:1990:NPR,% Costa:2014:JTV,% Diaz-Gonzalez:1991:LAE,% Diaz:1997:DDR,% Gumzej:2009:SSS,% Hsiung:2008:ASV,% Imanimehr:2018:TVS,% Jung:2008:EEH,% Liu:1994:RCD,% Luqi:1993:RTC,% Maris:2003:DRT,% Rondogiannis:1998:BTL,% Sarwar:1993:RBS,% Sarwar:1994:ESR,% Vandercammen:2018:FFS% }. \NAMECITE{Time-based}{% Bassiouni:1993:TOR% }. \NAMECITE{Timed}{% Haynes:1987:ATP,% Jafari:2016:SMC% }. \NAMECITE{timetabling}{% Ribic:2018:RRD% }. \NAMECITE{tolerant}{% Coleman:1989:PIC% }. \NAMECITE{Tony}{% Ledley:1999:BTA% }. \NAMECITE{too}{% Eckart:1987:OAL% }. \NAMECITE{tool}{% Dimitrieski:2015:CEE,% Dimitrieski:2016:CEE,% Franzle:2001:VTL,% Ouared:2018:QQM% }. \NAMECITE{toolbox}{% Azzini:2018:DMP% }. \NAMECITE{Tools}{% Zave:1986:CSP,% Bergel:2008:CSD,% Gomez:2012:RUM,% Horry:2017:FID,% Perin:2012:LSC,% Rus:1994:ATL,% Struber:2017:TBV,% Wuyts:2004:UID% }. \NAMECITE{top}{% Buffenbarger:2017:ACB% }. \NAMECITE{top-level}{% Buffenbarger:2017:ACB% }. \NAMECITE{trace}{% Haubl:2013:CST,% Logozzo:2009:CIA,% Patrignani:2015:FAT,% Vandercammen:2018:FFS% }. \NAMECITE{trace-based}{% Vandercammen:2018:FFS% }. \NAMECITE{track}{% Bryant:2015:SIP,% Bryant:2016:SIP,% Mernik:2013:SIP,% Mernik:2014:SIP% }. \NAMECITE{tracking}{% Kirli:2002:DCT% }. \NAMECITE{trait}{% Cassou:2009:TWD% }. \NAMECITE{trait-based}{% Cassou:2009:TWD% }. \NAMECITE{Traits}{% Cassou:2009:TWD,% Bergel:2008:STT,% Cazzola:2016:LCM% }. \NAMECITE{Transactional}{% Renggli:2009:TMD,% Cabral:2011:TMA% }. \NAMECITE{Transformation}{% Sharir:1981:FIP,% Arusoaie:2015:SEB,% Denker:2006:RBT,% Khan:2011:IPT% }. \NAMECITE{transformational}{% Simao:2009:TLM% }. \NAMECITE{transformations}{% Besova:2015:GBM,% Ergin:2016:DPO,% Penna:2014:MCX,% Perugini:2010:PTI,% Sarbo:1994:GTO% }. \NAMECITE{Transforming}{% Groppe:2011:TXS% }. \NAMECITE{Transition}{% Chou:1979:ITN% }. \NAMECITE{transitions}{% Adesina:2018:IFA% }. \NAMECITE{Translating}{% Maurer:1983:UCT% }. \NAMECITE{Translation}{% Magnenat-Thalmann:1982:CIL,% Chen:2015:AVB,% Sassa:2009:CEB% }. \NAMECITE{Translator}{% Sarbo:1989:TI% }. \NAMECITE{transmission}{% Schwartz:1975:OVHa% }. \NAMECITE{transparent}{% Imanimehr:2018:TVS,% Mondejar:2012:TPT% }. \NAMECITE{{Transputers}}{% Shekhar:1993:LSS% }. \NAMECITE{{Trapezoid}}{% Cortesi:2015:ADT% }. \NAMECITE{tree}{% Balachandran:1990:ERC,% Kafle:2017:HCV,% Malton:1993:DSF% }. \NAMECITE{tree-manipulation}{% Malton:1993:DSF% }. \NAMECITE{trees}{% Haraburda:2013:BTC,% Lam:2011:MOE,% Li:1996:BEI,% Noonan:1985:AGA,% Venugopal:1995:SET% }. \NAMECITE{Trends}{% Loidl:2016:ESI,% Hage:2018:SIT% }. \NAMECITE{Tuple}{% Ambriola:1996:PMM% }. \NAMECITE{Two}{% Bryant:1986:TGI,% Gannon:1987:TIM,% Pagan:1979:SSU,% Fordo:2015:SCP,% Fordos:2016:SCP,% Zhu:2018:TPS% }. \NAMECITE{two-dimensional}{% Fordo:2015:SCP,% Fordos:2016:SCP% }. \NAMECITE{Two-Level}{% Bryant:1986:TGI,% Pagan:1979:SSU% }. \NAMECITE{two-phase}{% Zhu:2018:TPS% }. \NAMECITE{{TXL}}{% Cordy:1991:TRP% }. \NAMECITE{Type}{% Faddegon:2018:TGO,% Peterssen:1986:PDT,% Bailes:1990:HDG,% Beringer:2013:VPS,% Cleereman:2008:MIC,% Ford:1987:PEM,% Fruja:2010:TPT,% Guimaraes:2009:GLT,% Ierusalimschy:1993:DAT,% Jenkins:1996:PTS,% Karakoidas:2015:TSE,% Khedker:2003:BDF,% McCrosky:1993:STP,% Myers:1992:ITC,% Nilsen:1990:SDT,% Penna:2005:TSS,% Sailor:1994:PAT,% Zolotas:2017:CPT% }. \NAMECITE{type-checking}{% Cleereman:2008:MIC,% Ierusalimschy:1993:DAT,% Jenkins:1996:PTS,% McCrosky:1993:STP% }. \NAMECITE{type-safe}{% Karakoidas:2015:TSE% }. \NAMECITE{type-sensitive}{% Sailor:1994:PAT% }. \NAMECITE{typed}{% Bergel:2011:RMO,% Chang:2012:CRC,% Yau:1993:CPS% }. \NAMECITE{Types}{% Bailes:1987:GFL,% Fleck:1984:PCT,% Gannon:1987:TIM,% Barthe:2007:STP,% Boudriga:1992:RMS,% Fisher:1988:COC,% Haldiman:2009:PPT,% Jalote:1992:STA,% Jouvelot:2011:DVT,% Smetsers:2016:DIH% }. \NAMECITE{typing}{% Bugliesi:2002:BTS,% Greiner:2009:ZBS,% Kwon:1994:IPT% }. \NAMECITE{ubiquitous}{% Hsiung:2008:ASV% }. \NAMECITE{{UML}}{% Arora:2017:STS,% Gumzej:2009:SSS,% Ozkaya:2018:SUB,% Planas:2016:LSV,% Przigoda:2018:FCA% }. \NAMECITE{{UML}-based}{% Ozkaya:2018:SUB% }. \NAMECITE{{UML/OCL}}{% Przigoda:2018:FCA% }. \NAMECITE{Unanticipated}{% Rothlisberger:2008:UPB,% Wuyts:2004:UID% }. \NAMECITE{unbounded}{% Nilsen:1990:SDT% }. \NAMECITE{Undecidability}{% Gehani:1980:GPI% }. \NAMECITE{undecidable}{% Campos:2003:DRC% }. \NAMECITE{{Understander}}{% Nirenburg:1984:HHU% }. \NAMECITE{unexpected}{% Drew:1994:EHE% }. \NAMECITE{Unified}{% Lusth:2002:USL,% Fabresse:2008:FSU,% RodriguesdaSilva:2015:MDE% }. \NAMECITE{Uniform}{% Ducasse:2005:USM,% Chakravarty:1997:TUI,% Philippidis:2010:MRU% }. \NAMECITE{unifying}{% Bermudez:1991:UML,% Gomez:2012:RUM% }. \NAMECITE{unit}{% Struber:2017:TBV% }. \NAMECITE{Units}{% Gehani:1977:UMD% }. \NAMECITE{{UNITY}}{% Radha:1993:PIU% }. \NAMECITE{University}{% Nirenburg:1984:HHU% }. \NAMECITE{unnesting}{% Kowalski:2017:OLI% }. \NAMECITE{untrusted}{% Fong:2010:IUS% }. \NAMECITE{updates}{% Hartel:1994:EDU% }. \NAMECITE{Updating}{% Cazzola:2018:DML% }. \NAMECITE{Usability}{% Barisic:2018:UDD,% McDonald:1982:QLF% }. \NAMECITE{usage}{% Philippidis:2010:MRU% }. \NAMECITE{Use}{% Kennedy:1978:UCA,% Maurer:1983:UCT,% Ahson:1985:UFL,% Rodrigues:2018:HDD,% Thimbleby:1982:TEI,% Barisic:2018:UDD% }. \NAMECITE{Use-Definition}{% Kennedy:1978:UCA% }. \NAMECITE{{USE-ME}}{% Barisic:2018:UDD% }. \NAMECITE{used}{% Slivnik:2017:DLL% }. \NAMECITE{User}{% Wautelet:2017:USD,% LeMoulec:2018:APE,% Mondejar:2012:TPT% }. \NAMECITE{User-story}{% Wautelet:2017:USD% }. \NAMECITE{users}{% Nosal:2017:CHI% }. \NAMECITE{Using}{% Bossi:1984:UFQ,% Costagliola:2018:ULC,% Feeley:1987:UCC,% Pagan:1979:SSU,% Wadia:1980:GNL,% Wand:1978:CLU,% Aljasser:2016:IDP,% Arora:2017:STS,% Bail:1988:PCU,% Balachandran:1990:ERC,% Bouraqadi:2004:SMC,% Brandner:2013:EPC,% Brichau:2008:ASM,% Bruso:2010:NRA,% Cazzola:2016:LCM,% Chis:2015:PDS,% Choe:2009:QGR,% Dhamdhere:1988:RAU,% Dhamdhere:1990:ULA,% Geilen:2001:OOM,% Ghezzi:1989:SEC,% Karakoidas:2015:TSE,% Le:2018:DDD,% Ozkaya:2018:SUB,% Papenhausen:2018:CAO,% Pinto:2018:ACM,% Razavi:2005:LSA,% Seidl:2017:GSP,% Sulir:2016:RCS,% Wuyts:2004:UID% }. \NAMECITE{usually}{% Dhamdhere:1990:ULA% }. \NAMECITE{Utility}{% Li:2009:UDS% }. \NAMECITE{Utility-driven}{% Li:2009:UDS% }. \NAMECITE{Utilizing}{% Bachmann:1978:SCL% }. \NAMECITE{validation}{% Chen:2015:AVB,% Cordoba-Sanchez:2016:ADS,% Gogolla:2018:AMQ,% Przigoda:2018:FCA% }. \NAMECITE{value}{% Costa:2014:JTV,% Imanimehr:2018:TVS,% Khan:2011:IPT,% Schwartz:1975:OVHa% }. \NAMECITE{value-sensitive}{% Imanimehr:2018:TVS% }. \NAMECITE{values}{% Nilsen:1990:SDT% }. \NAMECITE{variability}{% Font:2017:LVM,% Seidl:2017:GSP,% Simonin:2018:AIC% }. \NAMECITE{variability-aware}{% Seidl:2017:GSP% }. \NAMECITE{Variable}{% Bailes:1986:SCV,% DaRosdeCarvalho:1992:OAV% }. \NAMECITE{variables}{% Krizevnik:2012:DBV% }. \NAMECITE{{VDL}}{% Mazaher:1985:DCO% }. \NAMECITE{Vector}{% Hassan:2018:EIM,% Cockshott:2006:OPP,% Jouvelot:2011:DVT% }. \NAMECITE{verifiable}{% Berry:1980:TMV% }. \NAMECITE{Verification}{% DSouza:2017:SII,% Wasserman:1979:TVA,% Cocco:1982:MEH,% Dan:2017:EAV,% Dernehl:2018:CSA,% Ernst:1991:MVA,% Gogolla:2018:AMQ,% Hsiung:2008:ASV,% Kafle:2017:HCV,% Planas:2016:LSV,% Przigoda:2018:FCA,% Sanchez:2015:VAR,% Sanchez:2016:VAR% }. \NAMECITE{Verifying}{% Beringer:2013:VPS,% Bossi:2004:VPS,% Park:2015:CVS,% Park:2016:CVS,% vanOmmering:2001:LFV% }. \NAMECITE{versa}{% Groppe:2011:TXS% }. \NAMECITE{Version}{% Manacher:1978:IVC% }. \NAMECITE{Very}{% Tucker:1975:VHL,% Ching:1993:PBS,% Schwartz:1975:OVHa,% Schwartz:1975:OVHb% }. \NAMECITE{via}{% Chadha:2017:FDC,% Chaitin:1981:RAC% }. \NAMECITE{vice}{% Groppe:2011:TXS% }. \NAMECITE{{Vienna}}{% Kuhn:1993:CBV% }. \NAMECITE{view}{% Cooke:1998:SPD,% Lienhard:2009:TOC,% Schwartz:1979:SVA% }. \NAMECITE{viewing}{% Feeley:1992:CGB% }. \NAMECITE{viewpoint}{% Tucker:1975:VHL% }. \NAMECITE{Views}{% Schiffner:1979:MVA,% Mens:2006:CEC,% Tourwe:2004:IIS% }. \NAMECITE{visibility}{% Bergel:2005:CCV% }. \NAMECITE{visibly}{% Polach:2016:EDV% }. \NAMECITE{Visual}{% Franzle:2001:VTL,% Ledley:1999:BTA,% Costagliola:2018:ULC,% Mosconi:2000:ICD,% Struber:2017:TBV,% Al-Mulhem:1997:VOS,% Al-Mulhem:1998:FSV% }. \NAMECITE{Visualising}{% Luttighuis:2001:VBP% }. \NAMECITE{visualization}{% Horry:2017:FID% }. \NAMECITE{visualization/analysis}{% Horry:2017:FID% }. \NAMECITE{visualizing}{% vanOmmering:2001:LFV% }. \NAMECITE{{VMCAI'03}}{% Zuck:2004:SIV% }. \NAMECITE{Volume}{% Anonymous:2002:VC,% Anonymous:2005:VC,% Anonymous:2005:VCA,% Anonymous:2006:VCA,% Anonymous:1999:VI,% Anonymous:2000:IV,% Anonymous:2001:IV% }. \NAMECITE{way}{% Cooke:1998:SPD,% Franco:1990:MSS% }. \NAMECITE{Weak}{% Blanchard:2018:MCB% }. \NAMECITE{web}{% Chadha:2017:FDC,% Chavarriaga:2017:ABX,% Martinez:2017:MBA,% VanEs:2017:IPS,% Malkov:2010:CFP,% Mateos:2007:EMS,% Pastrana:2011:QES% }. \NAMECITE{web-based}{% Chadha:2017:FDC% }. \NAMECITE{well}{% Bossi:2000:SWM% }. \NAMECITE{well-moded}{% Bossi:2000:SWM% }. \NAMECITE{whole}{% Wang:2008:PWI% }. \NAMECITE{whole-image}{% Wang:2008:PWI% }. \NAMECITE{Widening}{% Cortesi:2011:WNO% }. \NAMECITE{Wiley}{% Ledley:1999:BMS,% Ledley:1999:BTA,% Ledley:1999:CYP,% Ledley:1999:MPD,% Ledley:1999:TCS% }. \NAMECITE{Within}{% Tai:1979:CFW% }. \NAMECITE{work}{% Cassou:2009:TWD,% Ledley:1999:TCS% }. \NAMECITE{workbenches}{% Erdweg:2015:ECL% }. \NAMECITE{works}{% Joseloff:1978:CPC% }. \NAMECITE{workshops}{% Haller:2016:SIA% }. \NAMECITE{worst}{% Blieberger:1994:DLW,% Brandner:2014:RWC% }. \NAMECITE{worst-case}{% Brandner:2014:RWC% }. \NAMECITE{write}{% Campos:2003:DRC% }. \NAMECITE{writing}{% Haripriyan:1988:CWS% }. \NAMECITE{Written}{% Mazaher:1985:DCO% }. \NAMECITE{{WS}}{% Krizevnik:2012:DBV% }. \NAMECITE{{XML}}{% Chavarriaga:2017:ABX% }. \NAMECITE{{XML}-based}{% Chavarriaga:2017:ABX% }. \NAMECITE{{XQuery}}{% Groppe:2011:TXS% }. \NAMECITE{{XSL}}{% Penna:2014:MCX% }. \NAMECITE{{XSLT}}{% Groppe:2011:TXS% }. \NAMECITE{{Y2K\}}}{% Ledley:1999:CYP% }. \NAMECITE{Younger}{% Manacher:1978:IVC% }. \NAMECITE{{Z}}{% Pohl:1988:ZCL% }. \NAMECITE{{Zero}}{% Greiner:2009:ZBS% }.