1914 search results - page 265 / 383 » Verification by Abstract Interpretation |
94
Voted
POPL
1997
ACM
15 years 4 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...
94
Voted
SCALESPACE
1997
Springer
15 years 4 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...
122
Voted
VLDB
1987
ACM
15 years 4 months ago
1987
ACM
FAD is a powerful and simple language designed for a highly parallel database machine. The basic concepts of the language are its data structures (which we call objects) and its p...
104
Voted
DLOG
2007
15 years 3 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...
193
click to vote
AGTIVE
2007
Springer
15 years 2 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...