{"id":"https://openalex.org/W1999172049","doi":"https://doi.org/10.1145/2814228.2814240","title":"Slimming languages by reducing sugar: a case for semantics-altering transformations","display_name":"Slimming languages by reducing sugar: a case for semantics-altering transformations","publication_year":2015,"publication_date":"2015-10-21","ids":{"openalex":"https://openalex.org/W1999172049","doi":"https://doi.org/10.1145/2814228.2814240","mag":"1999172049"},"language":"en","primary_location":{"id":"doi:10.1145/2814228.2814240","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2814228.2814240","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward!)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5103194485","display_name":"Junsong Li","orcid":"https://orcid.org/0009-0009-4249-4874"},"institutions":[{"id":"https://openalex.org/I175594653","display_name":"John Brown University","ror":"https://ror.org/02ct41q97","country_code":"US","type":"education","lineage":["https://openalex.org/I175594653"]},{"id":"https://openalex.org/I27804330","display_name":"Brown University","ror":"https://ror.org/05gq02987","country_code":"US","type":"education","lineage":["https://openalex.org/I27804330"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Junsong Li","raw_affiliation_strings":["Brown University, USA","Brown University, USA)"],"affiliations":[{"raw_affiliation_string":"Brown University, USA","institution_ids":["https://openalex.org/I175594653"]},{"raw_affiliation_string":"Brown University, USA)","institution_ids":["https://openalex.org/I27804330"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5011426510","display_name":"Justin Pombrio","orcid":"https://orcid.org/0009-0004-0244-6193"},"institutions":[{"id":"https://openalex.org/I27804330","display_name":"Brown University","ror":"https://ror.org/05gq02987","country_code":"US","type":"education","lineage":["https://openalex.org/I27804330"]},{"id":"https://openalex.org/I175594653","display_name":"John Brown University","ror":"https://ror.org/02ct41q97","country_code":"US","type":"education","lineage":["https://openalex.org/I175594653"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Justin Pombrio","raw_affiliation_strings":["Brown University, USA","Brown University, USA)"],"affiliations":[{"raw_affiliation_string":"Brown University, USA","institution_ids":["https://openalex.org/I175594653"]},{"raw_affiliation_string":"Brown University, USA)","institution_ids":["https://openalex.org/I27804330"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5062647971","display_name":"Joe Gibbs Politz","orcid":"https://orcid.org/0000-0003-1565-2362"},"institutions":[{"id":"https://openalex.org/I27804330","display_name":"Brown University","ror":"https://ror.org/05gq02987","country_code":"US","type":"education","lineage":["https://openalex.org/I27804330"]},{"id":"https://openalex.org/I175594653","display_name":"John Brown University","ror":"https://ror.org/02ct41q97","country_code":"US","type":"education","lineage":["https://openalex.org/I175594653"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Joe Gibbs Politz","raw_affiliation_strings":["Brown University, USA","Brown University, USA)"],"affiliations":[{"raw_affiliation_string":"Brown University, USA","institution_ids":["https://openalex.org/I175594653"]},{"raw_affiliation_string":"Brown University, USA)","institution_ids":["https://openalex.org/I27804330"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5024394821","display_name":"Shriram Krishnamurthi","orcid":"https://orcid.org/0000-0001-5184-1975"},"institutions":[{"id":"https://openalex.org/I27804330","display_name":"Brown University","ror":"https://ror.org/05gq02987","country_code":"US","type":"education","lineage":["https://openalex.org/I27804330"]},{"id":"https://openalex.org/I175594653","display_name":"John Brown University","ror":"https://ror.org/02ct41q97","country_code":"US","type":"education","lineage":["https://openalex.org/I175594653"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Shriram Krishnamurthi","raw_affiliation_strings":["Brown University, USA","Brown University, USA)"],"affiliations":[{"raw_affiliation_string":"Brown University, USA","institution_ids":["https://openalex.org/I175594653"]},{"raw_affiliation_string":"Brown University, USA)","institution_ids":["https://openalex.org/I27804330"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5103194485"],"corresponding_institution_ids":["https://openalex.org/I175594653","https://openalex.org/I27804330"],"apc_list":null,"apc_paid":null,"fwci":0.4314,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.75809595,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"90","last_page":"106"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9995999932289124,"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"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9995999932289124,"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"}},{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9977999925613403,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9970999956130981,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/computer-science","display_name":"Computer science","score":0.7721055746078491},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.7346413135528564},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.6776956915855408},{"id":"https://openalex.org/keywords/denotational-semantics","display_name":"Denotational semantics","score":0.49151453375816345},{"id":"https://openalex.org/keywords/core","display_name":"Core (optical fiber)","score":0.4754859209060669},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"Operational semantics","score":0.4510679244995117},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.41343367099761963},{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"Natural language processing","score":0.32555466890335083}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7721055746078491},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7346413135528564},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.6776956915855408},{"id":"https://openalex.org/C207648694","wikidata":"https://www.wikidata.org/wiki/Q1189746","display_name":"Denotational semantics","level":4,"score":0.49151453375816345},{"id":"https://openalex.org/C2164484","wikidata":"https://www.wikidata.org/wiki/Q5170150","display_name":"Core (optical fiber)","level":2,"score":0.4754859209060669},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.4510679244995117},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.41343367099761963},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.32555466890335083},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2814228.2814240","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2814228.2814240","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward!)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/4","score":0.7300000190734863,"display_name":"Quality Education"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320309085","display_name":"Center for Selective C-H Functionalization, National Science Foundation","ror":"https://ror.org/02h8v7m77"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":28,"referenced_works":["https://openalex.org/W170057135","https://openalex.org/W180769835","https://openalex.org/W250432737","https://openalex.org/W1546727036","https://openalex.org/W1591203048","https://openalex.org/W1597756446","https://openalex.org/W1617063462","https://openalex.org/W1758438229","https://openalex.org/W1829244603","https://openalex.org/W1839269954","https://openalex.org/W1979370131","https://openalex.org/W1997642340","https://openalex.org/W2009989404","https://openalex.org/W2015077407","https://openalex.org/W2018041465","https://openalex.org/W2020899082","https://openalex.org/W2032593675","https://openalex.org/W2044868346","https://openalex.org/W2053585885","https://openalex.org/W2082841864","https://openalex.org/W2110001365","https://openalex.org/W2113757735","https://openalex.org/W2137584523","https://openalex.org/W2143283746","https://openalex.org/W2155877593","https://openalex.org/W3010249406","https://openalex.org/W3136601762","https://openalex.org/W4240237526"],"related_works":["https://openalex.org/W3036972880","https://openalex.org/W3129725704","https://openalex.org/W2072493788","https://openalex.org/W2755363016","https://openalex.org/W2257517306","https://openalex.org/W2188386601","https://openalex.org/W2245685274","https://openalex.org/W2100934637","https://openalex.org/W2158105805","https://openalex.org/W3007870257"],"abstract_inverted_index":{"Splitting":[0],"a":[1,4,8,46,63,77],"language":[2,6,89,127],"into":[3,31],"core":[5,39],"and":[7,37,95,129],"desugaring":[9],"function":[10],"makes":[11],"it":[12],"possible":[13],"to":[14,44,49],"produce":[15],"tractable":[16],"semantics":[17,64],"for":[18,62],"real-world":[19],"languages.":[20],"It":[21],"does":[22],"so":[23],"by":[24],"pushing":[25],"much":[26,70],"of":[27,52,65,71,79,115,123],"the":[28,72,80,107,113,121],"language's":[29,81,108],"complexity":[30],"desugaring.":[32],"This,":[33],"however,":[34],"produces":[35],"large":[36],"unwieldy":[38],"programs,":[40],"which":[41],"has":[42],"proven":[43],"be":[45],"significant":[47],"obstacle":[48],"actual":[50],"use":[51,90],"these":[53,97,116],"semantics.":[54,83,109],"In":[55],"this":[56,60,93,124],"paper":[57],"we":[58,119],"analyze":[59],"problem":[61],"JavaScript.":[66],"We":[67,84,110],"show":[68],"that":[69],"bloat":[73],"is":[74],"*semantic":[75],"bloat*:":[76],"consequence":[78],"rich":[82],"demonstrate":[85,112],"how":[86],"assumptions":[87],"about":[88],"can":[91],"confine":[92],"bloat,":[94],"codify":[96],"through":[98],"several":[99],"transformations":[100],"that,":[101],"in":[102],"general,":[103],"do":[104],"not":[105],"preserve":[106],"experimentally":[111],"effectiveness":[114],"transformations.":[117],"Finally,":[118],"discuss":[120],"implications":[122],"work":[125],"on":[126],"design":[128],"structure.":[130]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2016,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}