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

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

Show other versions (2)

Bibliographic Details
Main Authors:	Ong, C, Ramsay, S
Format:	Conference item
Published:	2011

Similar Items

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

Verifying Higher-Order Functional Programs with Pattern-Matching Algebraic Data Types
by: Ong, C, et al.
Published: (2011)

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

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

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

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

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

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

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

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

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

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

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

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

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

Verifying data integrity of influenza genome database
by: Ong, Tse Yin
Published: (2018)

Formally Verifying Imperative Programs
by: Correia, J, et al.
Published: (2007)

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

Type−Directed Weaving of Aspects for Higher−order Functional Languages
by: Wang, M, et al.
Published: (2015)

Intersection types and higer-order model checking
by: Ramsay, S, et al.
Published: (2014)

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

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

Verifiable coded computation of multiple functions
by: Kim, Wilton, et al.
Published: (2024)

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

𝜆ₛ: computable semantics for differentiable programming with higher-order functions and datatypes
by: Sherman, Benjamin, et al.
Published: (2021)

Strictness Analysis for Higher Order Functions
by: Burn, G, et al.
Published: (1986)

Learning higher-order logic programs
by: Cropper, A, et al.
Published: (2019)

Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints
by: Yang, H, et al.
Published: (2016)

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

Higher algebra /
by: 302256 Hasse, Helmut
Published: (1954)

Trigger Selection Strategies to Stabilize Program Verifiers
by: Leino, K. Rustan M., et al.
Published: (2021)

Trigger Selection Strategies to Stabilize Program Verifiers
by: Leino, K. Rustan M., et al.
Published: (2016)

Algebra of Programming using Dependent Types
by: Mu, S, et al.
Published: (2008)

Intensional type theory for higher-order contingentism
by: Fritz, P
Published: (2015)

Causal types for higher-order quantum theory
by: Simmons, W
Published: (2024)

Higher−Order Functions and Structured Datatypes
by: Benedikt, M, et al.
Published: (2012)

Higher-order mentalising and executive functioning
by: Launay, J, et al.
Published: (2015)

Verifying quantitative reliability for programs that execute on unreliable hardware
by: Misailovic, Sasa, et al.
Published: (2015)

Verifying information flow and metaprogramming in dynamically typed languages
by: Lester, M
Published: (2015)

Verifying information flow and metaprogramming in dynamically typed languages
by: Lester, M
Published: (2015)