1194 search results - page 38 / 239 » A Calculus for Predicative Programming |
136
Voted
CAV
2006
Springer
15 years 5 months ago
2006
Springer
e Abstraction and Refinement Loop Himanshu Jain1,2, Franjo Ivanci
108
click to vote
ICFP
2008
ACM
16 years 1 months ago
2008
ACM
Reasoning about imperative programs requires the ability to track aliasing and ownership properties. We present a type system that provides this ability, by using regions, capabil...
127
click to vote
PPDP
2010
Springer
15 years 7 days ago
2010
Springer
Database query optimizers rely on data statistics in selecting query execution plans. Similar query optimization techniques are desirable for deductive databases and, to make this...
101
click to vote
SAS
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. The capability calculus is a framework for statically reasoning about program resources such as deallocatable memory regions. Fractional capabilities, originally proposed...
106
click to vote
AAAI
2000
15 years 3 months ago
2000
We propose a frameworkfor robot programming which allows the seamless integration of explicit agent programming with decision-theoretic planning. Specifically, the DTGolog model a...