HILT 2014 proceedings of the ACM Conference on High Integrity Language Technology : October 18-21, 2014, Portland, OR, USA (Ada letters, 2014)