D. Aspinall

Available identifiers

Publication	Date of Publication	Type
What's in a theorem name?	2016-10-27	Paper
EviCheck: Digital Evidence for Android	2016-01-08	Paper
Type inference for ZFH	2015-11-20	Paper
A semantic basis for proof queries and transformations	2014-01-17	Paper
\textsc{Polar}: a framework for proof refactoring	2014-01-17	Paper
Capturing hiproofs in HOL light	2013-08-09	Paper
An Essence of SSReflect	2012-09-07	Paper
Querying proofs	2012-06-15	Paper
Towards Formal Proof Script Refactoring	2011-07-29	Paper
Tactics for hierarchical proof	2011-02-19	Paper
Type checking parametrised programs and specifications in \(\text{ASL}+_{\text{FPC}}\).	2010-04-20	Paper
Towards a Type System for Security APIs	2009-10-22	Paper
Datatypes in Memory	2009-03-10	Paper
Safety Guarantees from Explicit Resource Management	2009-02-12	Paper
A Tactic Language for Hiproofs	2009-01-27	Paper
Formalising Java’s Data Race Free Guarantee	2008-09-02	Paper
A type system with usage aspects	2008-03-27	Paper
A program logic for resources	2007-12-14	Paper
A Framework for Interactive Proof	2007-11-28	Paper
Mathematical Knowledge Management	2007-02-12	Paper
Theorem Proving in Higher Order Logics	2005-08-18	Paper
https://portal.mardi4nfdi.de/entity/Q4738344	2004-08-11	Paper
Heap-bounded assembly language	2004-08-06	Paper
https://portal.mardi4nfdi.de/entity/Q4474826	2004-07-21	Paper
Subtyping dependent types	2002-03-03	Paper
https://portal.mardi4nfdi.de/entity/Q2753671	2001-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q2729065	2001-11-06	Paper
https://portal.mardi4nfdi.de/entity/Q3657404	1982-01-01	Paper

This page was built for person: D. Aspinall