Advances in Programming Languages 2018/19 Lecture 13: Practical Tools for Java Correctness

Today’s lecture presented two different facilities designed to help write Java code that does the right thing: the Java assert statement; and JML, the Java Modeling Language.

Media Hopper Create does not permit public attachments to videos, so for the corresponding slides you will need to use this alternate server: https://wp.inf.ed.ac.uk/apl18/wp-content/uploads/sites/10/2018/10/apl18-13.pdf