2340 search results - page 18 / 468 » Data abstraction and information hiding |
DAGSTUHL
2006
14 years 11 months ago
2006
CCGRID
2001
IEEE
15 years 1 months ago
2001
IEEE
The Information Power Grid (IPG) concept developed by NASA is aimed to provide a metacomputing platform for large-scale distributed computations, by hiding the intricacies of a hig...
110
click to vote
FMCO
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Separation logic is a program logic for reasoning about programs that manipulate pointer data structures. We describe Smallfoot, a tool for checking certain lightweight s...
60
Voted
IQIS
2007
ACM
14 years 11 months ago
2007
ACM
CC
2005
Springer
15 years 3 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 ...