The Eli System
No abstract available.
Related papers
- Debugging Eli-Generated Compilers With Noosa CC 1999
- An Evaluation of an Automatically Generated Compiler TOPLAS 1995
- Rely-Guarantee-Based Simulation for Compositional Verification of Concurrent Program Transformations TOPLAS 2014
- Weighted Pushdown Systems and Trust-Management Systems TACAS 2006
- Partial Model Checking Using Networks of Labelled Transition Systems and Boolean Equation Systems TACAS 2012
- OPTRAN - A Language/System for the Specification of Program Transformations: System Overview and Experiences CC 1988
- Temporal-Logic Based Runtime Observer Pairs for System Health Management of Real-Time Systems TACAS 2014
- A Formally Verified Hybrid System for the Next-Generation Airborne Collision Avoidance System TACAS 2015