V. Dort, Y. Li, O. Lhoták, P. Parízek:
Pure Methods for roDOT, in 38th European Conference on Object-Oriented Programming (ECOOP 2024), pp. 13:1-13:29, 2024
DOI: 10.4230/LIPICS.ECOOP.2024.13
Pure Methods for roDOT, in 38th European Conference on Object-Oriented Programming (ECOOP 2024), pp. 13:1-13:29, 2024
DOI: 10.4230/LIPICS.ECOOP.2024.13
V. Dort, L. Yufeng, O. Lhoták, P. Parízek:
Pure methods for roDOT (an extended version), Technical report no. D3S-TR-2024-01, Department of Distributed and Dependable Systems, Charles University, 2024
Pure methods for roDOT (an extended version), Technical report no. D3S-TR-2024-01, Department of Distributed and Dependable Systems, Charles University, 2024
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
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
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
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