4211 search results - page 240 / 843 » Types as Abstract Interpretations |
155
click to vote
AFRIGRAPH
2001
ACM
15 years 8 months ago
2001
ACM
Practical experience in porting a large virtual reality system from C/C++ to Java indicates that porting this type of real-time application is both feasible, and has several merit...
184
click to vote
ELP
1991
15 years 8 months ago
1991
Operational semantics provide a simple, high-level and elegant means of specifying interpreters for programming languages. In natural semantics, a form of operational semantics, p...
181
click to vote
IJCAI
2001
15 years 6 months ago
2001
Supervised and unsupervised learning methods have traditionally focused on data consisting of independent instances of a single type. However, many real-world domains are best des...
130
click to vote
CAV
2008
Springer
15 years 7 months ago
2008
Springer
In this paper we address the problem of shape analysis for concurrent programs. We present new algorithms, based on abstract interpretation, for automatically verifying properties ...
157
click to vote
RSKT
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. A fundamental data modeling problem in geographical information systems and spatial database systems refers to an appropriate treatment of the vagueness or indeterminacy ...