{"id":"https://openalex.org/W4307888126","doi":"https://doi.org/10.1145/3563294","title":"Compositional embeddings of domain-specific languages","display_name":"Compositional embeddings of domain-specific languages","publication_year":2022,"publication_date":"2022-10-31","ids":{"openalex":"https://openalex.org/W4307888126","doi":"https://doi.org/10.1145/3563294"},"language":"en","primary_location":{"id":"doi:10.1145/3563294","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3563294","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3563294","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3563294","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5019451827","display_name":"Yaozhu Sun","orcid":"https://orcid.org/0000-0002-7011-2441"},"institutions":[{"id":"https://openalex.org/I889458895","display_name":"University of Hong Kong","ror":"https://ror.org/02zhqgq86","country_code":"HK","type":"education","lineage":["https://openalex.org/I889458895"]}],"countries":["HK"],"is_corresponding":true,"raw_author_name":"Yaozhu Sun","raw_affiliation_strings":["University of Hong Kong, China"],"raw_orcid":"https://orcid.org/0000-0002-7011-2441","affiliations":[{"raw_affiliation_string":"University of Hong Kong, China","institution_ids":["https://openalex.org/I889458895"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5078536343","display_name":"Utkarsh Dhandhania","orcid":"https://orcid.org/0000-0002-3187-3563"},"institutions":[{"id":"https://openalex.org/I889458895","display_name":"University of Hong Kong","ror":"https://ror.org/02zhqgq86","country_code":"HK","type":"education","lineage":["https://openalex.org/I889458895"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Utkarsh Dhandhania","raw_affiliation_strings":["University of Hong Kong, China"],"raw_orcid":"https://orcid.org/0000-0002-3187-3563","affiliations":[{"raw_affiliation_string":"University of Hong Kong, China","institution_ids":["https://openalex.org/I889458895"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5049714036","display_name":"Bruno C. d. S. Oliveira","orcid":"https://orcid.org/0000-0002-1846-7210"},"institutions":[{"id":"https://openalex.org/I889458895","display_name":"University of Hong Kong","ror":"https://ror.org/02zhqgq86","country_code":"HK","type":"education","lineage":["https://openalex.org/I889458895"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Bruno C. d. S. Oliveira","raw_affiliation_strings":["University of Hong Kong, China"],"raw_orcid":"https://orcid.org/0000-0002-1846-7210","affiliations":[{"raw_affiliation_string":"University of Hong Kong, China","institution_ids":["https://openalex.org/I889458895"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5019451827"],"corresponding_institution_ids":["https://openalex.org/I889458895"],"apc_list":null,"apc_paid":null,"fwci":0.8287,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.73586654,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"6","issue":"OOPSLA2","first_page":"175","last_page":"203"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9980999827384949,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9980999827384949,"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/T10260","display_name":"Software Engineering Research","score":0.9959999918937683,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9934999942779541,"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/digital-subscriber-line","display_name":"Digital subscriber line","score":0.8452325463294983},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8310635089874268},{"id":"https://openalex.org/keywords/embedding","display_name":"Embedding","score":0.7332642674446106},{"id":"https://openalex.org/keywords/domain-specific-language","display_name":"Domain-specific language","score":0.5983809232711792},{"id":"https://openalex.org/keywords/reuse","display_name":"Reuse","score":0.5757324695587158},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5571858286857605},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.46222934126853943},{"id":"https://openalex.org/keywords/host","display_name":"Host (biology)","score":0.46211057901382446},{"id":"https://openalex.org/keywords/syntax","display_name":"Syntax","score":0.43661782145500183},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.33609738945961},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2725769281387329},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.08221778273582458}],"concepts":[{"id":"https://openalex.org/C201374245","wikidata":"https://www.wikidata.org/wiki/Q104534","display_name":"Digital subscriber line","level":2,"score":0.8452325463294983},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8310635089874268},{"id":"https://openalex.org/C41608201","wikidata":"https://www.wikidata.org/wiki/Q980509","display_name":"Embedding","level":2,"score":0.7332642674446106},{"id":"https://openalex.org/C135257023","wikidata":"https://www.wikidata.org/wiki/Q691358","display_name":"Domain-specific language","level":2,"score":0.5983809232711792},{"id":"https://openalex.org/C206588197","wikidata":"https://www.wikidata.org/wiki/Q846574","display_name":"Reuse","level":2,"score":0.5757324695587158},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5571858286857605},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.46222934126853943},{"id":"https://openalex.org/C126831891","wikidata":"https://www.wikidata.org/wiki/Q221673","display_name":"Host (biology)","level":2,"score":0.46211057901382446},{"id":"https://openalex.org/C60048249","wikidata":"https://www.wikidata.org/wiki/Q37437","display_name":"Syntax","level":2,"score":0.43661782145500183},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.33609738945961},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2725769281387329},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.08221778273582458},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","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/3563294","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3563294","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3563294","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3563294","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3563294","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3563294","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4307888126.pdf","grobid_xml":"https://content.openalex.org/works/W4307888126.grobid-xml"},"referenced_works_count":53,"referenced_works":["https://openalex.org/W171887329","https://openalex.org/W1191640401","https://openalex.org/W1489879801","https://openalex.org/W1508259349","https://openalex.org/W1552977104","https://openalex.org/W1649645444","https://openalex.org/W1750043039","https://openalex.org/W1839902311","https://openalex.org/W1946588374","https://openalex.org/W1995618084","https://openalex.org/W2009775190","https://openalex.org/W2018014973","https://openalex.org/W2022744394","https://openalex.org/W2026667713","https://openalex.org/W2049946917","https://openalex.org/W2056821525","https://openalex.org/W2057779758","https://openalex.org/W2059720667","https://openalex.org/W2075568353","https://openalex.org/W2096588270","https://openalex.org/W2105123499","https://openalex.org/W2107332214","https://openalex.org/W2111898165","https://openalex.org/W2119871735","https://openalex.org/W2123092976","https://openalex.org/W2123835026","https://openalex.org/W2135642511","https://openalex.org/W2139828164","https://openalex.org/W2154697693","https://openalex.org/W2163552400","https://openalex.org/W2281310552","https://openalex.org/W2495617574","https://openalex.org/W2517607333","https://openalex.org/W2578572892","https://openalex.org/W2591126073","https://openalex.org/W2729760496","https://openalex.org/W2883797775","https://openalex.org/W2883982391","https://openalex.org/W2914803601","https://openalex.org/W2933554047","https://openalex.org/W2951104382","https://openalex.org/W2963774170","https://openalex.org/W2981978973","https://openalex.org/W3011926417","https://openalex.org/W3101872105","https://openalex.org/W3102026406","https://openalex.org/W3108056422","https://openalex.org/W4206669215","https://openalex.org/W4206708621","https://openalex.org/W4233661059","https://openalex.org/W4237211893","https://openalex.org/W4244488020","https://openalex.org/W4251772834"],"related_works":["https://openalex.org/W2506635712","https://openalex.org/W1579149484","https://openalex.org/W2161550557","https://openalex.org/W2556228643","https://openalex.org/W2159328689","https://openalex.org/W3018952282","https://openalex.org/W4235797919","https://openalex.org/W2161636786","https://openalex.org/W2026667713","https://openalex.org/W3006199460"],"abstract_inverted_index":{"A":[0],"common":[1],"approach":[2],"to":[3,22,43,141,159,189,217],"defining":[4],"domain-specific":[5],"languages":[6],"(DSLs)":[7],"is":[8,210,249],"via":[9],"a":[10,14,52,59,97,105,201],"direct":[11],"embedding":[12],"into":[13],"host":[15],"language.":[16],"There":[17],"are":[18,133],"several":[19],"well-known":[20],"techniques":[21],"do":[23],"such":[24,32,44],"embeddings,":[25,137,161],"including":[26,138],"shallow":[27,116,136],"and":[28,83,117,148,176,185,213],"deep":[29,118,160],"embeddings.":[30,119],"However,":[31],"embeddings":[33,125,163,199,246],"come":[34],"with":[35,200,251],"various":[36,127,219,227],"trade-offs":[37],"in":[38,56,145],"existing":[39],"programming":[40],"languages.":[41],"Owing":[42],"trade-offs,":[45],"many":[46],"embedded":[47,91],"DSLs":[48],"end":[49],"up":[50],"using":[51],"mix":[53],"of":[54,62,100,111,114,129,135,182,197,233,244],"approaches":[55],"practice,":[57],"requiring":[58],"substantial":[60],"amount":[61],"code,":[63],"as":[64,66],"well":[65],"some":[67],"advanced":[68],"coding":[69],"techniques.":[70],"In":[71,93],"this":[72],"paper,":[73],"we":[74,95,103],"show":[75],"that":[76,108,132,229],"the":[77,84,112,121,139,146,155,179,183,187,231],"recently":[78],"proposed":[79],"Compositional":[80],"Programming":[81],"paradigm":[82],"CP":[85,94],"language":[86],"provide":[87],"improved":[88],"support":[89,164],"for":[90,203,247],"DSLs.":[92],"obtain":[96],"new":[98,150,191],"form":[99],"embedding,":[101,107],"which":[102],"call":[104],"compositional":[106,124,162,198,245],"has":[109],"most":[110],"advantages":[113],"both":[115],"On":[120,154],"one":[122],"hand,":[123,157],"enable":[126,230],"forms":[128],"linguistic":[130],"reuse":[131,142],"characteristic":[134],"ability":[140,188],"host-language":[143],"optimizations":[144],"DSL":[147,151,184,202,209],"add":[149,190],"constructs":[152],"easily.":[153,222],"other":[156],"similarly":[158],"definitions":[165],"by":[166],"pattern":[167],"matching":[168],"or":[169,240],"dynamic":[170],"dispatching":[171],"(including":[172],"dependent":[173],"interpretations,":[174],"transformations,":[175],"optimizations)":[177],"over":[178],"abstract":[180],"syntax":[181],"have":[186],"interpretations.":[192],"We":[193],"illustrate":[194],"an":[195],"instance":[196],"document":[204],"authoring":[205],"called":[206],"ExT.":[207],"The":[208,242],"highly":[211],"flexible":[212],"extensible,":[214],"allowing":[215],"users":[216],"create":[218],"non-trivial":[220],"extensions":[221,228],"For":[223],"instance,":[224],"ExT":[225,248],"supports":[226],"production":[232],"wiki-like":[234],"documents,":[235,237],"LaTeX":[236],"vector":[238],"graphics":[239],"charts.":[241],"viability":[243],"evaluated":[250],"three":[252],"applications.":[253]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2023,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}