Lightweight Formal Methods for Computer Algebra Systems

Martin Dunstan, Tom Kelsey, Steve Linton, Ursula Martin

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract / Description of output

In this paper 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 verication. We give examples of abstract specications of AXIOM primitives, and provide an interface between these abstractions and Aldor code.
Original languageEnglish
Title of host publicationProceedings of the 1998 International Symposium on Symbolic and Algebraic Computation
Place of PublicationNew York, NY, USA
Number of pages8
ISBN (Print)1-58113-002-3
Publication statusPublished - 1998

Publication series

NameISSAC '98


Dive into the research topics of 'Lightweight Formal Methods for Computer Algebra Systems'. Together they form a unique fingerprint.

Cite this