235 search results - page 43 / 47 » Well-behaved Translations between Structural Operational Sem... |
WEBNET
1997
13 years 10 months ago
1997
: We are building an infrastructure for the platform-independent distribution and execution of high-performance mobile code as a future Internet technology to complement and perhap...
PEPM
2009
ACM
14 years 5 months ago
2009
ACM
We show that a wide class of bidirectional data-flow analyses and program optimizations based on them admit declarative descriptions in the form of type systems. The salient feat...
ENTCS
2000
13 years 8 months ago
2000
Substitution plays an important role in Hoare Logic, as it is used in interpreting assignments. When writing a computer-based realization of Hoare Logic, it is therefore important...
ICLP
2004
Springer
14 years 2 months ago
2004
Springer
A component is the basic re-usable unit of composition to build composite systems by connecting to others through their provided and required ports. Checking the functional complia...
SKG
2006
IEEE
14 years 2 months ago
2006
IEEE
Abstract. Global distributed systems must be standards-based to allow interoperability between all of their components. While this guarantees interoperability, it often causes loca...