4211 search results - page 338 / 843 » Types as Abstract Interpretations |
329
click to vote
AMW
2011
14 years 10 months ago
2011
Abstract. We consider the problem of checking equivalence of conjunctive queries with inequalities under bag (multiset) semantics. The problem is known to be decidable in pspace an...
212
click to vote
ESOP
2011
Springer
14 years 10 months ago
2011
Springer
We present a static analysis by Abstract Interpretation to check for run-time errors in parallel C programs. Following our work on Astr´ee, we focus on embedded critical programs ...
171
click to vote
DSVIS
2003
Springer
15 years 12 months ago
2003
Springer
The increasing availability of various types of interactive platforms has raised the need for design environments able to support development of user interfaces that exploit intera...
165
click to vote
ICDE
1993
IEEE
15 years 11 months ago
1993
IEEE
This paper presents four implementations for support of large objects in POSTGRES. The four implementations offer varying levels of support for security, transactions, compression...
173
click to vote
HCI
2007
15 years 8 months ago
2007
The Gesture and Activity Recognition Toolit (GART) is a user interface toolkit designed to enable the development of gestureplications. GART provides an abstraction to machine lear...