545 search results - page 11 / 109 » Recursive logic frames |
76
Voted
INFORMATICASI
2000
15 years 5 months ago
2000
138
Voted
JMLR
2006
15 years 5 months ago
2006
In this paper, we propose a new representation for physical control
152
Voted
POPL
2010
ACM
16 years 3 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...
177
click to vote
ICALP
2005
Springer
15 years 11 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...
182
Voted
TYPES
2000
Springer
15 years 9 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...