![](/img/cover-not-exists.png)
[ACM Press the 2012 ACM conference - Boston, Massachusetts, USA (2012.12.02-2012.12.06)] Proceedings of the 2012 ACM conference on High integrity language technology - HILT '12 - A new robust and efficient implementation of controlled types in the GNAT compiler
Kirtchev, Hristian HristovYear:
2012
Language:
english
DOI:
10.1145/2402676.2402693
File:
PDF, 639 KB
english, 2012