MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "David Aspinall" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 26 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Types, Subtypes, and ASL+  
  • by David Aspinall — 1995 — In Recent Trends in Data Type Specification, Lecture Notes in Computer Science 906
  • …Types, Subtypes, and ASL+ David Aspinall Department of Computer Science, University of Edinburgh…
  • Cited by 1 (0 self) – Add To MetaCart
  • Subtyping with Power Types  
  • by David Aspinall — 2000 — of Lecture Notes in Computer Science
  • …Subtyping with Power Types # David Aspinall LFCS, University of Edinburgh, U.K. http…
  • Cited by 3 (0 self) – Add To MetaCart
  • Subtyping with Singleton Types  
  • by David Aspinall — 1995 — In Eighth International Workshop on Computer Science Logic
  • …Subtyping with Singleton Types David Aspinall Department of Computer Science, University…
  • Cited by 37 (5 self) – Add To MetaCart
  • Reference  
  • by David Aspinall, Security Levels — 2006
  • …Security Models Computer Security Lecture 6 David Aspinall School of Informatics University…
  • Add To MetaCart
  • Mobile Resource Guarantees and Policies  
  • by David Aspinall, Kenneth Mackenzie — 2005 — In Proc. Intl. Workshop on Construction and Analysis of Safe, Secure and Interoperable Smart Devices (CASSIS 2005
  • …Mobile Resource Guarantees and Policies David Aspinall and Kenneth MacKenzie LFCS, School…
  • Cited by 4 (2 self) – Add To MetaCart
  • From specifications to code in Casl  
  • by David Aspinall, Donald Sannella — 2002 — Proc. 9th Intl. Conf. on Algebraic Methodology and Software Technology, AMAST'02. Springer LNCS 2422, 1--14 (2002). [ABK + 02
  • …From specifications to code in Casl David Aspinall and Donald Sannella Laboratory for Foundations…
  • Cited by 2 (1 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB