Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Volume
•
Abstracts
•
Preface
•
Authors
•
Keywords
•
BibTex Entries
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
Copyright © 2012-2023 easychair.org. All rights reserved.