Verifying higher-order functional programs with pattern-matching algebraic data types

CHL Ong, SJ Ramsay - ACM SIGPLAN Notices, 2011 - dl.acm.org
Type-based model checking algorithms for higher-order recursion schemes have recently
emerged as a promising approach to the verification of functional programs. We introduce …
被引用次数：142 相关文章

Verifying higher-order functional programs with pattern-matching algebraic data types

C Ong, S Ramsay - Conference Record of the Annual ACM …, 2010 - ora.ox.ac.uk
Type-based model checking algorithms for higher-order recursion schemes have recently
emerged as a promising approach to the verification of functional programs. We introduce …

Verifying higher-order functional programs with pattern matching algebraic data types

L Ong, S Ramsay - POPL'11 Proceedings of the 38th …, 2011 - research-information.bris.ac.uk
Type-based model checking algorithms for higher-order recursion schemes have recently
emerged as a promising approach to the verification of functional programs. We introduce …
[PDF] ox.ac.uk

[PDF][PDF] Verifying Higher-Order Functional Programs with Pattern-Matching Algebraic Data Types

CHL Ong, SJ Ramsay - 2011 - qmac.ox.ac.uk
Type-based model checking algorithms for higher-order recursion schemes have recently
emerged as a promising approach to the verification of functional programs. We introduce …
[PDF] warwick.ac.uk

[PDF][PDF] Verifying Higher-Order Functional Programs with Pattern-Matching Algebraic Data Types

CHL Ong, SJ Ramsay - 2011 - warwick.ac.uk
Type-based model checking algorithms for higher-order recursion schemes have recently
emerged as a promising approach to the verification of functional programs. We introduce …

Verifying higher-order functional programs with pattern-matching algebraic data types

CHL Ong, SJ Ramsay - ACM SIGPLAN Notices, 2011 - cir.nii.ac.jp
抄録< jats: p> Type-based model checking algorithms for higher-order recursion schemes
have recently emerged as a promising approach to the verification of functional programs …
[PDF] ox.ac.uk

[PDF][PDF] Verifying Higher− Order Functional Programs with Pattern Matching Algebraic Data Types

L Ong - 2011 - cs.ox.ac.uk
Type-based model checking algorithms for higher-order recursion schemes have recently
emerged as a promising approach to the verification of functional programs. We introduce …

Verifying higher-order functional programs with pattern-matching algebraic data types

CHL Ong, SJ Ramsay - Proceedings of the 38th annual ACM SIGPLAN …, 2011 - dl.acm.org
Type-based model checking algorithms for higher-order recursion schemes have recently
emerged as a promising approach to the verification of functional programs. We introduce …
[PDF] psu.edu

[PDF][PDF] Verifying Higher-Order Functional Programs with Pattern-Matching Algebraic Data Types

CHL Ong, SJ Ramsay - 2011 - Citeseer
Type-based model checking algorithms for higher-order recursion schemes have recently
emerged as a promising approach to the verification of functional programs. We introduce …

[引用][C] Verifying Higher-Order Functional Programs with Pattern-Matching Algebraic Data Types

CHL ONG, SJ RAMSAY - ACM SIGPLAN notices, 2011 - pascal-francis.inist.fr
Verifying Higher-Order Functional Programs with Pattern-Matching Algebraic Data Types
CNRS Inist Pascal-Francis CNRS Pascal and Francis Bibliographic Databases Simple …