1422 search results - page 180 / 285 » Complementation in Abstract Interpretation |
120
Voted
SAS
2000
Springer
15 years 7 months ago
2000
Springer
We present a new representation for possibly infinite sets of possibly infinite trees. This representation makes extensive use of sharing to achieve efficiency. As much as possible...
146
Voted
VW
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. In this paper, we present the project Urbi et Orbi, a framework to dynamically manage distributed virtual environments (DVEs). This framework relies on a dedicated script...
138
Voted
POPL
1997
ACM
15 years 7 months ago
1997
ACM
Java offers the real possibility that most programs can be written in a type-safe language. However, for Java to be broadly useful, it needs additional expressive power. This pape...
116
Voted
POPL
1997
ACM
15 years 7 months ago
1997
ACM
Defining the collecting semantics is usually the first crucial step in adapting the general methodology of abstract interpretation to the semantic framework or programming languag...
123
click to vote
SCALESPACE
1997
Springer
15 years 7 months ago
1997
Springer
Abstract. We introduce a family of first-order multi-dimensional ordinary differential equations (ODEs) with discontinuous right-hand sides and demonstrate their applicability in i...