Computing Publications

Publications Home » Authors » Mr Alexander Summers

Authors

Mr Alexander Summers

8 publications for this author.

Journal Special Issue Article

Universe Types for Topology and Encapsulation [PDF]
David Cunningham, Werner Dietl, Sophia Drossopoulou, Adrian Francalanza, Peter , Alexander Summers
Formal Methods for Components (FMCO) 2007
Volume 5382, pp.72–112
Lecture Notes in Computer Science, Springer Verlag
2008

Electronic Journal Article

Universe-Type-Based Verification Techniques for Mutable Static Fields and Methods [PDF]
Alexander Summers, Sophia Drossopoulou, Peter Mueller
Journal for Object Technology
April, 2009

Conference and Workshop Papers

Towards a Semantic Model for Java Wildcards [PDF]
Alexander Summers, Nicholas Cameron, Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou
FTfJP - 2010
ACM Press
June, 2010
Considerate Reasoning and the Composite Design Pattern [PDF]
Alexander Summers, Sophia Drossopoulou
VMCAI'2010
Springer-Verlag, LNCS
January, 2010
The Need for Flexible Object Invariants [PDF]
Alexander Summers, Sophia Drossopoulou, Peter
International Workshop on Aliasing, Confinement and Ownership in object-oriented programming (IWACO) 2009
ACM Digital Library, ACM
July, 2009
A Unified Framework for Verification Techniques for Object Invariants [PDF]
Sophia Drossopoulou, Adrian Francalanza, Peter , Alexander Summers
ECOOP 2008
Lecture Notes in Computer Science
July, 2008
A Universe-Type-Based Verification Technique for Mutable Static Fields and Methods (Work in Progress) [PDF]
Alexander Summers, Sophia Drossopoulou, Peter
Formal techniques for Java-like Programming
July, 2008
Approaches to Polymorphism in Classical Sequent Calculus [PDF]
Alexander Summers, Steffen van Bakel
ESOP 2006
Springer Verlag
March, 2006

BibTeX file for these publications

 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.