Dependent Array Type Inference from Tests

DOI10.1007/978-3-662-46081-8_23zbMath1432.68078OpenAlexW2142800636MaRDI QIDQ5172655

He Zhu, Suresh Jagannathan, Aditya V. Nori

Publication date: 4 February 2015

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-46081-8_23

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

ICE-based refinement type discovery for higher-order functional programs

This page was built for publication: Dependent Array Type Inference from Tests