6740 search results - page 572 / 1348 » Using Classification as a Programming Language |
109
Voted
PLDI
1998
ACM
15 years 9 months ago
1998
ACM
Object-oriented applications may contain data members that can be removed from the application without a ecting program behavior. Such \dead" data members may occur due to un...
117
click to vote
IFIP
1998
Springer
15 years 9 months ago
1998
Springer
A conservative implementation of a predicate returns true only if the exact predicate is true. That is, we accept a one sided error for the implementation. For geometric predicate...
125
Voted
ICFP
2010
ACM
15 years 6 months ago
2010
ACM
We present a closed dependent type theory whose inductive types are given not by a scheme for generative declarations, but by encoding in a universe. Each inductive datatype arise...
130
click to vote
IFIP
2009
Springer
15 years 2 months ago
2009
Springer
We present a platform that allows a protocol researcher to specify the sequence of games from an initial protocol to a protocol where the security property under consideration can ...
138
click to vote
APLAS
2010
ACM
15 years 2 months ago
2010
ACM
We present a framework for defining abstract interpreters for liveness properties, in particular program termination. The framework makes use of the theory of metric spaces to defi...