Lecture Notes

Lecture notes and some supplementary material will be added here during the course of the module.

Week 1

Lecture 1. Introduction to the module.

• Slides [ full-screen | hand-out ]
  (image: Tinguely)

Lecture 2. Review of Object-orientation; What is a class?

• Slides [ full-screen | hand-out ]
  (image: Kandinsky, On White II)

Lecture 3. Review of Object-orientation; Abstract Data Types; Maude.

• Slides [ full-screen | hand-out ]
  (image: Klee, Figure in garden)
• BandCard.maude
• The Maude Homepage, including a Primer.

Task for Week 1: read the Code Conventions for Java. You will be expected to follow these conventions in the practical assignments.

Week 2

Lecture 4. Implementing BandCard.

• Slides [ full-screen | hand-out ]
  (image: Kandinsky, Structure)
• BandCard.java (API documentation)

Lecture 5. Modifiers: final and static.

• Slides [ full-screen | hand-out ]
  (image: Di Rosa, La main de l'artiste)

Lecture 6. Modifiers: scope.

• Slides [ full-screen | hand-out ]
  (image: Lichtenstein, Cubist Still Life)
• stack.maude
• Since we compared Java and Maude notations, you may also care to look at
  • point.maude and
  • pointStandardNotation.maude
• Exercise: copy the files
  • Point.java and
  • LabeledPoint.java
  and load them into Emacs (or your favourite editor for Java programs). Compile the files (Emacs: in the buffer containing LabeledPoint.java, hold down the "Control" key while you type "cvc"). Fix the compiler errors (some are quite subtle). Run the program in LabeledPoint.java (Emacs: hold down "Control" while you type "cvr").
  Oops! - how should "main()" be declared? Fix the error and run the program (and don't worry if the output looks a little odd).

Week 3

Lecture 7. Implementing ADTs.

• Slides [ full-screen | hand-out ]
  (image: Picasso, Femme en Pleurs)
• CardHand.maude
• CardHandFancy.maude (same as CardHand.maude, but with clearer notation)

Lecture 8. Implementing ADT CardHand

• Slides [ full-screen | hand-out ]
  (image: Klee, Wandbild aus dem Tempel der Sehnsucht Dorthin)
• CardHand.java (API documentation)
• CardHand2P.java (version 1.1, with the two pointers)

Lecture 9. Linked Lists

• Slides [ full-screen | hand-out ]
  (image: Mondrian, Broadway Boogie-Woogie)
• List.maude
• ListTest.maude (a simple test harness for lists)
• List.java (API documentation)
• length.maude
• addend.maude
• The Wikipedia entry on linked lists is quite good.

Week 4

Lecture 10. (Doubly) Linked Lists.

• Slides [ full-screen | hand-out ]
  (image: Max Ernst, The Gramineous Bicycle Garnished with Bells the Dappled Fire Damps and the Echinoderms Bending the Spine to Look for Caresses)
• removeLast.maude
• LList.java (API documentation)

• Slides [ full-screen | hand-out ]
  (image: Dubuffet, Le Bariole Mariole)
• LListGen.java: doubly-linked lists with type parameter (API documentation)

Lecture 12. Documentation and Javadoc.

• Slides [ full-screen | hand-out ]
  (image: Tinguely, Le Cyclop)

Week 5

Lecture 13. Propositional Logic.

• Slides [ full-screen | hand-out ]
  (image: Mondrian, Grey Tree)
• PropLog.maude

Lecture 14. Propositional Logic; interfaces.

• Slides [ full-screen | hand-out ]
  (image: Mondrian, Apple Tree)
• BinaryTree.maude

Lecture 15. Propositional Logic; Inner and anonymous classes.

• Slides [ full-screen | hand-out ]
  (image: Malevich, Aeroplane)
• Prop.java
• Operator.java
• Operators.java
• API documentation

Week 6

Lecture 16. Abstract Classes.

• Slides [ full-screen | hand-out ]
  (image: Moholy)
• Operators.java
• API documentation

Lecture 17. Exceptions.

• Slides [ full-screen | hand-out ]
  (image: Picasso)

Lecture 18. Exceptions.

• Slides [ full-screen | hand-out ]
  (image: Dubuffet)

Week 7

Lecture 19. Input/Output

• Slides [ full-screen | hand-out ]
  

Lecture 20. Network Programming

• Slides [ full-screen | hand-out ]
  (image: Klee, Twittering Machine)
• EchoServer.java

Lecture 21. Concurrency

• Slides [ full-screen | hand-out ]
  
• ThreadedEchoServer.java

Week 8

Lecture 22. Concurrency: Consumer-Producer example

• Slides [ full-screen | hand-out ]
  
• CPExample.java

Lecture 23. Concurrency: synchronization

• Slides [ full-screen | hand-out ]
  

Lecture 24. Concurrency and Deadlock

• Slides [ full-screen | hand-out ]
  

Week 9

Lecture 25. Practical Matters (no slides).

Lecture 26. Class Invariants

• Slides [ full-screen | hand-out ]
  

Lecture 27. Class Invariants: Binary Search Trees

• Slides [ full-screen | hand-out ]
  
• BinarySearchTree.maude
• BinarySearchTreeV1.java

Week 10

Lecture 28. Class invariants: AVL Trees.

• Slides [ full-screen | hand-out ]
  
• BinarySearchTree.java (with height invariant)

Lecture 29. Class invariants: AVL Trees.

• Slides [ full-screen | hand-out ]
  
• AVLTree.maude
• AVLTreeTest.maude

Lecture 30. Class invariants: AVL Trees.

• Slides [ full-screen | hand-out ]
  

Week 11

Lecture 31. Generics.

• Slides [ full-screen | hand-out ]
  
• AVLTree.java (generic version)

Lecture 32. Generic methods; implementation of generic types.

• Slides [ full-screen | hand-out ]
  
• GenericFun.java (generic interfaces and methods)

Week 12

There will be two revision lectures.

• Some revision questions are available on the Exam page