128 search results - page 22 / 26 » Logical Data Independence Reconsidered (Extended Abstract) |
125
click to vote
CONCUR
2007
Springer
15 years 10 months ago
2007
Springer
We present a fixpoint-based algorithm for context-sensitive interprocedural kill/gen-analysis of programs with thread creation. Our algorithm is precise up to abstraction of sync...
129
click to vote
SAS
2004
Springer
15 years 9 months ago
2004
Springer
We describe data structures and algorithms for performing a path-sensitive program analysis to discover equivalences of expressions involving linear arithmetic or uninterpreted fun...
190
click to vote
TMM
2010
14 years 10 months ago
2010
Abstract--Unlimited vocabulary annotation of multimedia documents remains elusive despite progress solving the problem in the case of a small, fixed lexicon. Taking advantage of th...
201
click to vote
TLDI
2010
ACM
16 years 25 days ago
2010
ACM
ML modules are a powerful language mechanism for decomposing programs into reusable components. Unfortunately, they also have a reputation for being “complex” and requiring fa...
229
Voted
POPL
2007
ACM
16 years 4 months ago
2007
ACM
Concurrent ML (CML) is a statically-typed higher-order concurrent language that is embedded in Standard ML. Its most notable feature is its support for first-class synchronous ope...