155 search results - page 7 / 31 » Compositional Predicate Abstraction from Game Semantics |
ICALP
2000
Springer
13 years 11 months ago
2000
Springer
We explain how recent developments in game semantics can be applied to reasoning about equivalence of terms in a non-trivial fragment of Idealized Algol (IA) by expressing sets of ...
ICTAC
2010
Springer
13 years 5 months ago
2010
Springer
We consider software verification of imperative programs by theorem proving in higher-order separation logic. Of particular interest are the difficulties of encoding and reasoning ...
AI
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. In this paper we focus on the problem of integrating knowledge bases expressed in a description logic. To this end, we propose three basic operations: union, intersection...
BPM
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. Developing service based complex applications (service composition) has become an important area of research in SOA. In spite of this, there has been little effort to und...
IEEESCC
2005
IEEE
14 years 28 days ago
2005
IEEE
eal world”, represented abstractly using (time-varying) first-order logic predicates and terms. A representative composition result [11] here uses a translation into Petri nets. ...