RISC JKU

The RISC Algorithm Language (RISCAL)

[Back to RISCAL Main Page]

See below for papers on RISCAL.

Wolfgang Schreiner, Valerie Novitzká, William Steingartner: A Categorical Semantics of Relational First-Order Logic.
Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report, March 2019.
Wolfgang Schreiner: Theorem and Algorithm Checking for Courses on Logic and Formal Methods.
Post-Proceedings ThEdu’18, Pedro Quaresma and Walther Neuper (ed.), 7th International Workshop on Theorem proving components for Educational software, Oxford, United Kingdom, 18 July 2018, Electronic Proceedings in Theoretical Computer Science (EPTCS), pp. 1-20. 2019. Open Publishing Association, ISSN 2075-2180. To appear.
Lucas Payr: Formalization and Validation of Fundamental Sequence Algorithms by Computer-assisted Checking of Finite Models
Bachelor Thesis, Johannes Kepler University, Linz, December 2018.
Wolfgang Schreiner: WebEx: Web Exercises for RISCAL
Technical Report, Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria, October 2018.
See here for the current version of the manual.
Wolfgang Schreiner: Logic as a Path to Enlightenment (Work in Progress Report)
Walther Neuper (editor), CME-EI18, Computer Mathematics in Education - Enlightenment or Incantation? Workshop at CICM 2018, 11th Conference on Intelligent Computer Mathematics, Hagenberg, Austria, August 17, 2018. CEUR Workshop Proceedings, Volume 2307.
Wolfgang Schreiner: Validating Mathematical Theories and Algorithms with RISCAL
Intelligent Computer Mathematics, F. Rabe, W. Farmer, G. Passmore, A. Youssef (ed.), Proceedings of CICM 2018, 11th Conference on Intelligent Computer Mathematics, Hagenberg, Austria, August 13-17, 2018, Lecture Notes in Computer Science/Lecture Notes in Artificial Intelligence 11006, 2018. Springer, Berlin. The final authenticated version will be available online at Springer.
Wolfgang Schreiner, William Steingartner: Visualizing Logic Formula Evaluation in RISCAL
Technical Report, Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria, July 2018.
Wolfgang Schreiner, William Steingartner: Visualizing Execution Traces in RISCAL
Technical Report, Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria, March 2018.
Wolfgang Schreiner, Alexander Brunhuemer, Christoph Fürst: Teaching the Formalization of Mathematical Theories and Algorithms via the Automatic Checking of Finite Models
Post-Proceedings ThEdu'17, Pedro Quaresma and Walther Neuper: 6th International Workshop on Theorem proving components for Educational software (ThEdu'17), Gothenburg, Sweden, 6 Aug 2017, Electronic Proceedings in Theoretical Computer Science (EPTCS) 267, pp. 120-139. 2018. Open Publishing Association, ISSN 2075-2180.
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: March 11, 2019