RISC JKU

Publications

Wolfgang Schreiner.
Computer-Assisted Program Reasoning Based on a Relational Semantics of Programs.
Pedro Quaresma and Ralph-Johan Back (eds), Proceedings First Workshop on CTP Components for Educational Software (THedu'11), July 31 2011, Wrocław, Poland, number 79 of Electronic Proceedings in Theoretical Computer Science (EPTCS), pp. 124-142, February 2012. ISSN: 2075-2180.

Wolfgang Schreiner.
Computer-Assisted Program Reasoning Based on a Relational Semantics of Programs (Extended Abstract).
Pedro Quaresma and Ralph-Johan Back (eds), THedu'11, CTP Components for Educational Software, workshop associated to CADE-23, July 31 2011, Wrocław, Poland, pp. 55-59, CISUC Technical Report 2011/001, Center for Informatics and Systems, University of Coimbra, Portugal, ISSN 0874-338X.

Wolfgang Schreiner.
The RISC ProgramExplorer: Reasoning About Programs as State Relations (Extended Abstract)
Symbolic Computation in Software Science (SCSS 2010), Hagenberg, Austria, July 29-30, 2010

Reports

Wolfgang Schreiner.
The RISC ProgramExplorer - Tutorial and Manual
Technical Report, Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria, October 2011.

Wolfgang Schreiner.
A Program Calculus
Technical Report, Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria, September 2008.

Wolfgang Schreiner.
Understanding Programs
Technical Report, Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria, July 2008.

Talks

Wolfgang Schreiner.
Computer-Assisted Program Reasoning Based on a Relational Semantics of Programs
THedu'11, CTP Components for Educational Software, Workshop associated to CADE-23, Wrocław, Poland, July 31, 2011.

Wolfgang Schreiner.
Computer-Assisted Program Reasoning Based on a Relational Semantics of Programs
Faculty of Cybernetics, National Taras Shevchenko University, Kiev, Ukraine, July 15, 2011.

Wolfgang Schreiner.
The RISC ProgramExplorer: Reasoning about Programs as State Relations
Presentation in the RISC Forum, Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria, May 9, 2011.

Wolfgang Schreiner.
The RISC ProgramExplorer: Third Status Report
Presentation in the "Formal Methods" Seminar, Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria, March 16, 2011.

Wolfgang Schreiner.
The RISC ProgramExplorer: Second Status Report
Presentation in the "Formal Methods" Seminar, Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria, November 3, 2010.

Wolfgang Schreiner.
The RISC ProgramExplorer: Reasoning About Programs as State Relations
Symbolic Computation in Software Science (SCSS 2010), Hagenberg, Austria, July 29-30, 2010

Wolfgang Schreiner.
The RISC ProgramExplorer: A First Status Report
Presentation in the "Formal Methods" Seminar, Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria, March 23, 2010.

Wolfgang Schreiner.
Programs with Undefined Expressions
Presentation in the "Formal Methods" Seminar, Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria, May 21, 2008.

Wolfgang Schreiner.
Reasoning about Programs with Interruptions
Presentation in the "Formal Methods" Seminar, Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria, April 9, 2008.

Wolfgang Schreiner.
Reasoning about Programs as State Relations
Presentation in the "Formal Methods" Seminar, Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria, March 12, 2008.

Wolfgang Schreiner.
Reasoning about Control Flow Interruptions
Presentation in the "Formal Methods" Seminar, Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria, October 10, 2007.

Wolfgang Schreiner.
Reasoning about Programs and Specifications
Presentation in the "Formal Methods" Seminar, Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria, November 29, 2006.

Wolfgang Schreiner.
Programs and Specifications as State Relations
Presentation in the "Formal Methods" Seminar, Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria, October 25, 2006.


Wolfgang Schreiner
Last modified: Thu Jan 19 16:14:34 CET 2012