Realizing XML Driven Algorithm Visualization
- 作者Thomas Naps; Myles McNally; Scott Grissom
- 卷第178卷
- 印刷ISSN1571-0661
- 文件大小370.26KB
- 发表时间2007
- DOI10.1016/j.entcs.2007.01.042
- 页码129-135
[ACM Press the 2007 workshop - Freiburg, Germany (2007.10.05-2007.10.05)] Proceedings of the 2007 workshop on Programming languages meets program verification - PLPV '07 - A coinductive monad for prop-bounded recursionMegacz, Adam · 2007
[ACM Press the 2004 workshop - Washington, D.C. (2004.06.07-2004.06.07)] Proceedings of the 2004 workshop on Interpreters, virtual machines and emulators - IVME '04 - Complete translation of unsafe native code to safe bytecodeAlliet, Brian; Megacz, Adam · 2004
[IEEE 15th Annual IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM 2007) - Napa, CA, USA (2007.04.23-2007.04.25)] 15th Annual IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM 2007) - A Library and Platform for FPGA Bitstream ManipulationMegacz, Adam · 2007