Invariant Generation for Parametrized Systems Using Self-reflection - (Extended Version)
No abstract available.
Related papers
- Relational Parametricity and Units of Measure POPL 1997
- Parametric Polymorphism for Java: A Reflective Solution OOPSLA 1998
- A relationally parametric model of dependent type theory POPL 2014
- Debugging Optimized Code with Dynamic Deoptimization PLDI 1992
- Design and Implementation of Generics for the .NET Common Language Runtime PLDI 2001
- Self Reflection for Adaptive Programming GPCE 2002
- Checking Deadlock-Freedom of Parametric Component-Based Systems TACAS 2019
- Self-inferencing Reflection Resolution for Java ECOOP 2014