Approaches and Tools for Implementing Type Systems in Xtext
No abstract available.
Related papers
- Test-Data Generation for Xtext - Tool Paper SLE 2014
- Xbase: implementing domain-specific languages for Java GPCE 2012
- XMLText: from XML schema to xtext SLE 2015
- AnyText: Incremental, left-recursive Parsing and Pretty-Printing from a single Grammar Definition with first-class LSP support SLE 2025
- Scalability and precision by combining expressive type systems and deductive verification OOPSLA 2021
- Playing Games with Your PET: Extending the Partial Exploration Tool to Stochastic Games CAV 2024
- CN: Verifying Systems C Code with Separation-Logic Refinement Types POPL 2023
- SAW: A Tool for Safety Analysis of Weakly-Hard Systems CAV 2020