1227 search results - page 45 / 246 » Remote Store Programming |
ESOP
2006
Springer
15 years 5 months ago
2006
Springer
We design a schema language that includes channel schemas with capabilities of input, output, and input-output. These schemas may describe documents containing references to operat...
123
click to vote
TCC
2009
Springer
16 years 2 months ago
2009
Springer
We consider the problem of memory checking, where a user wants to maintain a large database on a remote server but has only limited local storage. The user wants to use the small ...
112
click to vote
COMPSAC
2009
IEEE
15 years 5 months ago
2009
IEEE
Abstract. The TransLucid programming language is a low-level intensional language, designed to be sufficiently rich for it to be the target language for translating the common prog...
162
click to vote
ESOP
2000
Springer
15 years 5 months ago
2000
Springer
We exhibit a technique for automatically verifying the safety of simple C programs working on tree-shaped data structures. We do not consider the complete behavior of programs, but...
120
click to vote
ICSE
2004
IEEE-ACM
16 years 2 months ago
2004
IEEE-ACM
We describe an efficient decentralized monitoring algorithm that monitors a distributed program's execution to check for violations of safety properties. The monitoring is ba...