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