3342 search results - page 55 / 669 » Automating Abstract Interpretation |
75
Voted
CSL
2001
Springer
15 years 3 months ago
2001
Springer
Abstract. We consider two systems of constructive modal logic which are computationally motivated. Their modalities admit several computational interpretations and are used to capt...
81
Voted
ECSQARU
2001
Springer
15 years 3 months ago
2001
Springer
Abstract. In this paper, we first investigate set semantics of propositional logic in terms of rough sets and discuss how truth values of propositions (sentences) can be interpret...
105
click to vote
FLOPS
1999
Springer
15 years 3 months ago
1999
Springer
Abstract. Subtyping tends to undermine the effects of parametric polymorphism as far as the static detection of type errors is concerned. Starting with this observation we present...
107
Voted
CSL
1997
Springer
15 years 3 months ago
1997
Springer
Abstract. Milner introduced action calculi as a framework for investigating models of interactive behaviour. We present a type-theoretic account of action calculi using the proposi...
100
Voted
PLILP
1992
Springer
15 years 3 months ago
1992
Springer
Attribute grammars may be seen as a (rather specialised) lazy or demand-driven programming language. The "programs" in this language take text or parse trees as input an...