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.
| Originalsprache | Englisch |
|---|
| Erscheinungsort | Hagenberg |
|---|
| Herausgeber | RISC JKU |
|---|
| Seitenumfang | 72 |
|---|
| Publikationsstatus | Veröffentlicht - Jän. 2012 |
|---|
| Name | RISC Report Series |
|---|
| Nr. | 12-04 |
|---|
- 101001 Algebra
- 101002 Analysis
- 101 Mathematik
- 102 Informatik
- 102011 Formale Sprachen
- 101009 Geometrie
- 101013 Mathematische Logik
- 101020 Technische Mathematik
- 101025 Zahlentheorie
- 101012 Kombinatorik
- 101005 Computeralgebra
- 101006 Differentialgeometrie
- 101003 Angewandte Geometrie
- 102025 Verteilte Systeme
- Computation in Informatics and Mathematics