LoSD
Desenvolvimento de Sistemas Orientado por Linguagens Formais
Language-oriented Software Development
Project
Team
Activities
Publications
Activities
Modular rewriting semantics: Modular semantics for programming languages based on rewriting logic.