C-SHORe: A Collapsible Approach to Higher-Order Verification (2013)

First Author: C. Broadbent, A. Carayol, M. Hague And O. Serre
Attributed to:  Verification of Concurrent and Higher-Order Recursive Programs funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: http://pure.rhul.ac.uk/portal/en/publications/cshore-a-collapsible-approach-to-verifying-higherorder-programs(9b5caff7-efb6-44a3-98ae-4ba29cbb6cc9).html

Type: Conference/Paper/Proceeding/Abstract

Volume: n/a

Parent Publication: International Conference on Functional Programming (ICFP)