290 search results - page 26 / 58 » entcs 2006 |
103
Voted
ENTCS
2006
15 years 15 days ago
2006
In general, invariants may depend on the state of other objects. The approach introduced in this paper allows this for objects of mutually visible classes, in a way that supports ...
100
click to vote
ENTCS
2006
15 years 15 days ago
2006
In this note we revisit the so-called reactive programming style, which evolves from the synchronous programming model of the Esterel language by weakening the assumption that the...
83
Voted
ENTCS
2008
15 years 17 days ago
2008
: We define and compare several probabilistic notions of computability for mappings from represented spaces (that are equipped with a measure or outer measure) into computable metr...
122
click to vote
ENTCS
2006
15 years 15 days ago
2006
Program slicing is a well-known technique to extract the program statements that (potentially) affect the values computed at some point of interest. In this work, we introduce a n...
114
Voted
ENTCS
2006
15 years 15 days ago
2006
We develop a domain theory for treating recursive types with respect to contextual equivalence. The principal approach taken here deviates from classical domain theory in that we ...