This document describes the use of the RISC ProgramExplorer, an interactive program reasoning environment that is under development at the Research Institute for Symbolic Computation (RISC). The current version is a first demonstrator skeleton that incorporates the overall technological and semantic framework (programming language and formal specification language) and integrates the RISC ProofNavigator as an interactive proving assistant. Work is going on to provide this skeleton with the envisioned program reasoning capabilities. The software runs on computers with x86-compatible processors under the GNU/Linux operating system; it is freely available under the terms of the GNU GPL.
| Original language | English |
|---|
| Place of Publication | Altenberger Straße 69, 4040 Linz |
|---|
| Publisher | JKU Linz |
|---|
| Number of pages | 74 |
|---|
| Publication status | Published - Apr 2010 |
|---|
| Name | RISC Report Series |
|---|
| No. | 10-23 |
|---|
- 101001 Algebra
- 101002 Analysis
- 101 Mathematics
- 102 Computer Sciences
- 102011 Formal languages
- 101013 Mathematical logic
- 101020 Technical mathematics
- 101025 Number theory
- 101012 Combinatorics
- 101005 Computer algebra
- 101003 Applied geometry
- 102025 Distributed systems
- Computation in Informatics and Mathematics
- Engineering and Natural Sciences (in general)