TY - GEN
T1 - Formal Methods for Extensions to CAS
AU - Dunstan, MN
AU - Kelsey, Thomas William
AU - Linton, Stephen Alexander
AU - Martin, U
N1 - World Congress on Formal Methods in the Design of Computing Systems, Toulouse, France. Lecture Notes in Computer Science, vol 1709
PY - 1999
Y1 - 1999
N2 - 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 Alder 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.
AB - 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 Alder 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.
UR - http://link.springer.de/link/service/series/0558/bibs/1709/17091758.htm
M3 - Conference contribution
T3 - Lecture Notes in Computer Science
SP - 1758
EP - 1777
BT - Proceedings of Formal Methods 1999
PB - Springer-Verlag
ER -