2340 search results - page 18 / 468 » Data abstraction and information hiding |
DAGSTUHL
2006
13 years 9 months ago
2006
CCGRID
2001
IEEE
13 years 11 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...
FMCO
2005
Springer
14 years 1 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...
IQIS
2007
ACM
13 years 9 months ago
2007
ACM
CC
2005
Springer
14 years 1 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 ...