{"id":"https://openalex.org/W2057769803","doi":"https://doi.org/10.1145/2491411.2492404","title":"A framework for defining the dynamic semantics of DSLs","display_name":"A framework for defining the dynamic semantics of DSLs","publication_year":2013,"publication_date":"2013-08-18","ids":{"openalex":"https://openalex.org/W2057769803","doi":"https://doi.org/10.1145/2491411.2492404","mag":"2057769803"},"language":"en","primary_location":{"id":"doi:10.1145/2491411.2492404","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2491411.2492404","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering","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/A5006128416","display_name":"Ulyana Tikhonova","orcid":null},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Ulyana Tikhonova","raw_affiliation_strings":["Eindhoven University of Technology, Netherlands","Eindhoven University of Technology, Netherlands,"],"affiliations":[{"raw_affiliation_string":"Eindhoven University of Technology, Netherlands","institution_ids":["https://openalex.org/I83019370"]},{"raw_affiliation_string":"Eindhoven University of Technology, Netherlands,","institution_ids":["https://openalex.org/I83019370"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5006128416"],"corresponding_institution_ids":["https://openalex.org/I83019370"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.16512504,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"735","last_page":"738"},"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.9995999932289124,"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.9995999932289124,"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/T10142","display_name":"Formal Methods in Verification","score":0.9980000257492065,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9955999851226807,"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/computer-science","display_name":"Computer science","score":0.8273801803588867},{"id":"https://openalex.org/keywords/digital-subscriber-line","display_name":"Digital subscriber line","score":0.7947181463241577},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6726431846618652},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.6314172148704529},{"id":"https://openalex.org/keywords/bridging","display_name":"Bridging (networking)","score":0.5638886094093323},{"id":"https://openalex.org/keywords/domain-specific-language","display_name":"Domain-specific language","score":0.4803137183189392},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4361156225204468},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.4193843603134155}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8273801803588867},{"id":"https://openalex.org/C201374245","wikidata":"https://www.wikidata.org/wiki/Q104534","display_name":"Digital subscriber line","level":2,"score":0.7947181463241577},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6726431846618652},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.6314172148704529},{"id":"https://openalex.org/C174348530","wikidata":"https://www.wikidata.org/wiki/Q188635","display_name":"Bridging (networking)","level":2,"score":0.5638886094093323},{"id":"https://openalex.org/C135257023","wikidata":"https://www.wikidata.org/wiki/Q691358","display_name":"Domain-specific language","level":2,"score":0.4803137183189392},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4361156225204468},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.4193843603134155},{"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},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1145/2491411.2492404","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2491411.2492404","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering","raw_type":"proceedings-article"},{"id":"pmh:oai:pure.tue.nl:openaire_cris_publications/aff70a12-fe75-440a-8eab-fa64941cedac","is_oa":false,"landing_page_url":"https://research.tue.nl/en/publications/aff70a12-fe75-440a-8eab-fa64941cedac","pdf_url":null,"source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e Research Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Tikhonova, U 2013, A framework for defining the dynamic semantics of DSLs. in Doctoral Symposium Track of the 9th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2013), Saint Petersburg, Russia, August 18-26, 2013. Association for Computing Machinery, Inc., New York, pp. 735-738. https://doi.org/10.1145/2491411.2492404","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:760069","is_oa":false,"landing_page_url":"http://library.tue.nl/csp/dare/LinkToRepository.csp?recordnumber=760069","pdf_url":null,"source":{"id":"https://openalex.org/S4406923046","display_name":"TU/e Research Portal (Eindhoven University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""},{"id":"pmh:oai:library.tue.nl:760069","is_oa":false,"landing_page_url":"http://repository.tue.nl/760069","pdf_url":null,"source":{"id":"https://openalex.org/S4406923046","display_name":"TU/e Research Portal (Eindhoven University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""},{"id":"pmh:tue:oai:pure.tue.nl:publications/aff70a12-fe75-440a-8eab-fa64941cedac","is_oa":false,"landing_page_url":"https://research.tue.nl/nl/publications/aff70a12-fe75-440a-8eab-fa64941cedac","pdf_url":null,"source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Doctoral Symposium Track of the 9th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2013), Saint Petersburg, Russia, August 18-26, 2013, 735 - 738","raw_type":"info:eu-repo/semantics/conferencepaper"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":14,"referenced_works":["https://openalex.org/W644631732","https://openalex.org/W1493829117","https://openalex.org/W1523204506","https://openalex.org/W1530733469","https://openalex.org/W1556900989","https://openalex.org/W1564787711","https://openalex.org/W1971486022","https://openalex.org/W2007809070","https://openalex.org/W2008379880","https://openalex.org/W2118229393","https://openalex.org/W2131586138","https://openalex.org/W2162354236","https://openalex.org/W2304821383","https://openalex.org/W2343157681"],"related_works":["https://openalex.org/W2109776807","https://openalex.org/W2119542776","https://openalex.org/W2014596857","https://openalex.org/W2582410692","https://openalex.org/W2140083133","https://openalex.org/W1485300234","https://openalex.org/W2258960507","https://openalex.org/W2097052821","https://openalex.org/W1981826665","https://openalex.org/W2460228634"],"abstract_inverted_index":{"In":[0],"this":[1,64],"research":[2],"abstract":[3],"we":[4],"describe":[5],"our":[6],"project":[7,51],"on":[8],"a":[9,55],"common":[10],"reference":[11],"framework":[12,20],"for":[13,23,32,66],"defining":[14,24],"domain":[15],"specific":[16],"languages":[17],"(DSLs).":[18],"The":[19,47],"is":[21],"meant":[22],"the":[25,34,38,50,75],"dynamic":[26,57],"semantics":[27,58],"of":[28,49,70],"DSLs":[29,76],"and":[30,45,61],"allows":[31],"mapping":[33],"DSL":[35,56],"definition":[36,59,65],"to":[37,53,62],"various":[39,71],"platforms,":[40,72],"such":[41],"as":[42],"verification,":[43],"validation":[44],"simulation.":[46],"objectives":[48],"are":[52],"make":[54],"explicit":[60],"use":[63],"bridging":[67],"technological":[68],"diversity":[69],"used":[73],"in":[74],"development.":[77]},"counts_by_year":[],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}