Liquid types for array invariant synthesis

DOI10.1007/978-3-319-68167-2_20MaRDI QIDQ5096090zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

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

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)