From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Complete translation of unsafe native code to safe bytecode.

B. Alliet, и A. Megacz. IVME, стр. 32-41. ACM, (2004)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

A Library and Platform for FPGA Bitstream Manipulation.A. Megacz. FCCM, стр. 45-54. IEEE Computer Society, (2007)Complete translation of unsafe native code to safe bytecode.B. Alliet, и A. Megacz. IVME, стр. 32-41. ACM, (2004)Hardware Design with Generalized Arrows.A. Megacz. IFL, том 7257 из Lecture Notes in Computer Science, стр. 164-180. Springer, (2011)Inferring Channel Buffer Bounds Via Linear Programming.T. Terauchi, и A. Megacz. ESOP, том 4960 из Lecture Notes in Computer Science, стр. 284-298. Springer, (2008)Multi-Stage Programs are Generalized ArrowsA. Megacz. CoRR, (2010)A coinductive monad for prop-bounded recursion.A. Megacz. PLPV, стр. 11-20. ACM, (2007)Generalized Arrows.A. Joseph. University of California, Berkeley, USA, (2014)base-search.net (ftcdlib:qt1gg3m11q).