RISC-Linz RISC-Linz Research Institute for Symbolic Computation  
about
|
people
|
publications
|
research
|
education
|
industry
|
conferences
|
media
|
projects
internal
description  |  members  |  activities  |  seminar  |  publications  |  software
  
search:
  

The RISC Algorithm Language (RISCAL)

[Back to RISCAL Main Page]

See below for papers on RISCAL.

Wolfgang Schreiner, Alexander Brunhuemer, Christoph F├╝rst: Teaching the Formalization of Mathematical Theories and Algorithms via the Automatic Checking of Finite Models
Draft paper, Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, November 2017.
Alexander Brunhuemer: Validating the Formalization of Theories and Algorithms of Discrete Mathematics by the Computer-Supported Checking of Finite Models
Bachelor Thesis, Johannes Kepler University, Linz, September 2017.
Wolfgang Schreiner: The RISC Algorithm Language - Tutorial and Reference Manual (Version 1.0).
Technical Report, Johannes Kepler University, Linz, January 2017.
See here for the current version of the manual.


Wolfgang Schreiner
Last modified: September 21, 2017