367 search results - page 14 / 74 » A Rewriting Logic Sampler |
FCT
2007
Springer
15 years 3 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
15 years 1 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 ...
151
Voted
TFM
2009
Springer
15 years 4 months ago
2009
Springer
53
Voted
AIMS
2007
Springer
15 years 3 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
15 years 3 months ago
2007
Springer