Publisher
Springer Science and Business Media LLC
Subject
Computer Networks and Communications,Hardware and Architecture,Theoretical Computer Science,Software
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Scrapping your inefficient engine;ACM SIGPLAN Notices;2010-09-27
2. Formally Efficient Program Instrumentation;Runtime Verification;2010
3. Jones optimality and hardware virtualization;Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '08;2008
4. Closing the stage;Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '08;2008
5. Computational Divided Differencing and Divided-Difference Arithmetics;Automatic Program Development;2008