1724 search results - page 4 / 345 » Abstract Interpreters for Free |
145
click to vote
SLOGICA
2002
15 years 6 months ago
2002
In [Sas01], it was given a cut-free sequent system for the smallest interpretability logic IL. He first gave a cut-free system for IK4, a sublogic of IL, whose -free fragment is th...
133
Voted
EGICE
2006
15 years 10 months ago
2006
157
click to vote
ITP
2010
15 years 8 months ago
2010
ied Denotational Abstract Interpreter (Proof Pearl) David Cachera1 and David Pichardie2 1 IRISA / ENS Cachan (Bretagne), France 2 INRIA Rennes
141
click to vote
ENTCS
2008
15 years 6 months ago
2008
and Abstract Interpretation for C/C++ Programs Helge L
154
click to vote
AGI
2011
14 years 10 months ago
2011
Abstract. Perfectly rational decision-makers maximize expected utility, but crucially ignore the resource costs incurred when determining optimal actions. Here we employ an axiomat...