Towards a One-Stop-Shop for Analysis, Transformation and Visualization of Software
No abstract available.
Related papers
- A Language Designer's Workbench: A One-Stop-Shop for Implementation and Verification of Language Designs Onward! 2014
- Job-Shop Scheduling Using Timed Automata CAV 2001
- Preemptive Job-Shop Scheduling Using Stopwatch Automata TACAS 2002
- Constraints to Stop Higher-Order Deforestation POPL 1997
- We should stop claiming generality in our domain-specific language papers (extended abstract) Onward! 2018
- Monadic Parsing in Haskell JFP 1998
- Automating Object Transformations for Dynamic Software Updating via Online Execution Synthesis ECOOP 2018
- A transformational approach to data visualization GPCE 2014