7 search results - page 1 / 2 » amast 1998 |
AMAST
1998
Springer
13 years 9 months ago
1998
Springer
AMAST
1998
Springer
13 years 9 months ago
1998
Springer
AMAST
1998
Springer
13 years 9 months ago
1998
Springer
AMAST
1998
Springer
13 years 9 months ago
1998
Springer
Abstract. One of the most novel features of Casl, the Common Algebraic Specification Language, is the provision of so-called architectural specifications for describing the modular...
AMAST
1998
Springer
13 years 9 months ago
1998
Springer
Abstract. This paper proposes a tool to support reasoning about (partial) correctness of constraint logic programs. The tool infers a speci cation that approximates the semantics o...