1712 search results - page 23 / 343 » Abstract Constraint Data Types |
102
click to vote
VLDB
1991
ACM
15 years 2 months ago
1991
ACM
Object-oriented data models are receiving wide attention since they provide expressive ionmechanismsto model naturally and directly both structural and behavioral aspectsof comple...
CC
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. We present techniques that enable source-level debugging for multiple languages at the cost of only modest programming effort. The key idea is to avoid letting debugging ...
ICDE
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract— Checking if an SQL query has been written correctly is not an easy task. Formal verification is not applicable, since it is based on comparing a specification with an...
COORDINATION
2008
Springer
15 years 17 days ago
2008
Springer
Abstract. The notion of session is fundamental in service oriented applications, as it separates interactions between different instances of the same service, and it groups togethe...
ECOOP
1993
Springer
15 years 2 months ago
1993
Springer
Abstract. We have designed and implemented a type inference algorithm for the Self language. The algorithm can guarantee the safety and disambiguity of message sends, and provide u...