Formal Methods for Extensions to CAS
FM99 The World Congress in Formal Methods (1999)
- ISBN: 9783540665885
Available from www-theory.cs.st-andrews.ac.uk
or
Abstract
We demonstrate the use of formal methods tools to provide a semantics for the type hierarchy of the AXIOM computer algebra system, and a methodology for Aldor program analysis and verification. We give a case study of abstract specifications of AXIOM primitives, and provide an interface between these abstractions and Aldor code.
Sign up today - FREE
Mendeley saves you time finding and organizing research. Learn more
- All your research in one place
- Add and import papers easily
- Access it anywhere, anytime
Start using Mendeley in seconds!
Readership Statistics
3 Readers on Mendeley
by Discipline
by Academic Status
33% Post Doc
33% Ph.D. Student
33% Professor
by Country
33% United Kingdom
33% Netherlands
33% United States