SCSS 2014:Keyword Index

Keyword	Papers
A
abstract interpretation	Parametric Strategy Iteration
amortized analysis	Towards an amortized type system for JavaScript
C
constraint	A refutation procedure for proving satisfiability of constraint specifications on XML documents
Coq	Machine Learning of Coq Proof Guidance: First Experiments
D
doxastic logic	PDT Logic for Stream Reasoning in Multi-agent Systems
E
epistemic logic	PDT Logic for Stream Reasoning in Multi-agent Systems
F
formal mathematics	Machine Learning of Coq Proof Guidance: First Experiments
I
interactive theorem proving	Machine Learning of Coq Proof Guidance: First Experiments
J
JavaScript type system	Towards an amortized type system for JavaScript
M
machine learning	Machine Learning of Coq Proof Guidance: First Experiments
mobile applications	Towards an amortized type system for JavaScript
P
parametric program analysis	Parametric Strategy Iteration
probabilistic logic	PDT Logic for Stream Reasoning in Multi-agent Systems
proof advice	Machine Learning of Coq Proof Guidance: First Experiments
R
Refutation procedure	A refutation procedure for proving satisfiability of constraint specifications on XML documents
resource bounds	Towards an amortized type system for JavaScript
resource usage	Towards an amortized type system for JavaScript
S
strategy iteration	Parametric Strategy Iteration
Stream Reasoning	PDT Logic for Stream Reasoning in Multi-agent Systems
T
temporal logic	PDT Logic for Stream Reasoning in Multi-agent Systems
type system	Towards an amortized type system for JavaScript
type theory	Machine Learning of Coq Proof Guidance: First Experiments
X
XML document	A refutation procedure for proving satisfiability of constraint specifications on XML documents
XPath pattern	A refutation procedure for proving satisfiability of constraint specifications on XML documents