Lecture
Abschnittsübersicht
-
The lecture will be based on a not yet published manuscript "Thinking Programs" that covers in Chapter 6 the topic of "Abstract Data Types"; in the course we will walk through parts of this chapter.
- Chapter 6: Abstract Datatypes (teaser excerpt only)
- Thinking Programs (draft manuscript, password will be handed out in class)
Variously we will also use slides and other material from previous instances of this course (not aligned with above chapter):
- Introduction (4 on 1).
- Abstract Datatypes (4 on 1).
- CafeOBJ (4 on 1).
- Logic (4 on 1).
- Specifications: Formal and Informal - A Case Study (restricted)
- Specifications: Formal and Informal - A Case Study (restricted)
- Term Algebras (4 on 1).
- Initial Specifications (4 on 1).
- Executing Specifications (4 on 1).
- Specifying in the Large (4 on 1).
- Case Study - A Multiple Window Environment (restricted)
- A Case Study - A Lexical Analyzer (restricted)
- A Gentle Introduction to CASL (original site).
Restricted Area (password handed out in class)
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 (Chapter 6, restricted). - Chapter 6: Abstract Datatypes (teaser excerpt only)