3342 search results - page 221 / 669 » Automating Abstract Interpretation |
129
click to vote
TPHOL
2002
IEEE
15 years 8 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...
121
click to vote
CSL
2001
Springer
15 years 8 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. ...
125
Voted
ICCBR
2001
Springer
15 years 8 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...
120
Voted
LPNMR
2001
Springer
15 years 7 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...
121
click to vote
CL
2000
Springer
15 years 7 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 ...