367 search results - page 14 / 74 » A Rewriting Logic Sampler |
FCT
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. We introduce a uniform framework for reasoning about infinitestate systems with unbounded control structures and unbounded data domains. Our framework is based on constr...
RTA
2010
Springer
13 years 12 months ago
2010
Springer
Abstract. Declarative debugging is a semi-automatic technique that starts from an incorrect computation and locates a program fragment responsible for the error by building a tree ...
TFM
2009
Springer
14 years 2 months ago
2009
Springer
AIMS
2007
Springer
14 years 2 months ago
2007
Springer
We describe our effort to evaluate the syntax and constraints of Promise Theory using a tool developed in the Maude framework. Through the development of a Maude module we are able...
RTA
2007
Springer
14 years 2 months ago
2007
Springer