Greatest common divisors of polynomials given by straight-line programs
Journal of the ACM (JACM)
What every computer scientist should know about floating-point arithmetic
ACM Computing Surveys (CSUR)
Efficiently computing static single assignment form and the control dependence graph
ACM Transactions on Programming Languages and Systems (TOPLAS)
GFUN: a Maple package for the manipulation of generating and holonomic functions in one variable
ACM Transactions on Mathematical Software (TOMS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Maple V: programming guide
Non-commmutative elimination in ore algebras proves multivariate identities
Journal of Symbolic Computation
The synthesis of loop predicates
Communications of the ACM
An axiomatic basis for computer programming
Communications of the ACM
Pracniques: further remarks on reducing truncation errors
Communications of the ACM
Modern Compiler Implementation: In ML
Modern Compiler Implementation: In ML
The Mathematica Book
Symbolic evaluation of programs: a look at loop analysis
SYMSAC '76 Proceedings of the third ACM symposium on Symbolic and algebraic computation
ESF: an automatically generated encyclopedia of special functions
ISSAC '03 Proceedings of the 2003 international symposium on Symbolic and algebraic computation
Abstract versus concrete computation on metric partial algebras
ACM Transactions on Computational Logic (TOCL)
Simplify: a theorem prover for program checking
Journal of the ACM (JACM)
Advanced symbolic analysis for compilers: new techniques and algorithms for symbolic program analysis and optimization
Program verification using automatic generation of invariants
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Hierarchical representations with signatures for large expression management
AISC'06 Proceedings of the 8th international conference on Artificial Intelligence and Symbolic Computation
Relational Methods in the Analysis of While Loops: Observations of Versatility
RelMiCS '09/AKA '09 Proceedings of the 11th International Conference on Relational Methods in Computer Science and 6th International Conference on Applications of Kleene Algebra: Relations and Kleene Algebra in Computer Science
Reflexive transitive invariant relations: A basis for computing loop functions
Journal of Symbolic Computation
Invariant relations: an automated tool to analyze loops
VECoS'11 Proceedings of the Fifth international conference on Verification and Evaluation of Computer and Communication Systems
| Hi-index | 0.00 |
We show how properties of an interesting class of imperative programs can be calculated by means of relational modeling and symbolic computation. The ideas of [5, 26] are implemented using symbolic computations based on Maple [30].