Section outline

  • The lecture will be based on Chapter 6 "Abstract Datatypes" of the book "Thinking Programs"; in the course we will walk through most parts of this chapter (the book can be freely downloaded from the JKU campus network).

    Thinking Programs

    Additional Material

    Literature

    Jacques Loeckx, Hans-Dieter Ehrich, Markus Wolf: Specification of Abstract Datatypes, John Wiley & Teubner, Chichester, 1996. Amazon.at Page.
    Donald Sannella, Andrzej Tarlecki: Foundations of Algebraic Specification and Formal Software Development, Springer, Berlin, 2012. Amazon.at Page.
    Wolfgang Schreiner: Thinking Programs, Springer, Cham, Switzerland, 2021. Amazon.at Page.