545 search results - page 11 / 109 » Recursive logic frames |
INFORMATICASI
2000
13 years 10 months ago
2000
JMLR
2006
13 years 10 months ago
2006
In this paper, we propose a new representation for physical control
POPL
2010
ACM
14 years 8 months ago
2010
ACM
This paper introduces a new recursion principle for inductive data modulo -equivalence of bound names. It makes use of Oderskystyle local names when recursing over bound names. It...
ICALP
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. We present a Hoare logic for a simple imperative whilelanguage with stored commands, ie. stored parameterless procedures. Stores that may contain procedures are called hi...
TYPES
2000
Springer
14 years 2 months ago
2000
Springer
We report on the design of a prototyping component for the theorem prover Isabelle/HOL. Specifications consisting of datatypes, recursive functions and inductive definitions are co...