1419 search results - page 118 / 284 » Notes on Formalizing Context |
123
click to vote
SAS
1997
Springer
15 years 4 months ago
1997
Springer
We present a type-based flow analysis for simply typed lambda calculus with booleans, data-structures and recursion. The analysis is exact in the following sense: if the analysis ...
104
Voted
WDAG
1993
Springer
15 years 4 months ago
1993
Springer
Fairness is an important concept in design and implementation of distributed systems. At the specification level, fairness usually serves as an assumption for proving liveness. At ...
FMICS
2007
Springer
15 years 4 months ago
2007
Springer
Due to the significant progress in automated verification, there are often several techniques for a particular verification problem. In many circumstances different techniques are ...
112
click to vote
FMCAD
2009
Springer
15 years 4 months ago
2009
Springer
Abstract--The theory of arrays is ubiquitous in the context of software and hardware verification and symbolic analysis. The basic array theory was introduced by McCarthy and allow...
99
Voted
ECAI
2006
Springer
15 years 4 months ago
2006
Springer
Existing approaches to knowledge representation and reasoning in the context of open systems either deal with "objective" knowledge or with beliefs. In contrast, there ha...