3573 search results - page 536 / 715 » Reasoning about Codata |
131
click to vote
POPL
2010
ACM
15 years 3 months ago
2010
ACM
In this paper, we explore the potential of the theory of nested words for partial correctness proofs of recursive programs. Our conceptual contribution is a simple framework that ...
124
click to vote
HPDC
2010
IEEE
15 years 3 months ago
2010
IEEE
In this paper we explore the problems of storing and reasoning about data collected from very large-scale wireless sensor networks (WSNs). Potential worldwide deployment of WSNs f...
133
click to vote
ICDIM
2007
IEEE
15 years 3 months ago
2007
IEEE
Web Services have experienced great interest during the last years as they were expected to act as enablers of seamless application-to-application integration both within company ...
100
click to vote
C++
1994
15 years 4 months ago
1994
During the last year we built several solutions for opening our ET++ applications for internal and external scripting. The most annoying part to be coded manually was the code stu...
124
click to vote
ACTA
2010
15 years 3 months ago
2010
This paper describes an effective verification procedure for imperative programs that handle (balanced) tree-like data structures. Since the verification problem considered is unde...