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

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

Čájet eará veršuvnnaid (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...

Bibliográfalaš dieđut
Váldodahkkit:	Ong, C, Ramsay, S, ACM
Materiálatiipa:	Conference item
Almmustuhtton:	2011

Geahča maid

Verifying Higher−Order Functional Programs with Pattern Matching Algebraic Data Types
Dahkki: Ong, C, et al.
Almmustuhtton: (2011)

Verifying higher-order functional programs with pattern-matching algebraic data types
Dahkki: Ong, C, et al.
Almmustuhtton: (2010)

Verifying higher-order concurrency with data automata
Dahkki: Dixon, A, et al.
Almmustuhtton: (2021)

Model checking liveness properties of higher-order functional programs
Dahkki: Lester, MM, et al.
Almmustuhtton: (2011)

A Verified Algebra for Linked Data
Dahkki: Ross Horne, et al.
Almmustuhtton: (2011-07-01)

A Verified Algebra for Read-Write Linked Data
Dahkki: Horne, Ross, et al.
Almmustuhtton: (2015)

A type−directed abstraction refinement approach to higher−order model checking
Dahkki: Ramsay, S, et al.
Almmustuhtton: (2014)

Higher-order constrained horn clauses for verification
Dahkki: Cathcart Burn, T, et al.
Almmustuhtton: (2017)

Algebraic Pattern Matching in Join Calculus
Dahkki: Qin Ma, et al.
Almmustuhtton: (2008-03-01)

Higher-Order Associativity in Field Algebras
Dahkki: Namhoon Kim
Almmustuhtton: (2022-12-01)

A Traversal Based Algorithm for Higher−Order Model Checking
Dahkki: Neatherway, R, et al.
Almmustuhtton: (2012)

Decidability of higher-order matching
Dahkki: Colin Stirling
Almmustuhtton: (2009-07-01)

Three-dimensional higher-order Schrödinger algebras and Lie algebra expansions
Dahkki: Oguzhan Kasikci, et al.
Almmustuhtton: (2020-04-01)

Unital versions of the higher order peak algebras
Dahkki: Marcelo Aguiar, et al.
Almmustuhtton: (2009-01-01)

Efficient Enumeration of Higher Order Algebraic Structures
Dahkki: Majid Ali Khan
Almmustuhtton: (2020-01-01)

Verifying data integrity of influenza genome database
Dahkki: Ong, Tse Yin
Almmustuhtton: (2018)

Design patterns as higher-order datatype-generic programs
Dahkki: Gibbons, J
Almmustuhtton: (2006)

Design Patterns as Higher−Order Datatype−Generic Programs
Dahkki: Gibbons, J
Almmustuhtton: (2010)

Design Patterns as Higher−Order Datatype−Generic Programs
Dahkki: Gibbons, J
Almmustuhtton: (2005)

Design Patterns as Higher−Order Datatype−Generic Programs
Dahkki: Gibbons, J
Almmustuhtton: (2005)

Design Patterns as Higher−Order Datatype−Generic Programs
Dahkki: Gibbons, J
Almmustuhtton: (2006)

Perfect Matchings and Cluster Algebras of Classical Type
Dahkki: Gregg Musiker
Almmustuhtton: (2008-01-01)

Verifiable Subgraph Matching With Cryptographic Accumulators in Cloud Computing
Dahkki: Yixiao Zhu, et al.
Almmustuhtton: (2019-01-01)

Formally Verifying Imperative Programs
Dahkki: Correia, J, et al.
Almmustuhtton: (2007)

A Comparison of Simulation Techniques and Algebraic Techniques for Verifying Concurrent Systems
Dahkki: Lynch, Nancy A., et al.
Almmustuhtton: (2023)

Probability matching priors : higher order asymptotics /
Dahkki: 287397 Datta, Gauri Sankar, et al.
Almmustuhtton: (2004)

The higher-order matching polynomial of a graph
Dahkki: Oswaldo Araujo, et al.
Almmustuhtton: (2005-01-01)

Order-Preserving Pattern Matching with Partition
Dahkki: Joong Chae Na, et al.
Almmustuhtton: (2024-10-01)

Multimodal surface matching with higher-order smoothness constraints
Dahkki: Robinson, E, et al.
Almmustuhtton: (2017)

Bismuth : a blockchain-based program for verifying responsible data usage
Dahkki: Erhardt, Keeley Donovan
Almmustuhtton: (2018)

Realizability algebras: a program to well order R
Dahkki: Jean-Louis Krivine
Almmustuhtton: (2011-08-01)

Self-verified extension of affine arithmetic to arbitrary order
Dahkki: Giuseppe Bilotta
Almmustuhtton: (2008-05-01)

Higher algebra /
Dahkki: Kurosh, A. G. (Aleksandr Gennadievich), et al.
Almmustuhtton: (1972)

Higher algebra /
Dahkki: Milne, William P. (William Proctor), 1881-
Almmustuhtton: (1946)

Higher algebra /
Dahkki: 345793 Barnard, Samuel, et al.
Almmustuhtton: (1936)

Higher algebra /
Dahkki: 302256 Hasse, Helmut
Almmustuhtton: (1954)

Higher-order constrained Horn clauses for higher-order program verification
Dahkki: Jochems, J
Almmustuhtton: (2020)

Higher algebra : linear algebra, polynomials, general algebra /
Dahkki: 171673 Mishina, A. P., et al.
Almmustuhtton: (1965)

Order-Preserving Multiple Pattern Matching in Parallel
Dahkki: Somin Park, et al.
Almmustuhtton: (2023-04-01)

Higher order automatic differentiation of higher order functions
Dahkki: Huot, M, et al.
Almmustuhtton: (2022)