797 search results - page 95 / 160 » Eliminating Proofs from Programs |
81
Voted
ASIAN
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. We aim to provide information hiding support in concurrent object-oriented programming languages. We study the issue both at the object level and class level, in the cont...
109
Voted
IPPS
1996
IEEE
15 years 4 months ago
1996
IEEE
This paper introduces an analysis technique, commutativity analysis, for automatically parallelizing computations that manipulate dynamic, pointer-based data structures. Commutati...
103
Voted
PODS
2010
ACM
15 years 5 months ago
2010
ACM
This paper approaches the incremental view maintenance problem from an algebraic perspective. We construct a ring of databases and use it as the foundation of the design of a quer...
116
Voted
PLDI
2009
ACM
15 years 5 months ago
2009
ACM
Dynamic information flow policies, such as declassification, are essential for practically useful information flow control systems. However, most systems proposed to date that ...
96
Voted
PPDP
2010
Springer
14 years 11 months ago
2010
Springer
Control operators for delimited continuations are useful in various fields such as partial evaluation, CPS translation, and representation of monadic effects. While many works in...