SCSS 2014. 6th International Symposium on Symbolic Computation in Software Science7 articles•76 pages•Published: December 4, 2014 Papers
Keyphrasesabstract 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 |
