1071 search results - page 87 / 215 » The Calculus of Algebraic Constructions |
128
click to vote
JSYML
2008
15 years 6 months ago
2008
. We give a novel application of algebraic logic to first order logic. A new, flexible construction is presented for representable but not completely representable atomic relation ...
131
click to vote
IJAC
2007
15 years 6 months ago
2007
Let K x, y be the free associative algebra of rank 2 over an algebraically closed constructive field of any characteristic. We present an algorithm which decides whether or not tw...
159
click to vote
AOSD
2007
ACM
15 years 10 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 ...
153
click to vote
ESOP
2008
Springer
15 years 8 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...
173
click to vote
UAI
2001
15 years 7 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...