2911 search results - page 373 / 583 » A Theory of Expressiveness in Mechanisms |
190
click to vote
POPL
2008
ACM
16 years 2 months ago
2008
ACM
The proofs of major results of Computability Theory like Rice, Rice-Shapiro or Kleene's fixed point theorem hide more information of what is usually expressed in their respec...
163
Voted
POPL
2003
ACM
16 years 2 months ago
2003
ACM
We present a framework for applying memoization selectively. The framework provides programmer control over equality, space usage, and identification of precise dependences so tha...
195
click to vote
POPL
2003
ACM
16 years 2 months ago
2003
ACM
Ownership types provide a statically enforceable way of specifying object encapsulation and enable local reasoning about program correctness in object-oriented languages. However,...
106
click to vote
PODS
2006
ACM
16 years 1 months ago
2006
ACM
We propose a novel approach to the classical view update problem. The view update problem arises from the fact that modifications to a database view may not correspond uniquely to...
103
click to vote
PODS
2008
ACM
16 years 1 months ago
2008
ACM
Active XML is a high-level specification language tailored to dataintensive, distributed, dynamic Web services. Active XML is based on XML documents with embedded function calls. ...