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.
| Original language | English |
|---|
| Place of Publication | Hagenberg |
|---|
| Publisher | RISC JKU |
|---|
| Number of pages | 72 |
|---|
| Publication status | Published - Jan 2012 |
|---|
| Name | RISC Report Series |
|---|
| No. | 12-04 |
|---|
- 101001 Algebra
- 101002 Analysis
- 101 Mathematics
- 102 Computer Sciences
- 102011 Formal languages
- 101009 Geometry
- 101013 Mathematical logic
- 101020 Technical mathematics
- 101025 Number theory
- 101012 Combinatorics
- 101005 Computer algebra
- 101006 Differential geometry
- 101003 Applied geometry
- 102025 Distributed systems
- Computation in Informatics and Mathematics