3342 search results - page 221 / 669 » Automating Abstract Interpretation |
170
click to vote
TPHOL
2002
IEEE
15 years 11 months ago
2002
IEEE
Abstract We present a formal semantics as a conservative shallow embedding of the Object Constraint Language (OCL). OCL is currently under development within an open standardizatio...
163
click to vote
CSL
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. In this paper we show how to extend a constructive type theory with a principle that captures the spirit of Markov’s principle from constructive recursive mathematics. ...
164
click to vote
ICCBR
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Distributed case-based reasoning architectures have the potential to improve the overall performance of case-based reasoning systems. In this paper we describe a collabor...
160
click to vote
LPNMR
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Considering different implication operators, such as Lukasiewicz, G¨odel or product implication in the same logic program, naturally leads to the allowance of several a...
172
click to vote
CL
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Dominance constraints are widely used in computational linguistics as a language for talking and reasoning about trees. In this paper, we extend dominance constraints by ...