Informatics Report Series


David Aspinall

Related Pages

Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index

Report Date Title
EDI-INF-RR-1256 Jun 2008 PCC 2008: Second International Workshop on Proof-Carrying Code --- Workshop Programme and Contributed Papers
EDI-INF-RR-1188 2007 Mobile resource guarantees
EDI-INF-RR-1148 Sep 2004 A Program Logic for Resource Verification
EDI-INF-RR-1121 Sep 2007 Java Memory Model Examples: Good, Bad and Ugly
EDI-INF-RR-0958 2007 Formalising Java's Data-Race-Free Guarantee
EDI-INF-RR-0859 Oct 2006 Explicit Accounting of Resources using Resource Managers
EDI-INF-RR-0760 2005 Mobile Resource Guarantees for Smart Devices
EDI-INF-RR-0709 04 2004 Proof General Version 3.5
EDI-INF-RR-0585 Jan 2005 Dependent Types
EDI-INF-RR-0584 Sep 2003 Heap Bounded Assembly Language
EDI-INF-RR-0574 Sep 2001 Subtyping Dependent Types
EDI-INF-RR-0509 Dec 2005 Optimisation Validation
EDI-INF-RR-0296 Dec 2007 A Program Logic for Resources
EDI-INF-RR-0020 May 2000 Isamode --- Theorem Proving with Isabelle inside Emacs

Home : Publications : Author 

Please mail <> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh