Marco Servetto
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 |
|---|---|---|
| Information Flow Control-by-Construction for an Object-Oriented Language Software Engineering and Formal Methods | 2023-08-04 | Paper |
| A syntactic model of mutation and aliasing (available as arXiv preprint) | 2022-05-12 | Paper |
| A syntactic model of mutation and aliasing | 2022-05-12 | Paper |
| Flexible recovery of uniqueness and immutability Theoretical Computer Science | 2019-03-13 | Paper |
| Flexible recovery of uniqueness and immutability Theoretical Computer Science | 2019-03-13 | Paper |
| An imperative pure calculus | 2016-08-05 | Paper |
| Aliasing Control in an Imperative Pure Calculus Programming Languages and Systems | 2016-01-08 | Paper |
| Featherweight Jigsaw. Replacing inheritance by composition in Java-like languages Information and Computation | 2012-05-24 | Paper |
Research outcomes over time
This page was built for person: Marco Servetto
