Lightweight Formal Methods for Computer Algebra Systems

Martin Dunstan; Tom Kelsey; Steve Linton; Ursula Martin

doi:10.1145/281508.281560

Lightweight Formal Methods for Computer Algebra Systems

Martin Dunstan, Tom Kelsey, Steve Linton, Ursula Martin

School of Informatics

Research output: Chapter in Book/Report/Conference proceeding › Conference 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 language	English
Title of host publication	Proceedings of the 1998 International Symposium on Symbolic and Algebraic Computation
Place of Publication	New York, NY, USA
Publisher	ACM
Pages	80-87
Number of pages	8
ISBN (Print)	1-58113-002-3
DOIs	https://doi.org/10.1145/281508.281560
Publication status	Published - 1998

Publication series

Name	ISSAC '98
Publisher	ACM

Access to Document

10.1145/281508.281560

https://dl.acm.org/citation.cfm?id=281560

Cite this

@inproceedings{32be226607a54097b70c6018f0349147,

title = "Lightweight Formal Methods for Computer Algebra Systems",

abstract = "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.",

author = "Martin Dunstan and Tom Kelsey and Steve Linton and Ursula Martin",

year = "1998",

doi = "10.1145/281508.281560",

language = "English",

isbn = "1-58113-002-3",

series = "ISSAC '98",

publisher = "ACM",

pages = "80--87",

booktitle = "Proceedings of the 1998 International Symposium on Symbolic and Algebraic Computation",

}

TY - GEN

T1 - Lightweight Formal Methods for Computer Algebra Systems

AU - Dunstan, Martin

AU - Kelsey, Tom

AU - Linton, Steve

AU - Martin, Ursula

PY - 1998

Y1 - 1998

N2 - 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.

AB - 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.

U2 - 10.1145/281508.281560

DO - 10.1145/281508.281560

M3 - Conference contribution

SN - 1-58113-002-3

T3 - ISSAC '98

SP - 80

EP - 87

BT - Proceedings of the 1998 International Symposium on Symbolic and Algebraic Computation

PB - ACM

CY - New York, NY, USA

ER -

Lightweight Formal Methods for Computer Algebra Systems

Abstract / Description of output

Publication series

Access to Document

Fingerprint

Cite this