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 assertstatement; and JML, the Java Modeling Language.
The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336, VAT Registration Number GB 592 9507 00, and is acknowledged by the UK authorities as a “Recognised body” which has been granted degree awarding powers.