Result: Foundational Typed Assembly Language with Certified Garbage Collection

Title:
Foundational Typed Assembly Language with Certified Garbage Collection
Source:
First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07) Theoretical Aspects of Software Engineering, 2007. TASE '07. First Joint IEEE/IFIP Symposium on. :326-338 Jun, 2007
Relation:
First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering
Database:
IEEE Xplore Digital Library