Certified memory management for proof-carrying code.

Autor: Hamid, Nadeem Abdul
Zdroj: Proceedings of the 43rd Annual Southeast Regional Conference (9781595930590); 3/18/2005, p248-249, 2p
Databáze: Complementary Index
Externí odkaz: