The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

David Aspinall: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. David Aspinall, Donald Sannella
    From Specifications to Code in CASL. [Citation Graph (0, 0)][DBLP]
    AMAST, 2002, pp:1-14 [Conf]
  2. 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]
  3. David Aspinall, Kenneth Mackenzie
    Mobile Resource Guarantees and Policies. [Citation Graph (0, 0)][DBLP]
    CASSIS, 2005, pp:16-36 [Conf]
  4. David Aspinall
    Types, Subtypes, and ASL+. [Citation Graph (0, 0)][DBLP]
    COMPASS/ADT, 1994, pp:116-131 [Conf]
  5. David Aspinall
    Subtyping with Power Types. [Citation Graph (0, 0)][DBLP]
    CSL, 2000, pp:156-171 [Conf]
  6. David Aspinall
    Subtyping with Singleton Types. [Citation Graph (0, 0)][DBLP]
    CSL, 1994, pp:1-15 [Conf]
  7. David Aspinall, Martin Hofmann
    Another Type System for In-Place Update. [Citation Graph (0, 0)][DBLP]
    ESOP, 2002, pp:36-52 [Conf]
  8. 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]
  9. David Aspinall, Adriana B. Compagnoni
    Subtyping Dependent Types (Summary). [Citation Graph (0, 0)][DBLP]
    LICS, 1996, pp:86-97 [Conf]
  10. David Aspinall, Christoph Lüth, Burkhart Wolff
    Assisted Proof Document Authoring. [Citation Graph (0, 0)][DBLP]
    MKM, 2005, pp:65-80 [Conf]
  11. David Aspinall
    Proof General: A Generic Tool for Proof Development. [Citation Graph (0, 0)][DBLP]
    TACAS, 2000, pp:38-42 [Conf]
  12. 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]
  13. David Aspinall
    Type Checking Parametrised Programs and Specifications in ASL+FPC. [Citation Graph (0, 0)][DBLP]
    WADT, 2002, pp:129-144 [Conf]
  14. David Aspinall, Christoph Lüth
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:103, n:, pp:1-2 [Journal]
  15. 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]
  16. 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]
  17. 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]
  18. David Aspinall, Piotr Hoffman
    Datatypes in Memory. [Citation Graph (0, 0)][DBLP]
    CALCO, 2007, pp:111-125 [Conf]
  19. David Aspinall, Christoph Lüth, Daniel Winterstein
    A Framework for Interactive Proof. [Citation Graph (0, 0)][DBLP]
    Calculemus/MKM, 2007, pp:161-175 [Conf]
  20. 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]
  21. David Aspinall, Jaroslav Sevcík
    Formalising Java's Data Race Free Guarantee. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 2007, pp:22-37 [Conf]
  22. 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]
  23. 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]

  24. A Tactic Language for Hiproofs. [Citation Graph (, )][DBLP]


  25. On Validity of Program Transformations in the Java Memory Model. [Citation Graph (, )][DBLP]


  26. Safety Guarantees from Explicit Resource Management. [Citation Graph (, )][DBLP]


  27. Towards a Type System for Security APIs. [Citation Graph (, )][DBLP]


  28. Proof general in Eclipse: system and architecture overview. [Citation Graph (, )][DBLP]


  29. Personal choice and challenge questions: a security and usability assessment. [Citation Graph (, )][DBLP]


  30. Monitoring External Resources in Java MIDP. [Citation Graph (, )][DBLP]


  31. Towards Merging PlatOmega and PGIP. [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.008secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002