5451 search results - page 1006 / 1091 » Typed Operational Semantics |
158
Voted
FLOPS
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Assertion-based contracts provide a powerful mechanism for stating invariants at module boundaries and for enforcing them uniformly. In 2002, Findler and Felleisen showed...
125
click to vote
ISSTA
2010
ACM
15 years 6 months ago
2010
ACM
Program control dependence has substantial impact on applications such as dynamic information flow tracking and data lineage tracing (a technique tracking the set of inputs that ...
132
Voted
GI
1997
Springer
15 years 6 months ago
1997
Springer
Abstract. This text describes how persistent object system technology developed in European basic research is being used by a small German startup software company to realize innov...
136
Voted
ICDCS
1995
IEEE
15 years 6 months ago
1995
IEEE
nt formal speci cations of a new abstraction, weak sets, which can be used to alleviate high latencies when retrieving data from a wide-area information system like the World Wide...
141
Voted
HT
1987
ACM
15 years 6 months ago
1987
ACM
Hypertext is a technology well-suited to exploring different kinds of representational problems. It can be used first as an informal mechanism to describe the attributes of object...