The METAFrame'95 Environment
No abstract available.
Related papers
- DFA&OPT-METAFrame: A Tool Kit for Program Analysis and Optimazation TACAS 1996
- Graphs in METAFrame: The Unifying Power of Polymorphism TACAS 1997
- The ASF+SDF Meta-environment: A Component-Based Language Development Environment CC 2001
- Fostering metamodels and grammars within a dedicated environment for HPC: the NabLab environment (tool demo) SLE 2018
- XEVE, an ESTEREL Verification Environment CAV 1998
- Formal Methods in an Industrial Environment CAV 1998
- The Proof Assistant as an Integrated Development Environment APLAS 2013
- Verification Support Environment CAV 1996