id: 06079517
dt: a
an: 06079517
au: Khan, Muhammad Taimoor; Schreiner, Wolfgang
ti: On formal specification of Maple programs.
so: Jeuring, Johan (ed.) et al., Intelligent computer mathematics. 11th
    international conference, AISC 2012, 19th symposium, Calculemus 2012,
    5th international workshop, DML 2012, 11th international conference,
    MKM 2012, systems and projects, held as part of CICM 2012, Bremen,
    Germany, July 8‒13, 2012. Proceedings. Berlin: Springer (ISBN
    978-3-642-31373-8/pbk). Lecture Notes in Computer Science 7362. Lecture
    Notes in Artificial Intelligence, 443-447 (2012).
py: 2012
pu: Berlin: Springer
la: EN
cc: 
ut: 
ci: 
li: doi:10.1007/978-3-642-31374-5_33
ab: Summary: This paper is an example-based demonstration of our initial
    results on the formal specification of programs written in the computer
    algebra language MiniMaple (a substantial subset of Maple with slight
    extensions). The main goal of this work is to define a verification
    framework for MiniMaple. Formal specification of MiniMaple programs is
    rather complex task as it supports non-standard types of objects, e.g.
    symbols and unevaluated expressions, and additional functions and
    predicates, e.g. runtime type tests etc. We have used the specification
    language to specify various computer algebra concepts respective
    objects of the Maple package DifferenceDifferential developed at our
    institute.
rv: