1914 search results - page 212 / 383 » Verification by Abstract Interpretation |
150
click to vote
ISMIS
1997
Springer
15 years 9 months ago
1997
Springer
Abstract. This paper presents a framework for reasoning using intervals. Two interpretations of intervals are examined, one treats intervals as bounds of a truth evaluation functio...
142
click to vote
LICS
1994
IEEE
15 years 9 months ago
1994
IEEE
I give a `totality space' model for linear logic [4], detaking an abstract view of computations on a datatype. The model has similarities with both the coherence space model ...
140
click to vote
ECAI
1994
Springer
15 years 9 months ago
1994
Springer
Abstract. In this paper we describe a framework for defining and operationalizing conceptual models of distributed knowledge-based systems which extends published approaches by the...
134
click to vote
HYBRID
1994
Springer
15 years 9 months ago
1994
Springer
Abstract. We present a language,Hybrid cc, for modeling hybrid systems compositionally. This language is declarative, with programs being understood as logical formulas that place ...
156
click to vote
PEPM
1993
ACM
15 years 9 months ago
1993
ACM
For a functional programming language with a lazy standard semantics, we define a strictness analysis by means of abstract interpretation. Using the information from the strictne...