SCSS 2014: Volume Information
Volume:Temur Kutsia and Andrei Voronkov (editors).
SCSS 2014. 6th International Symposium on Symbolic Computation in Software Science

Volume Information

Title:SCSS 2014. 6th International Symposium on Symbolic Computation in Software Science
Editors:Temur Kutsia and Andrei Voronkov
Series:EPiC Series in Computing
Volume:30
Pages:76
Publication date:December 4, 2014

Papers

AuthorsTitlePages
Nikolaj Bjorner and Anh-Dung PhanνZ - Maximal Satisfaction with Z31-9
William FarmerMeaning Formulas for Syntax-Based Mathematical Algorithms10-11
Daniel Franzen and David AspinallTowards an amortized type system for JavaScript12-26
Cezary Kaliszyk, Lionel Mamane and Josef UrbanMachine Learning of Coq Proof Guidance: First Experiments 27-34
Karsten Martiny and Ralf MoellerPDT Logic for Stream Reasoning in Multi-agent Systems35-46
Marisa Navarro and Fernando OrejasA refutation procedure for proving satisfiability of constraint specifications on XML documents47-61
Helmut Seidl, Thomas Martin Gawlitza and Martin SchwarzParametric Strategy Iteration62-76

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.