V. Dort, O. Lhoták:
Reference Mutability for DOT, in Proceedings of 34th European Conference on Object-Oriented Programming, 2020
ISBN: 978-3-95977-154-2, DOI: 10.4230/LIPIcs.ECOOP.2020.18
V. Dort, O. Lhoták:
Reference mutability for DOT – roDOT definitions and proofs, Technical report no. D3S-TR-2020-01, Department of Distributed and Dependable Systems, Charles University, 2020
M. Kellogg, V. Dort, S. Millstein, M. Ernst:
Lightweight verification of array indexing, in Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2018, pp. 3-14, 2018
ISBN: 978-1-4503-5699-2, DOI: 10.1145/3213846.3213849