7 search results - page 1 / 2 » amast 1998 |
AMAST
1998
Springer
13 years 10 months ago
1998
Springer
AMAST
1998
Springer
13 years 10 months ago
1998
Springer
AMAST
1998
Springer
13 years 10 months ago
1998
Springer
AMAST
1998
Springer
13 years 10 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 10 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...