196 search results - page 19 / 40 » Widening Operators for Abstract Interpretation |
VLDB
1987
ACM
14 years 3 days 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...
ICSE
2004
IEEE-ACM
14 years 8 months ago
2004
IEEE-ACM
One of the challenging problems for software developers is guaranteeing that a system as built is consistent with its architectural design. In this paper we describe a technique t...
MPC
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Generic functions are defined by induction on the structural representation of types. As a consequence, by defining just a single generic operation, one acquires this o...
VL
1996
IEEE
14 years 24 days ago
1996
IEEE
Understanding and interpreting a large data source is an important but challenging operation in many technical disciplines. Computer visualization has become a valuable tool to he...
ECAI
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. This paper is centered on the problem of merging (possibly conflicting) information coming from different sources. Though this problem has attracted much attention in pro...