Muhammad Taimoor Khan,
"Formal Semantics of MiniMaple"
, Serie RISC Report Series, Nummer 12-04, RISC JKU, Hagenberg, 1-2012
Formal Semantics of MiniMaple
Sprache des Titels:
In this paper, we give the complete definition of a formal (denotational) semantics of a subset of the language of the computer algebra systems Maple which we call MiniMaple. As a next step we will develop a verification calculus for this language. The verification conditions generated by the calculus must be sound with respect to the formal semantics.