SCSS 2014:Keyword Index

KeywordPapers
A
abstract interpretationParametric Strategy Iteration
amortized analysisTowards an amortized type system for JavaScript
C
constraintA refutation procedure for proving satisfiability of constraint specifications on XML documents
CoqMachine Learning of Coq Proof Guidance: First Experiments
D
doxastic logicPDT Logic for Stream Reasoning in Multi-agent Systems
E
epistemic logicPDT Logic for Stream Reasoning in Multi-agent Systems
F
formal mathematicsMachine Learning of Coq Proof Guidance: First Experiments
I
interactive theorem provingMachine Learning of Coq Proof Guidance: First Experiments
J
JavaScript type systemTowards an amortized type system for JavaScript
M
machine learningMachine Learning of Coq Proof Guidance: First Experiments
mobile applicationsTowards an amortized type system for JavaScript
P
parametric program analysisParametric Strategy Iteration
probabilistic logicPDT Logic for Stream Reasoning in Multi-agent Systems
proof adviceMachine Learning of Coq Proof Guidance: First Experiments
R
Refutation procedureA refutation procedure for proving satisfiability of constraint specifications on XML documents
resource boundsTowards an amortized type system for JavaScript
resource usageTowards an amortized type system for JavaScript
S
strategy iterationParametric Strategy Iteration
Stream ReasoningPDT Logic for Stream Reasoning in Multi-agent Systems
T
temporal logicPDT Logic for Stream Reasoning in Multi-agent Systems
type systemTowards an amortized type system for JavaScript
type theoryMachine Learning of Coq Proof Guidance: First Experiments
X
XML documentA refutation procedure for proving satisfiability of constraint specifications on XML documents
XPath patternA refutation procedure for proving satisfiability of constraint specifications on XML documents