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 Mathematica book (4th edition)
The Mathematica book (4th edition)
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
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
Invariant functions and invariant relations: An alternative to invariant assertions
Journal of Symbolic Computation
Invariant relations, invariant functions, and loop functions
Innovations in Systems and Software Engineering
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].