9 search results - page 1 / 2 » amast 2010 |
AMAST
2010
Springer
13 years 12 days ago
2010
Springer
AMAST
2010
Springer
13 years 12 days ago
2010
Springer
AMAST
2010
Springer
13 years 12 days ago
2010
Springer
AMAST
2010
Springer
13 years 12 days 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...
AMAST
2010
Springer
13 years 12 days 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...