Liquid types for array invariant synthesis

DOI10.1007/978-3-319-68167-2_20zbMATH Open1495.68138OpenAlexW2759434055MaRDI QIDQ5096090FDOQ5096090

Authors: Manuel Montenegro, Susana Nieva, Clara Segura, Ricardo Peña 

Publication date: 12 August 2022

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-68167-2_20

Recommendations

• Extending liquid types to arrays
• Low-level liquid types
• Dependent array type inference from tests
• Refinement types for Haskell
• Type Reconstruction for General Refinement Types

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70) Functional programming and lambda calculus (68N18)

Cited In (3)

• Dependent array type inference from tests
• Extending liquid types to arrays
• Low-level liquid types

This page was built for publication: Liquid types for array invariant synthesis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5096090)