Author:
Aspinall David,Beringer Lennart,Momigliano Alberto
Subject
General Computer Science,Theoretical Computer Science
Reference31 articles.
1. A program logic for resource verification;Aspinall,2004
2. Aspinall, D., L. Beringer, M. Hofmann, H.-W. Loidl and A. Momigliano, A program logic for resources (2005), to appear in Theoretical Computer Science
3. Mobile resource guarantees for smart devices;Aspinall,2005
4. TVOC: A Translation Validator for Optimizing Compilers;Barrett,2005
5. Benton, N., Simple relational correctness proofs for static analyses and program transformations, in: N.D. Jones and X. Leroy, editors, POPL (2004), pp. 14–25
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献