Application−Oriented Languages: Project Summary - Hoare, C (2015)