Alex Potanin
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Flexible Correct-by-Construction Programming Logical Methods in Computer Science | 2023-08-26 | Paper |
| Information Flow Control-by-Construction for an Object-Oriented Language Software Engineering and Formal Methods | 2023-08-04 | Paper |
| Traits: correctness-by-construction for free (available as arXiv preprint) | 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 Science of Computer Programming | 2011-05-04 | Paper |
| Featherweight generic confinement Journal of Functional Programming | 2007-03-08 | Paper |
Research outcomes over time
This page was built for person: Alex Potanin
