Welcome to ACM SIGAda's Annual International Conference High Integrity Language Technology - HILT 2012

摘要

Welcome to Boston and to HILT 2012, this year's annual international conference of the ACM Special Interest Group on the Ada Programming Language (SIGAda). HILT 2012 features a top-quality technical program focused on the issues associated with high integrity software - where a failure could cause loss of human life or have other unacceptable consequences - and on the solutions provided by language technology. "Language technology" here encompasses not only programming languages but also languages for expressing specifications, program properties, domain models, and other attributes of the software or the overall system.