15792 search results - page 119 / 3159 » Computational Abstraction Steps |
122
Voted
ML
2006
ACM
15 years 3 months ago
2006
ACM
Higher-order typed languages, such as ML, provide strong support for data and type abn. While such abstraction is often viewed as costing performance, there are situations where i...
134
Voted
VC
2010
15 years 2 months ago
2010
Abstract Real-time simulation of deformable objects involves many computational challenges to be solved, particularly in the context of haptic applications, where high update rates...
162
click to vote
CC
2011
Springer
14 years 7 months ago
2011
Springer
Abstract. We present a disjoint reachability analysis for Java. Our analysis computes extended points-to graphs annotated with reachability states. Each heap annotated with a set o...
105
Voted
ENTCS
2006
15 years 3 months ago
2006
models and full abstraction Gavin Lowe and Jo