4814 search results - page 29 / 963 » Combining abstract interpreters |
IANDC
2010
13 years 8 months ago
2010
This article shows how different functional interpretations can be combined into what we term hybrid functional interpretations. These hybrid interpretations work on the setting o...
KBSE
2009
IEEE
14 years 4 months ago
2009
IEEE
—Practical software verification is dominated by two major classes of techniques. The first is model checking, which provides total precision, but suffers from the state space ...
FSTTCS
2000
Springer
14 years 1 months ago
2000
Springer
This paper reports on results concerning the combination of non-standard semantics via interpreters. We define what a semantics combination means and identify under which condition...
KCAP
2009
ACM
14 years 4 months ago
2009
ACM
The POIROT project is a four-year effort to develop an architecture that integrates the products of a number of targeted reasoning and learning components to produce executable re...
COLING
1996
13 years 11 months ago
1996
A domain independent model is proposed for the automated interpretation of nominal compounds in English. This model is meant to account for productive rules of interpretation whic...