376 search results - page 76 / 76 » A Controlled Language for the Specification of Contracts |
CASES
2010
ACM
13 years 3 months ago
2010
ACM
Dynamic binary translators (DBTs) are becoming increasingly important because of their power and flexibility. However, the high memory demands of DBTs present an obstacle for all ...