4814 search results - page 410 / 963 » Combining abstract interpreters |
178
click to vote
APLAS
2010
ACM
15 years 7 months ago
2010
ACM
Abstract. By combining algorithmic learning, decision procedures, predicate abstraction, and simple templates, we present an automated technique for finding quantified loop invaria...
195
click to vote
CONCUR
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Polynomially accurate simulations [19] are relations for Probabilistic Automata that require transitions to be matched up to negligible sets provided that computation len...
162
click to vote
JOLLI
2008
15 years 6 months ago
2008
Abstract. This paper presents a novel proof-theoretic account of dialogue coherfocuses on an abstract class of cooperative information-oriented dialogues and describes how their st...
161
click to vote
ENTCS
2007
15 years 6 months ago
2007
Operational semantics for programming languages usually come in two flavours: big-step and small-step. Both are defined using deduction rules with a congruence rule allowing redu...
192
click to vote
IPAW
2010
15 years 4 months ago
2010
We introduce StarFlow, a script-centric environment for data analysis. StarFlow has four main features: (1) extraction of control and data-flow dependencies through a novel combina...