4211 search results - page 326 / 843 » Types as Abstract Interpretations |
150
click to vote
POPL
1997
ACM
15 years 10 months ago
1997
ACM
Defining the collecting semantics is usually the first crucial step in adapting the general methodology of abstract interpretation to the semantic framework or programming languag...
169
click to vote
SCALESPACE
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. We introduce a family of first-order multi-dimensional ordinary differential equations (ODEs) with discontinuous right-hand sides and demonstrate their applicability in i...
175
click to vote
DLOG
2007
15 years 9 months ago
2007
Abstract. In the paper we propose a method of structuring a knowledge base into hierarchically related contexts and present how this arrangement influences the structure of TBox a...
306
click to vote
AGTIVE
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. The DRAGOS database eases the development of graphbased applications by providing a uniform graph-oriented data storage facility. In this paper, we extend the existing da...
169
click to vote
DEXA
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The content of most Web pages is dynamically derived from an underlying relational database. Thus, the success of the Semantic Web hinges on enabling access to relational...