Model Checking Recursive Programs with Numeric Data Types

Model Checking Recursive Programs with Numeric Data Types

Bibliographic Details
Main Authors:	Hague, M, Lin, A
Format:	Conference item
Published:	2011

Similar Items

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

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

Saturation Methods for Global Model−Checking Pushdown Systems
by: Hague, M
Published: (2009)

Saturation methods for global model-checking pushdown systems
by: Hague, M
Published: (2009)

Automata‚ Model Checking and Synthesis for Linear Time Temporal Logics
by: Hague, M
Published: (2006)

The Complexity of Model Checking (Collapsible) Higher−Order Pushdown Systems
by: Hague, M, et al.
Published: (2010)

Games for recursive types
by: Abramsky, S, et al.
Published: (1995)

BOOM: Taking Boolean program model checking one step further
by: Basler, G, et al.
Published: (2010)

Collapsible pushdown automata and recursion schemes
by: Hague, M, et al.
Published: (2017)

Collapsible pushdown automata and recursion schemes
by: Hague, M, et al.
Published: (2008)

On learning polynomial recursive programs
by: Buna-Marginean, A, et al.
Published: (2024)

Recursive Data Structures
by: Hoare, C
Published: (1975)

Tabulation Techniques for Recursive Programs
by: Bird, R
Published: (1980)

Improving Programs by the Introduction of Recursion
by: Bird, R
Published: (1977)

Proof of a Recursive Program: Quicksort
by: Foley, M, et al.
Published: (1971)

Stable recursions : with applications to the numerical solution to stiff systems /
by: 239720 Cash, J. R.
Published: (1979)

Type Checking in Vimval
by: Kuszmaul, Bradley C.
Published: (2023)

Rank 2 Type Systems and Recursive Definitions*
by: Jim, Trevor
Published: (2023)

Rank 2 Type Systems and Recursive Definitions
by: Jim, Trevor
Published: (2023)

Recursive queries on trees and data trees
by: Abiteboul, S, et al.
Published: (2013)

Coinduction for recursive data types: Partial orders, metric spaces and Ω-categories
by: Worrell, J
Published: (2000)

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

Recursed is not recursive: A jarring result
by: Demaine, ED, et al.
Published: (2022)

On recursion
by: Watumull, Jeffrey, et al.
Published: (2014)

Numerous recursive sites contribute to accuracy of splicing in long introns in flies
by: Adelman, Karen, et al.
Published: (2018)

Symbolic model checking for asynchronous Boolean programs
by: Cook, B, et al.
Published: (2005)

AI models collapse when trained on recursively generated data
by: Shumailov, I, et al.
Published: (2024)

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

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

Type inference and strong static type checking for Promela
by: Donaldson, A, et al.
Published: (2010)

Robust MPC with recursive model update
by: Lorenzen, M, et al.
Published: (2019)

Multiscale recursive estimation, data fusion, and regularization
Published: (2003)

Model checking /
by: Clarke, E. M., 1945-, et al.
Published: (1999)

Pluggable type-checking for custom type qualifiers in Java
by: Papi, Matthew M., et al.
Published: (2007)

Termination Assertions for Recursive Programs: Completeness and Axiomatic Definability
by: Meyer, Albert R., et al.
Published: (2023)

Model checking data-independent systems with arrays
by: Newcomb, T, et al.
Published: (2003)

Pipelined recursive filter : the recursive greedy way of design
by: Ong, Van Vinh
Published: (2015)

On the termination of recursive algorithms in pure first-order functional languages with monomorphic inductive data types
by: Arkoudas, Kostas
Published: (2007)

ISP: A Tool for Model Checking MPI Programs
by: Vakkalanka, S, et al.
Published: (2008)

Primitive Recursion
by: Levin, Michael
Published: (2004)