247 search results - page 41 / 50 » A Dynamic Operational Semantics for JVML |
CONCUR
2004
Springer
15 years 3 months ago
2004
Springer
We define a language whose type system, incorporating session types, allows complex protocols to be specified by types and verified by static typechecking. A session type, asso...
CIKM
2001
Springer
15 years 2 months ago
2001
Springer
As mobile devices get ubiquitous and grow in computational power, their management of interdependent data also becomes increasingly important. The mobile environment exhibits all ...
FSTTCS
1999
Springer
15 years 2 months ago
1999
Springer
We present a (the rst?) sound and relatively complete Hoare logic for a simple imperative programming language including mutually recursive procedures with call-by-value parameters...
118
click to vote
SSD
1993
Springer
15 years 1 months ago
1993
Springer
: Spatial data types or algebras for database systems should (i) be fully general (which means, closed under set operations, hence e.g. a region value can be a set of polygons with...
AIPS
2008
15 years 19 hour ago
2008
As no plan can cover all possible contingencies, the ability to detect failures during plan execution is crucial to the robustness of any autonomous system operating in a dynamic ...