Extending Liquid Types to Arrays
From MaRDI portal
Publication:5121265
DOI10.1145/3362740zbMath1446.68096WikidataQ126317505 ScholiaQ126317505MaRDI QIDQ5121265
Susana Nieva, Clara Segura, Manuel Montenegro, Ricardo Peña
Publication date: 11 September 2020
Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/3362740
03B70: Logic in computer science
68Q60: Specification and verification (program logics, model checking, etc.)
03B38: Type theory