Weekly outline

  • General

    326.063, Wednesday, 12:30-13:00, Seminar Room Castle Hagenberg

    If you prefer another time or place (e.g., at the JKU campus), send me an email.

    In this seminar, we explore current research and systems for specifying and verifying computer programs (specification languages, program verifiers, model checkers, ...). This continues the seminar of the previous semester.

    To take part in the seminar, you have to enrol in the KUSSS system. If you also login in Moodle and register as a course participant, you will receive per email all messages posted in the News forum.

  • October 12

    • Wolfgang Schreiner: Introduction and Organization


  • October 17

    • William Steingartner, Technical University of Košice, Slovak Republic: A new approach to categorical semantics for procedural language (Monday, October 17, 2016, 15:00, Castle Seminar Room, Hagenberg)


    The semantics of programs written in some languages is concerned with the interpretation in various types of models. We present a new approach to semantics: behavior of programs, i.e. changes of states is modeled in the category of states. Category morphisms express elementary execution steps and program execution is an oriented path in the category, i.e. composition of morphisms. Our categorical model is constructed for a simple procedural language that contains all basic van Dijkstra's constructs. We enrich our approach also with procedures forming a collection of categories interconnected by functors. This method enables the repeated call of procedures, nesting of procedure calls and recursive calls. Moreover, it allows us to illustrate and accentuate dynamics of program execution.