97 search results - page 3 / 20 » The Higher-Order Recursive Path Ordering |
BIRTHDAY
2009
Springer
14 years 10 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
15 years 3 months ago
2005
IEEE
TLCA
1997
Springer
15 years 1 months ago
1997
Springer
ICALP
2005
Springer
15 years 2 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
15 years 1 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...