9 search results - page 1 / 2 » amast 2010 |
AMAST
2010
Springer
14 years 4 months ago
2010
Springer
AMAST
2010
Springer
14 years 4 months ago
2010
Springer
AMAST
2010
Springer
14 years 4 months ago
2010
Springer
AMAST
2010
Springer
14 years 4 months ago
2010
Springer
Fusion is an indispensable tool in the arsenal of techniques for program derivation. Less well-known, but equally valuable is type fusion, which states conditions for fusing an app...
109
click to vote
AMAST
2010
Springer
14 years 4 months ago
2010
Springer
Abstract. We present a declarative debugger for Maude specifications that allows to debug wrong answers (a wrong result is obtained) and missing answers (a correct but incomplete r...