Hristian Hristov Kirtchev. A new robust and efficient implementation of controlled types in the GNAT compiler. In Ben Brosgol, Jeff Boleng, S. Tucker Taft, editors, Proceedings of the 2012 ACM Conference on High Integrity Language Technology, HILT '12, December 2-6, 2012, Boston, Massachusetts, USA. pages 43-50, ACM, 2012. [doi]
Abstract is missing.