Project evaluation paper: Mobile resource guarantees
暂无分享,去创建一个
Stephen Gilmore | Hans-Wolfgang Loidl | Donald Sannella | David Aspinall | Alberto Momigliano | Lennart Beringer | Ian Stark | Martin Hofmann | Olha Shkaravska | Kenneth Mackenzie
[1] David Aspinall,et al. Optimisation Validation , 2007, COCV@ETAPS.
[2] David Pichardie,et al. Proof-carrying code from certified abstract interpretation and fixpoint compression , 2006, Theor. Comput. Sci..
[3] David Cachera,et al. Certified Memory Usage Analysis , 2005, FM.
[4] Andrew W. Appel,et al. Foundational proof-carrying code , 2001, Proceedings 16th Annual IEEE Symposium on Logic in Computer Science.
[5] Kenneth MacKenzie,et al. Camelot and Grail: resource-aware functional programming for the JVM , 2003, Trends in Functional Programming.
[6] Martin Hofmann,et al. Static prediction of heap space usage for first-order functional programs , 2003, POPL '03.
[7] Tobias Nipkow,et al. Prototyping Proof Carrying Code , 2004, IFIP TCS.
[8] Michal Konecný,et al. Functional In-Place Update with Layered Datatype Sharing , 2003, TLCA.
[9] George C. Necula,et al. A certifying compiler for Java , 2000, PLDI '00.
[10] Kenneth MacKenzie,et al. O'Camelot: adding objects to a resource-aware functional language , 2003, Trends in Functional Programming.
[11] Martin Hofmann,et al. A Program Logic for Resource Verification , 2004, TPHOLs.
[12] G. Barthe,et al. Mobile Resource Guarantees for Smart Devices , 2005 .
[13] Stephen Gilmore,et al. Mobile Resource Guarantees for Smart Devices , 2004, CASSIS.
[14] Kevin Barraclough,et al. I and i , 2001, BMJ : British Medical Journal.
[15] George C. Necula,et al. The open verifier framework for foundational verifiers , 2005, TLDI '05.
[16] Kenneth MacKenzie,et al. Mobile Resource Guarantees and Policies , 2005, CASSIS.
[17] Kenneth MacKenzie,et al. Grail: a functional form for imperative mobile code , 2003, Electron. Notes Theor. Comput. Sci..
[18] Peter Müller,et al. A Logic for Bytecode , 2004 .
[19] Thomas Kleymann,et al. Hoare logic and VDM : machine-checked soundness and completeness proofs , 1998 .
[20] Martin Hofmann,et al. A program logic for resources , 2007, Theor. Comput. Sci..
[21] Martin Hofmann,et al. Automatic Certification of Heap Consumption , 2004, LPAR.