We report on initial results concerning the visualization of execution traces of algorithms that are formally specified and modeled in the RISC Algorithm Language (RISCAL); these algorithms are executed and visualized in the associated software system which also validates their correctness by checking the satisfaction of the formal contracts. This work has been stimulated by corresponding visualization of Jane, a language with an associated toolkit that has been developed to demonstrate the categorical semantics of programming languages. By the new visualization extension of RISCAL, the suitability of the software for the purpose of computer science education shall be improved.
| Originalsprache | Englisch |
|---|
| Erscheinungsort | Hagenberg, Linz |
|---|
| Herausgeber | RISC, JKU |
|---|
| Seitenumfang | 7 |
|---|
| Publikationsstatus | Veröffentlicht - März 2018 |
|---|
| Name | RISC Report Series / Technical report |
|---|
- 101 Mathematik
- 101001 Algebra
- 101005 Computeralgebra
- 101009 Geometrie
- 101012 Kombinatorik
- 101013 Mathematische Logik
- 101020 Technische Mathematik
- Computation in Informatics and Mathematics