325 search results - page 8 / 65 » Abstract Rewriting |
111
click to vote
TPHOL
2005
IEEE
15 years 7 months ago
2005
IEEE
We discuss methods for dealing effectively with let-bindings in proofs. Our contribution is a small set of unconditional rewrite rules, found by the bracket abstraction translatio...
107
click to vote
AMAST
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. State space explosion is the hardest challenge to the effective application of model checking methods. We present a new technique for achieving drastic state space reduct...
154
click to vote
MCMASTER
1993
15 years 6 months ago
1993
Abstract. This survey of the theory and applications of rewriting with equations discusses the existence and uniqueness of normal forms, the Knuth-Bendix completion procedure and i...
110
click to vote
ASIAN
1998
Springer
15 years 6 months ago
1998
Springer
call it, provides abstraction through the rewriting arrow and explicit rule application. It also embeds the notion of sets of results to deal with non-deterministic computations. F...
130
click to vote
FOSSACS
2001
Springer
15 years 6 months ago
2001
Springer
The rewriting calculus, or Rho Calculus (ρCal), is a simple calculus that uniformly integrates abstraction on patterns and nondeterminism. Therefore, it fully integrates rewriting...