1219 search results - page 172 / 244 » Verification of Equivalent-Results Methods |
AAECC
2010
Springer
13 years 10 months ago
2010
Springer
Abstract Narrowing extends rewriting with logic capabilities by allowing logic variables in terms and by replacing matching with unification. Narrowing has been widely used in diff...
CORR
2010
Springer
13 years 10 months ago
2010
Springer
Deterministic graph grammars generate regular graphs, that form a structural extension of configuration graphs of pushdown systems. In this paper, we study a probabilistic extensio...
ENTCS
2008
13 years 10 months ago
2008
As an extension to Floyd-Hoare logic, separation logic has been used to facilitate reasoning about imperative programs manipulating shared mutable data structures. Recently, it ha...
EG
2006
13 years 10 months ago
2006
: E-government systems are subject to a continual change. The importance of better change management is nowadays, more important due to the evolution of Europe towards a multicultu...
LISP
2008
13 years 10 months ago
2008
Trace effects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type a...