15792 search results - page 119 / 3159 » Computational Abstraction Steps |
ML
2006
ACM
13 years 9 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...
VC
2010
13 years 7 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...
CC
2011
Springer
13 years 27 days 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...
MOBISYS
2004
ACM
14 years 9 months ago
2004
ACM
ENTCS
2006
13 years 9 months ago
2006
models and full abstraction Gavin Lowe and Jo