97 search results - page 3 / 20 » The Higher-Order Recursive Path Ordering |
BIRTHDAY
2009
Springer
13 years 7 months ago
2009
Springer
ProB is an animation and model checking tool for the B Method, which can deal with many interesting specifications. Some specifications, however, contain complicated functions whic...
LICS
2005
IEEE
13 years 12 months ago
2005
IEEE
TLCA
1997
Springer
13 years 10 months ago
1997
Springer
ICALP
2005
Springer
13 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...
TYPES
2000
Springer
13 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...