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

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

Ցույց տալ այլ տարբերակներ (2)

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 pattern-matching recursion schemes (PMRS) as an accurate model of computation for functional programs that manipulate algebrai...

Ամբողջական նկարագրություն

Մատենագիտական մանրամասներ
Հիմնական հեղինակներ: Ong, C, Ramsay, S
Ձևաչափ: Journal article
Լեզու:English
Հրապարակվել է: 2010
Search Result 2
Verifying Higher-Order Functional Programs with Pattern-Matching Algebraic Data Types

Verifying Higher-Order Functional Programs with Pattern-Matching Algebraic Data Types ‌ Ong, C, Ramsay, S, ACM

Հրապարակվել է 2011
Conference item
Ցույց տալ բոլոր տարբերակները (3)

Նմանատիպ նյութեր