581 search results - page 31 / 117 » Abstract Semantics by Observable Contexts |
AGP
1995
IEEE
15 years 1 months ago
1995
IEEE
The main difficulty in the formalization of a static analysis framework for CC programs is probably related to the correct approximation of the entailment relation between constrai...
ICRA
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract— We describe a novel intelligent execution monitoring approach for mobile robots acting in indoor environments such as offices and houses. Traditionally, monitoring exe...
FUIN
2010
14 years 4 months ago
2010
Abstract. In this paper we present a novel approach to big-step operational semantics. This approach stems from the observation that the typical type soundness property formulated ...
111
click to vote
APLAS
2009
ACM
15 years 4 months ago
2009
ACM
Abstract. Context-sensitive points-to analysis is critical for several program optimizations. However, as the number of contexts grows exponentially, storage requirements for the a...
SEMWEB
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Ontology mapping is the key to data interoperability in the semantic web. This problem has received a lot of research attention, however, the research emphasis has been m...