4211 search results - page 61 / 843 » Types as Abstract Interpretations |
115
click to vote
CADE
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. Twelf is a meta-logical framework for the specification, implementation, and meta-theory of deductive systems from the theory of programming languages and logics. It rel...
119
Voted
AIMSA
2006
Springer
15 years 7 months ago
2006
Springer
Effective automatic summarization usually requires simulating asoning such as abstraction or relevance reasoning. In this paper we describe a solution for this type of reasoning in...
113
click to vote
ENGL
2007
15 years 3 months ago
2007
Abstract— Chierchia [2, 3, 4], pointed out the inadequacy of Montague’s approach in the analysis of certain natural language constructions, such as nominalization and propositi...
116
click to vote
CONCUR
2001
Springer
15 years 8 months ago
2001
Springer
The issue of this work is how to type mobility, in the sense that we tackle the problem of typing not only mobile agents but also their movement. This yields higher-order types for...
117
click to vote
HICSS
1997
IEEE
15 years 7 months ago
1997
IEEE
The goal of this paper is to develop methods to handle inconsistent knowledge elicited from multiple sources. Knowledge is represented using predicates that define relationships w...