Model Checking Recursive Programs with Numeric Data Types

Model Checking Recursive Programs with Numeric Data Types

Библиографические подробности
Главные авторы:	Hague, M, Lin, A
Формат:	Conference item
Опубликовано:	2011

Схожие документы

A type system equivalent to the modal Mu-calculus model checking of higher-order recursion schemes
по: Kobayashi, N, и др.
Опубликовано: (2009)

On Global Model Checking Trees Generated by Higher−Order Recursion Schemes
по: Broadbent, C, и др.
Опубликовано: (2009)

Saturation Methods for Global Model−Checking Pushdown Systems
по: Hague, M
Опубликовано: (2009)

Saturation methods for global model-checking pushdown systems
по: Hague, M
Опубликовано: (2009)

Automata‚ Model Checking and Synthesis for Linear Time Temporal Logics
по: Hague, M
Опубликовано: (2006)

Games for recursive types
по: Abramsky, S, и др.
Опубликовано: (1995)

The Complexity of Model Checking (Collapsible) Higher−Order Pushdown Systems
по: Hague, M, и др.
Опубликовано: (2010)

Collapsible pushdown automata and recursion schemes
по: Hague, M, и др.
Опубликовано: (2017)

BOOM: Taking Boolean program model checking one step further
по: Basler, G, и др.
Опубликовано: (2010)

Induction, recursion and programming /
по: 403876 Mitchell, Wand

Collapsible pushdown automata and recursion schemes
по: Hague, M, и др.
Опубликовано: (2008)

On learning polynomial recursive programs
по: Buna-Marginean, A, и др.
Опубликовано: (2024)

Recursive Data Structures
по: Hoare, C
Опубликовано: (1975)

Tabulation Techniques for Recursive Programs
по: Bird, R
Опубликовано: (1980)

Improving Programs by the Introduction of Recursion
по: Bird, R
Опубликовано: (1977)

Proof of a Recursive Program: Quicksort
по: Foley, M, и др.
Опубликовано: (1971)

Stable recursions : with applications to the numerical solution to stiff systems /
по: 239720 Cash, J. R.
Опубликовано: (1979)

Type Checking in Vimval
по: Kuszmaul, Bradley C.
Опубликовано: (2023)

Rank 2 Type Systems and Recursive Definitions*
по: Jim, Trevor
Опубликовано: (2023)

Rank 2 Type Systems and Recursive Definitions
по: Jim, Trevor
Опубликовано: (2023)

Intersection types and higer-order model checking
по: Ramsay, S, и др.
Опубликовано: (2014)

Recursive queries on trees and data trees
по: Abiteboul, S, и др.
Опубликовано: (2013)

Coinduction for recursive data types: Partial orders, metric spaces and Ω-categories
по: Worrell, J
Опубликовано: (2000)

Recursed is not recursive: A jarring result
по: Demaine, ED, и др.
Опубликовано: (2022)

On recursion
по: Watumull, Jeffrey, и др.
Опубликовано: (2014)

Numerous recursive sites contribute to accuracy of splicing in long introns in flies
по: Adelman, Karen, и др.
Опубликовано: (2018)

Symbolic model checking for asynchronous Boolean programs
по: Cook, B, и др.
Опубликовано: (2005)

AI models collapse when trained on recursively generated data
по: Shumailov, I, и др.
Опубликовано: (2024)

Sets, models and recursion theory
Опубликовано: (1967)

Automating Recursive Type Definitions in Higher Order Logic
по: Melham, T
Опубликовано: (1989)

Automating Recursive Type Definitions in Higher Order Logic
по: Melham, T
Опубликовано: (1988)

Type inference and strong static type checking for Promela
по: Donaldson, A, и др.
Опубликовано: (2010)

Robust MPC with recursive model update
по: Lorenzen, M, и др.
Опубликовано: (2019)

Model checking /
по: Clarke, E. M., 1945-, и др.
Опубликовано: (1999)

Pluggable type-checking for custom type qualifiers in Java
по: Papi, Matthew M., и др.
Опубликовано: (2007)

Multiscale recursive estimation, data fusion, and regularization
Опубликовано: (2003)

Model checking data-independent systems with arrays
по: Newcomb, T, и др.
Опубликовано: (2003)

Pipelined recursive filter : the recursive greedy way of design
по: Ong, Van Vinh
Опубликовано: (2015)

Region Type Checking for Core-Java
по: Chin, Wei Ngan, и др.
Опубликовано: (2003)

On the termination of recursive algorithms in pure first-order functional languages with monomorphic inductive data types
по: Arkoudas, Kostas
Опубликовано: (2007)