4814 search results - page 70 / 963 » Combining abstract interpreters |
SAS
2012
Springer
12 years 11 days ago
2012
Springer
Abstract. Shivers’s escape technique enables one to analyse the control flow of higher-order program fragments. It is widely used, but its soundness has never been proven. In th...
DEON
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. In this paper, we combine deontic logic with Alternatingtime Temporal Logic (ATL) into a framework that makes it possible to model and reason about obligations and abilit...
CGI
2004
IEEE
14 years 1 months ago
2004
IEEE
Facial movements play an important role in interpreting spoken conversations and emotions. There are several types of movements, such as conversational signals, emotion displays, ...
ICCBR
2003
Springer
14 years 3 months ago
2003
Springer
This paper presents an algorithm called IBP that combines case-based and model-based reasoning for an interpretive CBR application, predicting the outcome of legal cases. IBP uses ...
CCA
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. We prove the correctness of a formalised realisability interpretation of extensions of first-order theories by inductive and coinductive definitions in an untyped λ-ca...