{"id":"https://openalex.org/W2535174441","doi":"https://doi.org/10.1145/2989225.2989226","title":"Type safety analysis for Dart","display_name":"Type safety analysis for Dart","publication_year":2016,"publication_date":"2016-10-21","ids":{"openalex":"https://openalex.org/W2535174441","doi":"https://doi.org/10.1145/2989225.2989226","mag":"2535174441"},"language":"en","primary_location":{"id":"doi:10.1145/2989225.2989226","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2989225.2989226","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 12th Symposium on Dynamic Languages","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://pure.au.dk/ws/files/126134466/4_1.pdf","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5032106490","display_name":"Thomas S. Heinze","orcid":"https://orcid.org/0000-0001-8816-7013"},"institutions":[{"id":"https://openalex.org/I204337017","display_name":"Aarhus University","ror":"https://ror.org/01aj84f44","country_code":"DK","type":"education","lineage":["https://openalex.org/I204337017"]}],"countries":["DK"],"is_corresponding":true,"raw_author_name":"Thomas S. Heinze","raw_affiliation_strings":["Aarhus University, Denmark"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Aarhus University, Denmark","institution_ids":["https://openalex.org/I204337017"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103189175","display_name":"Anders M\u00f8ller","orcid":"https://orcid.org/0000-0003-1333-2314"},"institutions":[{"id":"https://openalex.org/I204337017","display_name":"Aarhus University","ror":"https://ror.org/01aj84f44","country_code":"DK","type":"education","lineage":["https://openalex.org/I204337017"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Anders M\u00f8ller","raw_affiliation_strings":["Aarhus University, Denmark"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Aarhus University, Denmark","institution_ids":["https://openalex.org/I204337017"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5061190209","display_name":"Fabio Strocco","orcid":null},"institutions":[{"id":"https://openalex.org/I204337017","display_name":"Aarhus University","ror":"https://ror.org/01aj84f44","country_code":"DK","type":"education","lineage":["https://openalex.org/I204337017"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Fabio Strocco","raw_affiliation_strings":["Aarhus University, Denmark"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Aarhus University, Denmark","institution_ids":["https://openalex.org/I204337017"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5032106490"],"corresponding_institution_ids":["https://openalex.org/I204337017"],"apc_list":null,"apc_paid":null,"fwci":1.7324,"has_fulltext":true,"cited_by_count":7,"citation_normalized_percentile":{"value":0.85896789,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"12"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.8561000227928162,"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"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.8561000227928162,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/dart","display_name":"Dart","score":0.7112540602684021},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5586150288581848},{"id":"https://openalex.org/keywords/dart-ion-source","display_name":"DART ion source","score":0.4170565605163574},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.13601958751678467},{"id":"https://openalex.org/keywords/chemistry","display_name":"Chemistry","score":0.07087194919586182}],"concepts":[{"id":"https://openalex.org/C2779417484","wikidata":"https://www.wikidata.org/wiki/Q406009","display_name":"Dart","level":2,"score":0.7112540602684021},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5586150288581848},{"id":"https://openalex.org/C118663420","wikidata":"https://www.wikidata.org/wiki/Q3614983","display_name":"DART ion source","level":5,"score":0.4170565605163574},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.13601958751678467},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.07087194919586182},{"id":"https://openalex.org/C178790620","wikidata":"https://www.wikidata.org/wiki/Q11351","display_name":"Organic chemistry","level":1,"score":0.0},{"id":"https://openalex.org/C198291218","wikidata":"https://www.wikidata.org/wiki/Q190382","display_name":"Ionization","level":3,"score":0.0},{"id":"https://openalex.org/C145148216","wikidata":"https://www.wikidata.org/wiki/Q36496","display_name":"Ion","level":2,"score":0.0},{"id":"https://openalex.org/C205759337","wikidata":"https://www.wikidata.org/wiki/Q1748259","display_name":"Electron ionization","level":4,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/2989225.2989226","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2989225.2989226","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 12th Symposium on Dynamic Languages","raw_type":"proceedings-article"},{"id":"pmh:oai:pure.atira.dk:publications/e1ae74c8-4f59-430f-a7b6-9961cb73e799","is_oa":true,"landing_page_url":"https://pure.au.dk/portal/en/publications/e1ae74c8-4f59-430f-a7b6-9961cb73e799","pdf_url":"https://pure.au.dk/ws/files/126134466/4_1.pdf","source":null,"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"Heinze, T S, M\u00f8ller, A & Strocco, F 2016, Type safety analysis for dart. in R Ierusalimschy (ed.), DLS 2016 - Proceedings of the 12th Symposium on Dynamic Languages. Association for Computing Machinery, pp. 1-12, SPLASH 2016, Amsterdam, Netherlands, 30/10/2016. https://doi.org/10.1145/2989225.2989226","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"pmh:oai:pure.atira.dk:publications/e1ae74c8-4f59-430f-a7b6-9961cb73e799","is_oa":true,"landing_page_url":"https://pure.au.dk/portal/en/publications/e1ae74c8-4f59-430f-a7b6-9961cb73e799","pdf_url":"https://pure.au.dk/ws/files/126134466/4_1.pdf","source":null,"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"Heinze, T S, M\u00f8ller, A & Strocco, F 2016, Type safety analysis for dart. in R Ierusalimschy (ed.), DLS 2016 - Proceedings of the 12th Symposium on Dynamic Languages. Association for Computing Machinery, pp. 1-12, SPLASH 2016, Amsterdam, Netherlands, 30/10/2016. https://doi.org/10.1145/2989225.2989226","raw_type":"info:eu-repo/semantics/publishedVersion"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G4634241786","display_name":null,"funder_award_id":"647544","funder_id":"https://openalex.org/F4320334678","funder_display_name":"European Research Council"},{"id":"https://openalex.org/G7842005466","display_name":null,"funder_award_id":"Horizon 2020","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G8102985520","display_name":"Automated Program Analysis for Advanced Web Applications","funder_award_id":"647544","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320334678","display_name":"European Research Council","ror":"https://ror.org/0472cxd90"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2535174441.pdf","grobid_xml":"https://content.openalex.org/works/W2535174441.grobid-xml"},"referenced_works_count":25,"referenced_works":["https://openalex.org/W100599422","https://openalex.org/W202191487","https://openalex.org/W1967144497","https://openalex.org/W1967698620","https://openalex.org/W1975914482","https://openalex.org/W2048639238","https://openalex.org/W2049933699","https://openalex.org/W2068711880","https://openalex.org/W2070088936","https://openalex.org/W2088295995","https://openalex.org/W2090348364","https://openalex.org/W2095839043","https://openalex.org/W2102389857","https://openalex.org/W2113556560","https://openalex.org/W2127172188","https://openalex.org/W2171240827","https://openalex.org/W2284690928","https://openalex.org/W2293770661","https://openalex.org/W2295415424","https://openalex.org/W2742478755","https://openalex.org/W3137596000","https://openalex.org/W4244807040","https://openalex.org/W4250522981","https://openalex.org/W6604057365","https://openalex.org/W6695611836"],"related_works":["https://openalex.org/W106153292","https://openalex.org/W2965837546","https://openalex.org/W2138741439","https://openalex.org/W3005667550","https://openalex.org/W2387390309","https://openalex.org/W1591133256","https://openalex.org/W4230887080","https://openalex.org/W3112127720","https://openalex.org/W2095605111","https://openalex.org/W3110904524"],"abstract_inverted_index":{"Optional":[0],"typing":[1],"is":[2,19,80,85,98],"traditionally":[3],"viewed":[4],"as":[5,71],"a":[6,37,116],"compromise":[7],"between":[8],"static":[9,42],"and":[10,49,66],"dynamic":[11],"type":[12,17,28,43,62,83,113],"checking,":[13],"where":[14],"code":[15],"without":[16,102],"annotations":[18,29,63],"not":[20],"checked":[21],"until":[22],"runtime.":[23],"We":[24,55],"demonstrate":[25],"that":[26,60,68,81,95],"optional":[27],"in":[30,115],"Dart":[31,79],"programs":[32],"can":[33],"be":[34],"integrated":[35],"into":[36],"flow":[38],"analysis":[39],"to":[40],"provide":[41],"safety":[44],"guarantees":[45],"both":[46],"for":[47,64,78,88],"annotated":[48,90],"non-annotated":[50],"parts":[51],"of":[52,106,118],"the":[53,96],"code.":[54,91],"explore":[56],"two":[57],"approaches:":[58],"one":[59,67],"uses":[61,69],"filtering,":[65],"them":[70],"specifications.":[72],"What":[73],"makes":[74],"this":[75],"particularly":[76],"challenging":[77],"its":[82],"system":[84],"unsound":[86],"even":[87,101],"fully":[89],"Experimental":[92],"results":[93],"show":[94],"technique":[97],"remarkably":[99],"effective,":[100],"context":[103],"sensitivity:":[104],"99.3%":[105],"all":[107],"property":[108],"lookup":[109],"operations":[110],"are":[111],"reported":[112],"safe":[114],"collection":[117],"benchmark":[119],"programs.":[120]},"counts_by_year":[{"year":2023,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1}],"updated_date":"2026-04-27T08:22:11.395708","created_date":"2025-10-10T00:00:00"}