EasyChair Publications
SCSS 2016 Volume Information
Volume:James H. Davenport and Fadoua Ghourabi (editors)
SCSS 2016. 7th International Symposium on Symbolic Computation in Software Science

SCSS 2016 Volume Information

Title:SCSS 2016. 7th International Symposium on Symbolic Computation in Software Science
Editors:James H. Davenport and Fadoua Ghourabi
Series:EPiC Series in Computing
Publication date:March 27, 2016


Kenichi Asai and Yukiyoshi KameyamaAutomatic Staging via Partial Evaluation Techniques1-13
Pierre Boutry, Gabriel Braun and Julien NarbouxFrom Tarski to Descartes: Formalization of the Arithmetization of Euclidean Geometry14-28
David Cerna, Wolfgang Schreiner and Temur KutsiaSpace Analysis of a Predicate Logic Fragment for the Specification of Stream Monitors29-41
Youyou Cong and Kenichi AsaiImplementing a stepper using delimited continuations42-54
Seyed Hossein Haeri and Sibylle SchuppExpression Compatibility Problem55-67
Mitsuhiro Kondo, Takuya Matsuo, Yoshihiro Mizoguchi and Hiroyuki OchiaiA Mathematica module for Conformal Geometric Algebra and Origami Folding68-80
Baudouin Le Charlier and Mêton Mêton AtindehouA Data Structure to Handle Large Sets of Equal Terms81-94
Mircea Marin, Temur Kutsia and Besik DunduaA rewrite-based computational model for functional logic programming95-106
Toshiaki Matsushima, Yoshihiro Mizoguchi and Alexandre Derouet-JourdanVerification of a brick Wang tiling algorithm107-116
Sosuke Moriguchi, Mizuki Goto and Kazuko TakahashiTowards Verified Construction for Planar Class of a Qualitative Spatial Representation117-129
Pascal Mathis and Pascal SchreckDetermining automatically compass and straightedge unconstructibility in triangles130-142
Phil Scott and Jacques FleuriotCompass-free Navigation of Mazes143-155
Takaki Suzuki, Kentaro Kikuchi, Takahito Aoto and Yoshihito ToyamaCritical Pair Analysis in Nominal Rewriting156-168
Tetsuro Yamashita and Xavier DahanBit-size reduction of triangular sets in two and three variables169-182


1alpha equivalence, arithmetization, automated reasoning, binding time analysis, bit size, compass and straightedge construction, completeness, component based software engineering, computational origami, confluence, conformal geometric algebra, congruence closure, critical pairs, cross stage persistence, data structure, decision procedure, delimited continuations, expression compatibility problem, expression problem, expression simplification, formal semantics, formalization, formalized mathematics, functional logic programming, interactive theorem proving, lagrange interpolation, lexicographic groebner bases, lightweight family polymorphism, mathematica, multiplicity, narrowing, network monitors, nominal rewriting, partial evaluation, planarity, plca, predicate logic, program verification, proof assistant, qualitative spatial reasoning, shift and reset, soundness, space complexity, staging, stepper, strategies, symbolic computation, tarski s system of geometry, term equivalence, theory of equality, triangular sets, wang tiling