{"id":"https://openalex.org/W4402526480","doi":"https://doi.org/10.1145/3679007.3685061","title":"Imagine There\u2019s No Source Code: Replay Diagnostic Location Information in Dynamic EDSL Meta-programming","display_name":"Imagine There\u2019s No Source Code: Replay Diagnostic Location Information in Dynamic EDSL Meta-programming","publication_year":2024,"publication_date":"2024-09-13","ids":{"openalex":"https://openalex.org/W4402526480","doi":"https://doi.org/10.1145/3679007.3685061"},"language":"en","primary_location":{"id":"doi:10.1145/3679007.3685061","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3679007.3685061","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 21st ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes","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/A5041816400","display_name":"Baltasar Tranc\u00f3n y Widemann","orcid":"https://orcid.org/0009-0005-6799-4155"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Baltasar Tranc\u00f3n y Widemann","raw_affiliation_strings":["TH Brandenburg, Brandenburg a.d. Havel, Germany"],"raw_orcid":"https://orcid.org/0009-0005-6799-4155","affiliations":[{"raw_affiliation_string":"TH Brandenburg, Brandenburg a.d. Havel, Germany","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5038378426","display_name":"Markus Lepper","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Markus Lepper","raw_affiliation_strings":["semantics gGmbH, Berlin, Germany"],"raw_orcid":"https://orcid.org/0000-0002-9120-3908","affiliations":[{"raw_affiliation_string":"semantics gGmbH, Berlin, Germany","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5041816400"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.12979729,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"48","last_page":"54"},"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.9991999864578247,"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.9991999864578247,"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/T10142","display_name":"Formal Methods in Verification","score":0.9973000288009644,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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 Software Engineering Techniques","score":0.996999979019165,"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/computer-science","display_name":"Computer science","score":0.7890026569366455},{"id":"https://openalex.org/keywords/source-code","display_name":"Source code","score":0.6786991357803345},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.5348348617553711},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.49889707565307617},{"id":"https://openalex.org/keywords/dynamic-programming","display_name":"Dynamic programming","score":0.48985692858695984},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.12313258647918701},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.07332479953765869}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7890026569366455},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.6786991357803345},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.5348348617553711},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.49889707565307617},{"id":"https://openalex.org/C37404715","wikidata":"https://www.wikidata.org/wiki/Q380679","display_name":"Dynamic programming","level":2,"score":0.48985692858695984},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.12313258647918701},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.07332479953765869}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3679007.3685061","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3679007.3685061","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 21st ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":10,"referenced_works":["https://openalex.org/W1984478483","https://openalex.org/W2026049208","https://openalex.org/W2101718506","https://openalex.org/W2102222848","https://openalex.org/W2517735510","https://openalex.org/W2914222906","https://openalex.org/W3000240292","https://openalex.org/W3018952282","https://openalex.org/W3033736604","https://openalex.org/W3201887505"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052","https://openalex.org/W2382290278","https://openalex.org/W3081644756"],"abstract_inverted_index":{"Programs":[0],"in":[1,82],"embedded":[2],"domain-specific":[3],"languages":[4],"are":[5],"realized":[6],"as":[7,17],"graphs":[8],"of":[9,11,74,85],"objects":[10],"the":[12,45,72,83,86,92],"host":[13],"language":[14],"rather":[15],"than":[16],"static":[18],"input":[19],"texts.":[20],"This":[21],"property":[22],"enables":[23],"dynamic":[24],"meta-programming,":[25],"but":[26],"also":[27],"makes":[28],"it":[29],"harder":[30],"to":[31,35,57,100,104],"attach":[32],"location":[33,69],"information":[34,70],"diagnostic":[36],"messages":[37],"that":[38],"arise":[39],"at":[40],"a":[41,62],"later":[42],"stage,":[43],"after":[44],"program":[46,76],"graph":[47],"construction.":[48],"Thus,":[49],"EDSL-generating":[50],"expressions":[51],"and":[52,67,103],"algorithms":[53],"can":[54,97],"be":[55,98],"difficult":[56],"debug.":[58],"Here,":[59],"we":[60],"present":[61],"technique":[63],"for":[64],"transparently":[65],"capturing":[66],"replaying":[68],"about":[71],"origin":[73],"EDSL":[75],"objects.":[77],"It":[78],"has":[79],"been":[80],"implemented":[81],"context":[84],"LLJava-live":[87],"EDSL-to-bytecode":[88],"compiler":[89],"framework":[90],"on":[91],"JVM.":[93],"The":[94],"basic":[95],"idea":[96],"generalized":[99],"other":[101],"contexts,":[102],"any":[105],"managed":[106],"runtime":[107],"environment":[108],"with":[109],"reified":[110],"stack":[111],"traces.":[112]},"counts_by_year":[],"updated_date":"2026-05-05T08:41:31.759640","created_date":"2025-10-10T00:00:00"}