The following pages link to (Q2754051):
Displaying 8 items.
- Towards verification of C\(\#\) programs: a three-level approach (Q885853) (← links)
- An extensible encoding of object-oriented data models in HOL. With an application to IMP++ (Q1040775) (← links)
- Coalgebras and monads in the semantics of Java (Q1853752) (← links)
- Verified software units (Q2233451) (← links)
- Modeling inheritance as coercion in a symbolic computation system (Q2958920) (← links)
- (Q3992826) (← links)
- A Set-Theoretical Approach for the Induction of Inheritance Hierarchies (Q4923573) (← links)
- Characteristic formulae for liveness properties of non-terminating CakeML programs (Q5875446) (← links)