Alex Potanin

Available identifiers

zbMath Open potanin.alexMaRDI QIDQ532425

List of research outcomes

Publication	Date of Publication	Type
Flexible Correct-by-Construction Programming	2023-08-26	Paper
Information Flow Control-by-Construction for an Object-Oriented Language	2023-08-04	Paper
Traits: correctness-by-construction for free	2022-08-19	Paper
Syntactically restricting bounded polymorphism for decidable subtyping	2021-07-08	Paper
Formalisation and implementation of an algorithm for bytecode verification of \(\@\)NonNull types	2011-05-04	Paper
Featherweight generic confinement	2007-03-08	Paper

Research outcomes over time

This page was built for person: Alex Potanin