4211 search results - page 237 / 843 » Types as Abstract Interpretations |
135
click to vote
ORDER
2007
15 years 4 months ago
2007
Abstract. We analyze results on well-partial-orderings from the viewpoint of computability theory, and we answer a question posed by Diana Schmidt. We obtain the following results....
155
click to vote
INFOCOM
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract--We study replication mechanisms that include ReedSolomon type codes as well as network coding in order to improve the probability of successful delivery within a given ti...
124
click to vote
ECOOP
2003
Springer
15 years 10 months ago
2003
Springer
This paper explains how higher-order hierarchies can be used to handle the expression problem. The expression is concerned with extending both the set of data structures and the s...
151
click to vote
CAISE
1995
Springer
15 years 8 months ago
1995
Springer
, methods, techniques and tools. High level languages, structured programming, abstract data types, formal methods, non-procedural programming, object orientation, CASE, support en...
177
click to vote
APLAS
2010
ACM
15 years 5 months ago
2010
ACM
We consider the problem of specifying data structures with complex sharing in a manner that is both declarative and results in provably correct code. In our approach, abstract data...