On-Demand Refinement of Dependent Types

DOI10.1007/978-3-540-78969-7_8zbMath1137.68358OpenAlexW4206095045MaRDI QIDQ5458429

Naoki Kobayashi, Hiroshi Unno

Publication date: 11 April 2008

Published in: Functional and Logic Programming (Search for Journal in Brave)

Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.722.8731

Mathematics Subject Classification ID

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

Related Items (1)

Parameterized recursive refinement types for automated program verification

This page was built for publication: On-Demand Refinement of Dependent Types