research
∙
09/12/2023
Online Name-Based Navigation for Software Meta-languages
Software language design and implementation often involve specifications...
share
research
∙
03/06/2023
Using Spoofax to Support Online Code Navigation
Spoofax is a language workbench. A Spoofax language specification genera...
research
∙
07/22/2021
Fundamental Constructs in Programming Languages
Specifying the semantics of a programming language formally can have man...
research
∙
12/23/2019
