Perfect hashing as an almost perfect subtype test
ACM Transactions on Programming Languages and Systems (TOPLAS)
Implementing statically typed object-oriented programming languages
ACM Computing Surveys (CSUR)
ORK+/XtratuM: an open partitioning platform for Ada
Ada-Europe'11 Proceedings of the 16th Ada-Europe international conference on Reliable software technologies
A new robust and efficient implementation of controlled types in the GNAT compiler
Proceedings of the 2012 ACM conference on High integrity language technology
Adapting the end-to-end flow model for distributed Ada to the ravenscar profile
ACM SIGAda Ada Letters
Hi-index | 0.00 |