SERG
About SERG
Organization
Statistics
Members
Research Lines
Computational Intelligence for Software Engineering
DevOps
Machine Learning for Software Engineering
Software Analytics
Software Engineering for Fintech
Software Quality
Software Reliability for Concurrent and Distributed Systems
Sustainable Software Engineering
Research
Projects
Publications
Tools
Partners
Education
Teaching
Thesis Projects
Events
Vacancies
Contact
DynSem: A DSL for dynamic semantics specification
Vlad Vergu
,
Pierre Néron
,
Eelco Visser
January 2015
Cite
Type
Conference paper
Publication
26th International Conference on Rewriting Techniques and Applications (RTA 2015)
Cite
×