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 journalArticle

  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. Pharmacodynamic response to anti-thyroid drugs in Graves’ hyperthyroidism

    Abbara, A., Clarke, S., Brewster, R., Simmonard, A., Eng, P. C., Phylactou, M., Papadopoulou, D., Izzi-Engbeaya, C., Sam, A., Jonauskyte, E., Comninos, A., Meeran, K., Kelsey, T. & Dhillo, W., 12 May 2020, In : Frontiers in Endocrinology. 11, 11 p., 286.

    Research output: Contribution to journalArticle

  5. A controlled pilot trial of a nurse-led intervention (Mini-AFTERc) to manage fear of cancer recurrence in patients affected by breast cancer

    McHale, C. T., Cruickshank, S., Torrens, C., Armes, J., Fenlon, D., Banks, E., Kelsey, T. & Humphris, G. M., 7 May 2020, In : Pilot and Feasibility Studies. 6, 10 p., 60.

    Research output: Contribution to journalArticle

ID: 1729832

Top