3311 search results - page 143 / 663 » Deductive Object Programming |
199
click to vote
POPL
2004
ACM
16 years 2 months ago
2004
ACM
We present in this article a precise security model for data confidentiality in the framework of asynchronous and deterministic objects. Our underlying programming model is based ...
111
click to vote
SIGSOFT
2000
ACM
15 years 6 months ago
2000
ACM
We describe an extension to the Java programming language that supports static conformance checking and dynamic debugging of object "protocols," i.e., sequencing constra...
ECOOP
2006
Springer
15 years 5 months ago
2006
Springer
Object-oriented programs often require large heaps to run properly or meet performance goals. They use high-overhead collections, bulky data models, and large caches. Discovering t...
129
click to vote
SIGMOD
2003
ACM
16 years 1 months ago
2003
ACM
Modern database systems provide not only powerful data models but also complex query languages supporting powerful features such as the ability to create new database objects and ...
121
click to vote
ECOOP
2007
Springer
15 years 8 months ago
2007
Springer
64-bit address spaces come at the price of pointers requiring twice as much memory as 32-bit address spaces, resulting in increased memory usage. Increased memory usage is especia...