Modernizing the WebDSL Front-End: A Case Study in SDF3 and Statix

The front-end of a compiler reads the source program and performs analyses such as type checking. The goal of the front-end is to check for the presence of syntactic and semantic errors before the program is passed to the back-end of the compiler for tasks such as optimization and code generation.<br/><br/>WebDSL is a domain-specific language...

Function Inlining as a Language Parametric Refactoring

Refactorings are program transformations that preserve the observable behavior of the program. The refactoring function inlining replaces a function call with the contents of the referenced function definition. To preserve the behavior, properties such as reference relations must be retained and language constructs like 'return' statements must...