The following pages link to Alex Potanin (Q532425):
Displaying 5 items.
- Formalisation and implementation of an algorithm for bytecode verification of \(\@\)NonNull types (Q532427) (← links)
- Syntactically restricting bounded polymorphism for decidable subtyping (Q2038076) (← links)
- Traits: correctness-by-construction for free (Q2165220) (← links)
- Featherweight generic confinement (Q3426137) (← links)
- Flexible Correct-by-Construction Programming (Q6135766) (← links)
