7 search results - page 1 / 2 » amast 1998 |
59
Voted
AMAST
1998
Springer
15 years 3 months ago
1998
Springer
59
Voted
AMAST
1998
Springer
15 years 3 months ago
1998
Springer
58
Voted
AMAST
1998
Springer
15 years 3 months ago
1998
Springer
75
Voted
AMAST
1998
Springer
15 years 3 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...
80
Voted
AMAST
1998
Springer
15 years 3 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...