4211 search results - page 198 / 843 » Types as Abstract Interpretations |
146
click to vote
CADE
2008
Springer
16 years 4 months ago
2008
Springer
CLF (Concurrent LF) [CPWW02a] is a logical framework for specifying and implementing deductive and concurrent systems from areas, such as programming language theory, security prot...
106
click to vote
ICALT
2006
IEEE
15 years 10 months ago
2006
IEEE
The use of patterns in e-learning is being recently proposed with different purposes and scopes. This paper provides a unifying view of several representative proposals in order t...
113
click to vote
ATAL
2005
Springer
15 years 10 months ago
2005
Springer
This paper is concerned with argumentation-based dialogues between agents. Much work in this area has been based upon an influential taxonomy of dialogue types developed by Walto...
150
click to vote
FLOPS
2004
Springer
15 years 9 months ago
2004
Springer
We propose a semantic framework for modelling the linear usage of continuations in typed call-by-name programming languages. On the semantic side, we introduce a construction for c...
109
click to vote
ICAIL
1999
ACM
15 years 8 months ago
1999
ACM
In this paper, we describe an evaluation framework for legal information systems. The framework is based on knowledge criteria. We distinguish four belief types, viz. perceptual b...