660 search results - page 44 / 132 » The Implicit Calculus of Constructions |
101
click to vote
AOSD
2007
ACM
15 years 4 months ago
2007
ACM
stract Semantics of Additive Aspects by Translation S. B. Sanjabi C.-H. L. Ong Oxford University Computing Laboratory We study the denotational semantics of an aspect calculus by ...
92
Voted
ESOP
2008
Springer
15 years 2 months ago
2008
Springer
In this work we address the problem of proving, by static analysis means, that allocating and deallocating regions in the store provides a safe way to achieve memory management. Th...
114
click to vote
UAI
2001
15 years 2 months ago
2001
There is increasing interest within the research community in the design and use of recursive probability models. There remains concern about computational complexity costs and th...
103
Voted
CADE
2007
Springer
16 years 1 months ago
2007
Springer
We present a multi-context focused sequent calculus whose derivations are in bijective correspondence with normal natural deductions in the propositional fragment of the intuitioni...
98
Voted
FOSSACS
2008
Springer
15 years 2 months ago
2008
Springer
Protocols for information-hiding often use randomized primitives to obfuscate the link between the observables and the information to be protected. The degree of protection provide...