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
Education
Teaching
Thesis Projects
Events
Vacancies
Contact
Pierre Néron
Latest
A constraint language for static semantic analysis based on scope graphs
A theory of name resolution
DynSem: A DSL for dynamic semantics specification
Cite
×