Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Aspinall, David - School of Informatics, University of Edinburgh
Datatypes in Memory David Aspinall1
A Framework for Interactive Proof David Aspinall1
Proof General / Eclipse: A Generic Interface for Interactive Proof Daniel Winterstein1
Subtyping with Power Types # David Aspinall
Subtyping Dependent Types David Aspinall
Parsing, Editing, Proving: The PGIP Display Protocol
Subtyping Dependent Types David Aspinall
Heap Bounded Assembly Language David Aspinall (da@ed.ac.uk)
Optimisation Validation David Aspinall 1
Formalising Java's Data Race Free Guarantee David Aspinall and Jaroslav Sevcik
Mobile Resource Guarantees for Smart Devices David Aspinall1
Introduction Architecture
Subtyping with Singleton Types David Aspinall
From specifications to code in Casl David Aspinall and Donald Sannella
Subtyping Dependent Types David Aspinall
Another type system for inplace update David Aspinall 1 and Martin Hofmann 2
Subtyping with Power Types # David Aspinall
Assisted Proof Document Authoring David Aspinall1
Subtyping Dependent Types David Aspinall Adriana Compagnoni*
From specifications to code in Casl David Aspinall and Donald Sannella
Mobile Resource Guarantees and Policies David Aspinall and Kenneth MacKenzie
A Program Logic for Resource Verification David Aspinall1, Lennart Beringer1, Martin Hofmann2, Hans-Wolfgang Loidl2,
Heap Bounded Assembly Language David Aspinall (da@ed.ac.uk)
Proof General meets IsaWin Combining Text-Based And Graphical User Interfaces
Proof General: A Generic Tool
Subtyping with Power Types David Aspinall
Type checking Parametrised Programs and Specifications in ASL+FPC
Subtyping with Singleton Types David Aspinall
Another type system for in-place update David Aspinall1
