{"id":"https://openalex.org/W2626081666","doi":"https://doi.org/10.1016/j.procs.2017.05.452","title":"Control Flow Ambiguous-Type Inter-Procedural Semantic Analysis for Dynamic Language Compilation","display_name":"Control Flow Ambiguous-Type Inter-Procedural Semantic Analysis for Dynamic Language Compilation","publication_year":2017,"publication_date":"2017-01-01","ids":{"openalex":"https://openalex.org/W2626081666","doi":"https://doi.org/10.1016/j.procs.2017.05.452","mag":"2626081666"},"language":"en","primary_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.procs.2017.05.452","pdf_url":null,"source":{"id":"https://openalex.org/S120348307","display_name":"Procedia Computer Science","issn_l":"1877-0509","issn":["1877-0509"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true},"type":"article","type_crossref":"journal-article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1016/j.procs.2017.05.452","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5034566474","display_name":"Jakub M\u00ed\u0161ek","orcid":"https://orcid.org/0000-0002-0792-2054"},"institutions":[{"id":"https://openalex.org/I21250087","display_name":"Charles University","ror":"https://ror.org/024d6js02","country_code":"CZ","type":"education","lineage":["https://openalex.org/I21250087"]}],"countries":["CZ"],"is_corresponding":true,"raw_author_name":"Jakub Misek","raw_affiliation_strings":["Department of Software Engineering, Charles University, Prague, Czech Republic"],"affiliations":[{"raw_affiliation_string":"Department of Software Engineering, Charles University, Prague, Czech Republic","institution_ids":["https://openalex.org/I21250087"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5031305661","display_name":"Filip Zavoral","orcid":"https://orcid.org/0000-0003-3140-8538"},"institutions":[{"id":"https://openalex.org/I21250087","display_name":"Charles University","ror":"https://ror.org/024d6js02","country_code":"CZ","type":"education","lineage":["https://openalex.org/I21250087"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Filip Zavoral","raw_affiliation_strings":["Department of Software Engineering, Charles University, Prague, Czech Republic"],"affiliations":[{"raw_affiliation_string":"Department of Software Engineering, Charles University, Prague, Czech Republic","institution_ids":["https://openalex.org/I21250087"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5034566474"],"corresponding_institution_ids":["https://openalex.org/I21250087"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":1,"citation_normalized_percentile":{"value":0.682044,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":64,"max":71},"biblio":{"volume":"109","issue":null,"first_page":"955","last_page":"962"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10679","display_name":"QoS-Aware Web Services Composition and Semantic Matching","score":0.9751,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10679","display_name":"QoS-Aware Web Services Composition and Semantic Matching","score":0.9751,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Engineering in Software Development","score":0.9586,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10639","display_name":"Autonomic Computing and Self-Adaptive Systems","score":0.9532,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/control-flow","display_name":"Control flow","score":0.547582},{"id":"https://openalex.org/keywords/dynamic-software-product-lines","display_name":"Dynamic Software Product Lines","score":0.53137}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9362489},{"id":"https://openalex.org/C160191386","wikidata":"https://www.wikidata.org/wiki/Q868299","display_name":"Control flow","level":2,"score":0.547582},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.47524095},{"id":"https://openalex.org/C2777946921","wikidata":"https://www.wikidata.org/wiki/Q7449044","display_name":"Semantic analysis (machine learning)","level":2,"score":0.4541045},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.42419907},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3635187}],"mesh":[],"locations_count":1,"locations":[{"is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.procs.2017.05.452","pdf_url":null,"source":{"id":"https://openalex.org/S120348307","display_name":"Procedia Computer Science","issn_l":"1877-0509","issn":["1877-0509"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true}],"best_oa_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.procs.2017.05.452","pdf_url":null,"source":{"id":"https://openalex.org/S120348307","display_name":"Procedia Computer Science","issn_l":"1877-0509","issn":["1877-0509"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true},"sustainable_development_goals":[{"score":0.49,"display_name":"Quality education","id":"https://metadata.un.org/sdg/4"}],"grants":[],"datasets":[],"versions":[],"referenced_works_count":8,"referenced_works":["https://openalex.org/W1553894716","https://openalex.org/W1797198873","https://openalex.org/W202191487","https://openalex.org/W2051600169","https://openalex.org/W2137952932","https://openalex.org/W2301530215","https://openalex.org/W2598552290","https://openalex.org/W4238080077"],"related_works":["https://openalex.org/W4251805752","https://openalex.org/W4229928981","https://openalex.org/W3023969980","https://openalex.org/W2903680434","https://openalex.org/W2293457016","https://openalex.org/W2171733626","https://openalex.org/W2148757832","https://openalex.org/W2109507516","https://openalex.org/W1600429586","https://openalex.org/W1575663121"],"abstract_inverted_index":{"The":[0,53],"recent":[1],"expansion":[2],"of":[3,116,146,152],"cloud-based":[4],"solutions":[5],"highlights":[6],"that":[7,27,92,101],"legacy":[8,41],"programming":[9],"languages":[10],"and":[11,49,76,83,100,114,124,129,138],"technologies,":[12],"such":[13,63],"as":[14],"the":[15,40,59,77,143,153],"PHP":[16,56,118],"language,":[17],"are":[18],"still":[19],"in":[20,73],"heavy":[21],"use.":[22],"Furthermore,":[23],"it":[24,35],"turns":[25],"out":[26],"for":[28,62,79,131],"their":[29],"effective":[30],"integration":[31],"into":[32,142],"modern":[33,46,144],"platforms,":[34],"is":[36,102],"important":[37],"to":[38,44,67],"understand":[39],"code":[42,97,121,136],"base":[43],"provide":[45],"analysis,":[47,122],"testing":[48],"eventually":[50],"compiler":[51,123],"tooling.":[52],"dynamic":[54,119],"language":[55,96,120],"would":[57],"be":[58],"perfect":[60],"candidate":[61],"a":[64,80,90,108,112,117],"synergy,":[65],"due":[66],"its":[68],"extensive":[69],"usage,":[70],"frequent":[71],"issues":[72],"source":[74],"codes":[75],"need":[78],"better":[81],"performance":[82,128],"scalability.":[84],"In":[85],"this":[86],"paper,":[87],"we":[88,110],"describe":[89],"solution":[91],"combines":[93],"known":[94],"static":[95],"analysis":[98,137],"techniques":[99],"enhanced":[103],"by":[104],"numerous":[105],"modifications.":[106],"As":[107],"result,":[109],"have":[111],"design":[113],"implementation":[115],"runtime,":[125],"which":[126],"improves":[127],"allows":[130],"more":[132],"advanced":[133],"high":[134],"level":[135],"tools,":[139],"all":[140],"incorporated":[141],"platform":[145],".NET":[147],"Core":[148],"while":[149],"taking":[150],"advantage":[151],"Microsoft":[154],"Roslyn":[155],"Compiler":[156],"Platform.":[157]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2626081666","counts_by_year":[{"year":2022,"cited_by_count":1}],"updated_date":"2024-09-18T21:17:38.476717","created_date":"2017-06-23"}