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 a video presentation on RISCAL.

Click to watch video (MP4, best viewed in 1920x1080 full-screen mode)
Click to download PDF with embedded Flash animations (needs Adobe Acrobat Reader and Flash Player)
Click to download plain PDF for printing


Further slide presentations on RISCAL:

Implementing Logic by Semantics: The RISCAL Approach to Automating Program Reasoning over Finite Domains
Technical University of Kosice, Slovakia, March 28, 2018.
Semantic Technologies for CS Education
Technical University of Kosice, Slovakia, July 11, 2017.


Wolfgang Schreiner
Last modified: March 28, 2018