000003931 001__ 3931 000003931 005__ 20231206121125.0 000003931 0247_ $$2DOI$$a10.6083/g732d931g 000003931 037__ $$aIR 000003931 245__ $$aA dependently typed assembly language 000003931 269__ $$a1999 000003931 336__ $$aArticle 000003931 520__ $$acse-99-008 000003931 540__ $$fCC BY 000003931 542__ $$fIn copyright - single owner 000003931 691__ $$aOregon Graduate Institute 000003931 7001_ $$aXi, Hongwei 000003931 8564_ $$9a1821645-b4a4-4e94-998c-ad439407be5b$$s403833$$uhttps://digitalcollections.ohsu.edu/record/3931/files/csetech-248.pdf 000003931 905__ $$a/rest/prod/g7/32/d9/31/g732d931g 000003931 980__ $$aScholars Archive