Isaac Oscar Gariano, Marco Servetto, Alex Potanin. Using capabilities for strict runtime invariant checking. Science of Computer Programming, 224:102878, 2022. [doi]
@article{GarianoSP22, title = {Using capabilities for strict runtime invariant checking}, author = {Isaac Oscar Gariano and Marco Servetto and Alex Potanin}, year = {2022}, doi = {10.1016/j.scico.2022.102878}, url = {https://doi.org/10.1016/j.scico.2022.102878}, researchr = {https://researchr.org/publication/GarianoSP22}, cites = {0}, citedby = {0}, journal = {Science of Computer Programming}, volume = {224}, pages = {102878}, }