SCSS 2014: Volume Information

SCSS 2014. 6th International Symposium on Symbolic Computation in Software Science

Papers

Keyphrases

abstract interpretation, amortized analysis, constraint, Coq, doxastic logic, epistemic logic, formal mathematics, interactive theorem proving, JavaScript type system, machine learning, mobile applications, parametric program analysis, probabilistic logic, proof advice, Refutation procedure, resource bounds, resource usage, strategy iteration, Stream Reasoning, temporal logic, type system, type theory, XML document, XPath pattern.