|
Search the dblp DataBase
David Aspinall:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- David Aspinall, Donald Sannella
From Specifications to Code in CASL. [Citation Graph (0, 0)][DBLP] AMAST, 2002, pp:1-14 [Conf]
- David Aspinall, Stephen Gilmore, Martin Hofmann, Donald Sannella, Ian Stark
Mobile Resource Guarantees for Smart Devices. [Citation Graph (0, 0)][DBLP] CASSIS, 2004, pp:1-26 [Conf]
- David Aspinall, Kenneth Mackenzie
Mobile Resource Guarantees and Policies. [Citation Graph (0, 0)][DBLP] CASSIS, 2005, pp:16-36 [Conf]
- David Aspinall
Types, Subtypes, and ASL+. [Citation Graph (0, 0)][DBLP] COMPASS/ADT, 1994, pp:116-131 [Conf]
- David Aspinall
Subtyping with Power Types. [Citation Graph (0, 0)][DBLP] CSL, 2000, pp:156-171 [Conf]
- David Aspinall
Subtyping with Singleton Types. [Citation Graph (0, 0)][DBLP] CSL, 1994, pp:1-15 [Conf]
- David Aspinall, Martin Hofmann
Another Type System for In-Place Update. [Citation Graph (0, 0)][DBLP] ESOP, 2002, pp:36-52 [Conf]
- Daniel Winterstein, David Aspinall, Christoph Lüth
Proof General / Eclipse: A Generic Interface for Interactive Proof. [Citation Graph (0, 0)][DBLP] IJCAI, 2005, pp:1587-1588 [Conf]
- David Aspinall, Adriana B. Compagnoni
Subtyping Dependent Types (Summary). [Citation Graph (0, 0)][DBLP] LICS, 1996, pp:86-97 [Conf]
- David Aspinall, Christoph Lüth, Burkhart Wolff
Assisted Proof Document Authoring. [Citation Graph (0, 0)][DBLP] MKM, 2005, pp:65-80 [Conf]
- David Aspinall
Proof General: A Generic Tool for Proof Development. [Citation Graph (0, 0)][DBLP] TACAS, 2000, pp:38-42 [Conf]
- David Aspinall, Lennart Beringer, Martin Hofmann, Hans-Wolfgang Loidl, Alberto Momigliano
A Program Logic for Resource Verification. [Citation Graph (0, 0)][DBLP] TPHOLs, 2004, pp:34-49 [Conf]
- David Aspinall
Type Checking Parametrised Programs and Specifications in ASL+FPC. [Citation Graph (0, 0)][DBLP] WADT, 2002, pp:129-144 [Conf]
- David Aspinall, Christoph Lüth
Preface. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2004, v:103, n:, pp:1-2 [Journal]
- David Aspinall, Christoph Lüth
Proof General meets IsaWin: Combining Text-Based And Graphical User Interfaces. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2004, v:103, n:, pp:3-26 [Journal]
- David Aspinall, Adriana B. Compagnoni
Heap-Bounded Assembly Language. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 2003, v:31, n:3-4, pp:261-302 [Journal]
- David Aspinall, Adriana B. Compagnoni
Subtyping dependent types. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2001, v:266, n:1-2, pp:273-309 [Journal]
- David Aspinall, Piotr Hoffman
Datatypes in Memory. [Citation Graph (0, 0)][DBLP] CALCO, 2007, pp:111-125 [Conf]
- David Aspinall, Christoph Lüth, Daniel Winterstein
A Framework for Interactive Proof. [Citation Graph (0, 0)][DBLP] Calculemus/MKM, 2007, pp:161-175 [Conf]
- Donald Sannella, Martin Hofmann, David Aspinall, Stephen Gilmore, Ian Stark, Lennart Beringer, Hans-Wolfgang Loidl, Kenneth Mackenzie, Alberto Momigliano, Olha Shkaravska
Mobile Resource Guarantees (project evaluation paper). [Citation Graph (0, 0)][DBLP] Trends in Functional Programming, 2005, pp:211-226 [Conf]
- David Aspinall, Jaroslav Sevcík
Formalising Java's Data Race Free Guarantee. [Citation Graph (0, 0)][DBLP] TPHOLs, 2007, pp:22-37 [Conf]
- David Aspinall, Lennart Beringer, Alberto Momigliano
Optimisation Validation. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:176, n:3, pp:37-59 [Journal]
- David Aspinall, Christoph Lüth
Special Issue on User Interfaces in Theorem Proving: Preface. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 2007, v:39, n:2, pp:107-108 [Journal]
A Tactic Language for Hiproofs. [Citation Graph (, )][DBLP]
On Validity of Program Transformations in the Java Memory Model. [Citation Graph (, )][DBLP]
Safety Guarantees from Explicit Resource Management. [Citation Graph (, )][DBLP]
Towards a Type System for Security APIs. [Citation Graph (, )][DBLP]
Proof general in Eclipse: system and architecture overview. [Citation Graph (, )][DBLP]
Personal choice and challenge questions: a security and usability assessment. [Citation Graph (, )][DBLP]
Monitoring External Resources in Java MIDP. [Citation Graph (, )][DBLP]
Towards Merging PlatOmega and PGIP. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.306secs
|