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
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.
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.