TY  - JOUR
AU  - Montenegro Montes, Manuel
AU  - Nieva Soto, Susana
AU  - Peña Marí, Ricardo Vicente
AU  - Segura Díaz, Clara María
PY  - 2020
DO  - 10.1145/3362740
SN  - 1529-3785
UR  - https://hdl.handle.net/20.500.14352/7066
T2  - ACM Transactions on Computational Logic
AB  - A liquid type is an ordinary Hindley-Milner type annotated with a logical predicate that states the properties satisfied by the elements of that type. Liquid types are a powerful tool for program verification, since programmers can use them to specify...
LA  - eng
M2  - 1
PB  - ACM
KW  - Dependent Types
KW  - Liquid Types
KW  - Invariant Synthesis
KW  - Tipos dependientes
KW  - Tipos Liquid
KW  - Síntesis de Invariantes
TI  - Extending Liquid Types to Arrays
TY  - journal article
VL  - 21
ER  -