{"id":"https://openalex.org/W2095346390","doi":"https://doi.org/10.1145/1960496.1960500","title":"Towards a domain-specific aspect language for dynamic program analysis","display_name":"Towards a domain-specific aspect language for dynamic program analysis","publication_year":2011,"publication_date":"2011-03-21","ids":{"openalex":"https://openalex.org/W2095346390","doi":"https://doi.org/10.1145/1960496.1960500","mag":"2095346390"},"language":"en","primary_location":{"id":"doi:10.1145/1960496.1960500","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1960496.1960500","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the sixth annual workshop on Domain-specific aspect languages","raw_type":"proceedings-article"},"type":"conference-paper","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/A5074152163","display_name":"Walter Binder","orcid":"https://orcid.org/0000-0002-2477-2182"},"institutions":[{"id":"https://openalex.org/I57201433","display_name":"Universit\u00e0 della Svizzera italiana","ror":"https://ror.org/03c4atk17","country_code":"CH","type":"education","lineage":["https://openalex.org/I57201433"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Walter Binder","raw_affiliation_strings":["University of Lugano -- Switzerland","University of Lugano, Switzerland#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Lugano -- Switzerland","institution_ids":["https://openalex.org/I57201433"]},{"raw_affiliation_string":"University of Lugano, Switzerland#TAB#","institution_ids":["https://openalex.org/I57201433"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5070263096","display_name":"Philippe Moret","orcid":"https://orcid.org/0000-0002-3810-2091"},"institutions":[{"id":"https://openalex.org/I57201433","display_name":"Universit\u00e0 della Svizzera italiana","ror":"https://ror.org/03c4atk17","country_code":"CH","type":"education","lineage":["https://openalex.org/I57201433"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Philippe Moret","raw_affiliation_strings":["University of Lugano -- Switzerland","University of Lugano, Switzerland#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Lugano -- Switzerland","institution_ids":["https://openalex.org/I57201433"]},{"raw_affiliation_string":"University of Lugano, Switzerland#TAB#","institution_ids":["https://openalex.org/I57201433"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5086817699","display_name":"Danilo Ansaloni","orcid":null},"institutions":[{"id":"https://openalex.org/I57201433","display_name":"Universit\u00e0 della Svizzera italiana","ror":"https://ror.org/03c4atk17","country_code":"CH","type":"education","lineage":["https://openalex.org/I57201433"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Danilo Ansaloni","raw_affiliation_strings":["University of Lugano -- Switzerland","University of Lugano, Switzerland#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Lugano -- Switzerland","institution_ids":["https://openalex.org/I57201433"]},{"raw_affiliation_string":"University of Lugano, Switzerland#TAB#","institution_ids":["https://openalex.org/I57201433"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5008578175","display_name":"Aibek Sarimbekov","orcid":null},"institutions":[{"id":"https://openalex.org/I57201433","display_name":"Universit\u00e0 della Svizzera italiana","ror":"https://ror.org/03c4atk17","country_code":"CH","type":"education","lineage":["https://openalex.org/I57201433"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Aibek Sarimbekov","raw_affiliation_strings":["University of Lugano -- Switzerland","University of Lugano, Switzerland#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Lugano -- Switzerland","institution_ids":["https://openalex.org/I57201433"]},{"raw_affiliation_string":"University of Lugano, Switzerland#TAB#","institution_ids":["https://openalex.org/I57201433"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5012204872","display_name":"Akira Yokokawa","orcid":null},"institutions":[{"id":"https://openalex.org/I57201433","display_name":"Universit\u00e0 della Svizzera italiana","ror":"https://ror.org/03c4atk17","country_code":"CH","type":"education","lineage":["https://openalex.org/I57201433"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Akira Yokokawa","raw_affiliation_strings":["University of Lugano -- Switzerland","University of Lugano, Switzerland#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Lugano -- Switzerland","institution_ids":["https://openalex.org/I57201433"]},{"raw_affiliation_string":"University of Lugano, Switzerland#TAB#","institution_ids":["https://openalex.org/I57201433"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5074606459","display_name":"\u00c9ric Tanter","orcid":"https://orcid.org/0000-0002-7359-890X"},"institutions":[{"id":"https://openalex.org/I69737025","display_name":"University of Chile","ror":"https://ror.org/047gc3g35","country_code":"CL","type":"education","lineage":["https://openalex.org/I69737025"]}],"countries":["CL"],"is_corresponding":false,"raw_author_name":"\u00c9ric Tanter","raw_affiliation_strings":["University of Chile -- Chile"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Chile -- Chile","institution_ids":["https://openalex.org/I69737025"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"9","last_page":"11"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9998000264167786,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9998000264167786,"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/T10260","display_name":"Software Engineering Research","score":0.9994999766349792,"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/T12127","display_name":"Software System Performance and Reliability","score":0.9980999827384949,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.8114601373672485},{"id":"https://openalex.org/keywords/dynamic-program-analysis","display_name":"Dynamic program analysis","score":0.6453805565834045},{"id":"https://openalex.org/keywords/aspect-oriented-programming","display_name":"Aspect-oriented programming","score":0.6320100426673889},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.549578070640564},{"id":"https://openalex.org/keywords/program-analysis","display_name":"Program analysis","score":0.5365564823150635},{"id":"https://openalex.org/keywords/dynamic-programming","display_name":"Dynamic programming","score":0.5045188665390015},{"id":"https://openalex.org/keywords/domain-specific-language","display_name":"Domain-specific language","score":0.4903166592121124},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.47854524850845337},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.47554513812065125},{"id":"https://openalex.org/keywords/point","display_name":"Point (geometry)","score":0.4475473165512085},{"id":"https://openalex.org/keywords/domain-analysis","display_name":"Domain analysis","score":0.4357772469520569},{"id":"https://openalex.org/keywords/functional-programming","display_name":"Functional programming","score":0.4237232506275177},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.40530508756637573},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3957999348640442},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.31627172231674194},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.12324464321136475},{"id":"https://openalex.org/keywords/software-construction","display_name":"Software construction","score":0.09258133172988892}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8114601373672485},{"id":"https://openalex.org/C140006998","wikidata":"https://www.wikidata.org/wiki/Q2499307","display_name":"Dynamic program analysis","level":3,"score":0.6453805565834045},{"id":"https://openalex.org/C60051680","wikidata":"https://www.wikidata.org/wiki/Q30267","display_name":"Aspect-oriented programming","level":3,"score":0.6320100426673889},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.549578070640564},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.5365564823150635},{"id":"https://openalex.org/C37404715","wikidata":"https://www.wikidata.org/wiki/Q380679","display_name":"Dynamic programming","level":2,"score":0.5045188665390015},{"id":"https://openalex.org/C135257023","wikidata":"https://www.wikidata.org/wiki/Q691358","display_name":"Domain-specific language","level":2,"score":0.4903166592121124},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.47854524850845337},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.47554513812065125},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.4475473165512085},{"id":"https://openalex.org/C15708719","wikidata":"https://www.wikidata.org/wiki/Q2271801","display_name":"Domain analysis","level":5,"score":0.4357772469520569},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.4237232506275177},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.40530508756637573},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3957999348640442},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.31627172231674194},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.12324464321136475},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.09258133172988892},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1960496.1960500","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1960496.1960500","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the sixth annual workshop on Domain-specific aspect languages","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.5,"id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W4015096","https://openalex.org/W1514258760","https://openalex.org/W2019380005","https://openalex.org/W2029414465","https://openalex.org/W2082783448","https://openalex.org/W2119151382","https://openalex.org/W2126713873","https://openalex.org/W2136033258","https://openalex.org/W2136034396","https://openalex.org/W2136133803","https://openalex.org/W2139359193","https://openalex.org/W2143238865","https://openalex.org/W2146063201","https://openalex.org/W2146252952","https://openalex.org/W2154199228","https://openalex.org/W2155079805","https://openalex.org/W2161003457","https://openalex.org/W3161455369","https://openalex.org/W4254691308","https://openalex.org/W6600156937"],"related_works":["https://openalex.org/W2146279349","https://openalex.org/W3111646971","https://openalex.org/W156394931","https://openalex.org/W2602088491","https://openalex.org/W2170429374","https://openalex.org/W2901225818","https://openalex.org/W2354798339","https://openalex.org/W2183906222","https://openalex.org/W2133018212","https://openalex.org/W4233485004"],"abstract_inverted_index":{"Despite":[0],"the":[1,11,48,88],"increasing":[2],"importance":[3],"of":[4,91],"dynamic":[5,17,28,63,78,95],"analysis":[6,18,64,80,96],"in":[7,52,81],"modern":[8],"software":[9],"engineering,":[10],"basic":[12],"abstractions":[13],"used":[14],"to":[15,83],"develop":[16],"tools":[19,97],"have":[20],"not":[21,58],"significantly":[22],"improved":[23],"for":[24,62,77,87],"long":[25],"time.":[26],"Developing":[27],"analyses":[29],"with":[30],"low-level":[31],"instrumentation":[32],"techniques":[33],"is":[34],"error-prone":[35],"and":[36,93],"time":[37],"consuming,":[38],"whereas":[39],"high-level":[40],"approaches":[41],"using":[42],"aspect-oriented":[43],"programming":[44],"limit":[45],"expressiveness,":[46],"because":[47],"join":[49],"point":[50],"model":[51],"current":[53],"general-purpose":[54],"aspect":[55,75],"languages":[56],"has":[57],"been":[59],"especially":[60],"designed":[61],"tasks.":[65],"In":[66],"this":[67],"position":[68],"paper,":[69],"we":[70],"promote":[71],"a":[72],"new":[73,85],"domainspecific":[74],"language":[76],"program":[79],"order":[82],"provide":[84],"foundations":[86],"productive":[89],"development":[90],"flexible":[92],"efficient":[94]},"counts_by_year":[{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":4}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}