2016 search results - page 331 / 404 » Megamaps: Construction and Examples |
114
Voted
PPOPP
2010
ACM
16 years 29 days ago
2010
ACM
We present a core calculus with two of X10's key constructs for parallelism, namely async and finish. Our calculus forms a convenient basis for type systems and static analys...
130
Voted
TLDI
2009
ACM
16 years 18 days ago
2009
ACM
Type-and-effect systems are a natural approach for statically reasoning about a program’s execution. They have been used to track a variety of computational effects, for example...
138
Voted
PLPV
2010
ACM
16 years 18 days ago
2010
ACM
Reasoning about object-oriented programs is difficult since such programs usually involve aliasing, and it is not easy to identify the ways objects can relate to each other and t...
125
Voted
PLPV
2010
ACM
16 years 18 days ago
2010
ACM
Type-based reasoning is popular in functional programming. In particular, parametric polymorphism constrains functions in such a way that statements about their behavior can be de...
129
Voted
WACV
2005
IEEE
15 years 11 months ago
2005
IEEE
To facilitate accurate and efficient detection of motion
patterns in video data, it is desirable to abstract from pixel
intensity values to representations that explicitly and co...