Skip to content

Research at St Andrews

Formal Methods for Extensions to CAS

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

Author(s)

School/Research organisations

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

Close

Details

Original languageEnglish
Title of host publicationProceedings of Formal Methods 1999
PublisherSpringer-Verlag
Pages1758-1777
Publication statusPublished - 1999

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume1709

Discover related content
Find related publications, people, projects and more using interactive charts.

View graph of relations

Related by author

  1. Towards the calculation of Casimir forces for inhomogeneous planar media

    Xiong, C., Kelsey, T., Linton, S. A. & Leonhardt, U., 1 Oct 2014, Computer Mathematics: 9th Asian Symposium (ASCM2009), Fukuoka, December 2009, 10th Asian Symposium (ASCM2012), Beijing, October 2012, Contributed Papers and Invited Talks. Feng, R., Lee, W. & Sato, Y. (eds.). Springer, p. 171-180

    Research output: Chapter in Book/Report/Conference proceedingChapter

  2. Qualitative modelling via constraint programming

    Kelsey, T., Kotthoff, L., Jefferson, C. A., Linton, S. A., Miguel, I. J., Nightingale, P. & Gent, I. P., Apr 2014, In: Constraints. 19, 2, p. 163-173

    Research output: Contribution to journalArticlepeer-review

  3. Casimir forces for inhomogeneous planar media

    Xiong, C., Kelsey, T., Linton, S. A. & Leonhardt, U., 25 Jan 2013, Journal of Physics: Conference Series. 1 ed. Vol. 401. 6 p. (Journal of Physics: Conference Series; vol. 410, no. 1).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  4. Polynomial-time proofs that groups are hyperbolic

    Holt, D., Linton, S., Neunhoeffer, M., Parker, R., Pfeiffer, M. & Roney-Dougal, C. M., May 2021, In: Journal of Symbolic Computation. 104, p. 419-475

    Research output: Contribution to journalArticlepeer-review

  5. Performance of plasma kisspeptin as a biomarker for miscarriage improves with gestation during the first trimester

    Phylactou, M., Abbara, A., Al-Memar, M., Kyriacou, C., Eng, P. C., Nadir, R., Izzi-Engbeaya, C., Clarke, S. A., Mills, E. G., Daniels, E., Huo, L., Pacuszka, E., Yang, L., Patel, B., Tan, T., Bech, P., Comninos, A. N., Fourie, H., Kelsey, T., Bourne, T. & 1 others, Dhillo, W. S., 20 Apr 2021.

    Research output: Contribution to conferenceAbstractpeer-review

ID: 1729832

Top