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