Using Recursive Types to Reason about Hardware in Higher Order Logic

Using Recursive Types to Reason about Hardware in Higher Order Logic

Show other versions (1)

Bibliographic Details
Main Author:	Melham, T
Format:	Report
Published:	Computer Laboratory‚ University of Cambridge 1988

Similar Items

Using Recursive Types to Reason about Hardware in Higher Order Logic
by: Melham, T
Published: (1988)

Automating Recursive Type Definitions in Higher Order Logic
by: Melham, T
Published: (1988)

Automating Recursive Type Definitions in Higher Order Logic
by: Melham, T
Published: (1989)

Higher Order Logic and Hardware Verification
by: Melham, T
Published: (1993)

Hardware Verification using Higher−Order Logic
by: Camilleri, A, et al.
Published: (1987)

Hardware Verification using Higher−Order Logic
by: Camilleri, A, et al.
Published: (1986)

Formalizing Abstraction Mechanisms for Hardware Verification in Higher Order Logic
by: Melham, T
Published: (1989)

Translating Dependent Type Theory into Higher Order Logic
by: Jacobs, B, et al.
Published: (1993)

Some Research Issues in Higher Order Logic Theorem Proving
by: Melham, T
Published: (1996)

Logical Reasoning for Higher-Order Functions with Local State
by: Nobuko Yoshida, et al.
Published: (2008-10-01)

Concrete categories and higher-order recursion
by: Matache, C, et al.
Published: (2022)

Linearity in higher-order recursion schemes
by: Clairambault, P, et al.
Published: (2017)

Semantics of Higher-Order Recursion Schemes
by: Jiri Adamek, et al.
Published: (2011-04-01)

Concrete sheaf models of higher-order recursion
by: Matache, C
Published: (2022)

Logic, sets, and recursion /
by: 332434 Causey, Robert L.
Published: (2006)

On the Termination Problem for Probabilistic Higher-Order Recursive Programs
by: Naoki Kobayashi, et al.
Published: (2020-10-01)

IO vs OI in Higher-Order Recursion Schemes
by: Axel Haddad
Published: (2012-02-01)

A logic for reasoning about ambiguity
by: Halpern, J, et al.
Published: (2014)

Recursion Schemes and Logical Reflection
by: Broadbent, C, et al.
Published: (2010)

Recursion Schemes and Logical Reflection
by: Broadbent, C, et al.
Published: (2010)

Recursive resolution for modal logic
by: Kazakov, Y
Published: (2002)

The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types
by: Ranald Clouston, et al.
Published: (2017-04-01)

On Global Model Checking Trees Generated by Higher−Order Recursion Schemes
by: Broadbent, C, et al.
Published: (2009)

A type system equivalent to the modal Mu-calculus model checking of higher-order recursion schemes
by: Kobayashi, N, et al.
Published: (2009)

The HOL Logic Extended with Quantification over Type Variables
by: Melham, T
Published: (1994)

The HOL Logic Extended with Quantification over Type Variables
by: Melham, T
Published: (1993)

Abstraction Mechanisms for Hardware Verification
by: Melham, T
Published: (1988)

Abstraction Mechanisms for Hardware Verification
by: Melham, T
Published: (1990)

Abstraction Mechanisms for Hardware Verification
by: Melham, T
Published: (1987)

Semantics of Separation−logic Typing and Higher−order Frame Rules
by: Birkedal, L, et al.
Published: (2005)

Recursive Decomposition Ordering and Multiset Orderings
by: Jouannaud, Jean-Pierre, et al.
Published: (2023)

Reasoning about Knowledge in Linear Logic: Modalities and Complexity
by: Marion, M, et al.
Published: (2004)

Contributions to higher recursion theory
by: Marcus, Sherry Elizabeth, 1966-
Published: (2005)

Hardware verification using software analyzers
by: Mukherjee, R, et al.
Published: (2015)

On an interpretation of safe recursion in light affine logic
by: Murawski, A, et al.
Published: (2004)

Recursion Schemes, the MSO Logic, and the U quantifier
by: Paweł Parys
Published: (2020-02-01)

DECISION PROBLEMS AND RECURSIVENESS IN FORMAL LOGIC SYSTEMS
by: Iveth Martínez, et al.
Published: (2017-04-01)

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

Logic analyzer : hardware /
by: 378106 Mashitah Ismail, et al.
Published: (2004)

An encapsulated authentication logic for reasoning about key distribution protocols
by: Cervesato, I, et al.
Published: (2005)