MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Sophia Drossopoulou" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

58 documents found, showing 1 through 10. Next 10 →

ATOM

Formalising composition-oriented programming
by Sophia Drossopoulou — 1999 — In Proceedings of the 1999 ECOOP Workshop on Aspect-Oriented Programming
…Abstract Formalising Composition-Oriented Programming Mark Skipper and Sophia Drossopoulou…
Cited by 2 (0 self) – Add To MetaCart

Three Case Studies in Fickle ii
by Sophia Drossopoulou — 2002
…Three Case Studies in Fickleii Sophia Drossopoulou, Imperial College March 2002 In this paper we…
Cited by 1 (0 self) – Add To MetaCart

Towards an model of Java dynamic linking and verification
by Sophia Drossopoulou — 2001 — TIC’00 - Third Workshop on Types in Compilation (Selected Papers), volume 2071 of Lecture Notes in Computer Science
…Towards an abstract model of Java dynamic linking and verification Sophia Drossopoulou Department…
Cited by 1 (1 self) – Add To MetaCart

An abstract model of Java dynamic linking and loading
by Sophia Drossopoulou — 2001 — Proceedings of the Third International Workshop on Types in Compilation (TIC 2000), volume 2071 of LNCS
…An abstract model of Java dynamic linking and loading Sophia Drossopoulou� Department of Computing…
Cited by 19 (5 self) – Add To MetaCart

Cheaper Reasoning with Ownership Types
by Matthew Smith, Sophia Drossopoulou — 2003 — Utrecht University
…Cheaper Reasoning with Ownership Types – Work in Progress – Matthew Smith and Sophia Drossopoulou…
Cited by 5 (1 self) – Add To MetaCart

Manifestations of Java Dynamic Linking - an approximate understanding at source language level
by Sophia Drossopoulou, Susan Eisenbach — 2002 — In [12
…. Introduction Sophia Drossopoulou and Susan Eisenbach Department of Computing, Imperial College, LONDON [sd…
Cited by 1 (0 self) – Add To MetaCart

Chai: Traits for Java-like Languages
by Charles Smith, Sophia Drossopoulou — 2005 — In ECOOP’05
…Chai: Traits for Java-like Languages Charles Smith and Sophia Drossopoulou Department of Computing…
Cited by 4 (0 self) – Add To MetaCart

Flexible Dynamic Linking
by Alex Buckley, Sophia Drossopoulou — 2004 — In 6th Intl. Workshop on Formal Techniques for Java Programs 2004
…Flexible Dynamic Linking Alex Buckley and Sophia Drossopoulou Department of Computing, Imperial…
Cited by 14 (6 self) – Add To MetaCart

Inner Classes Visit Aliasing
by Matthew Smith, Sophia Drossopoulou — 2003 — Number
…Inner Classes visit Aliasing Matthew Smith, Sophia Drossopoulou Imperial College of Science…
Cited by 3 (2 self) – Add To MetaCart

Towards an Operational Semantics and Proof of Type Soundness for Java
by Sophia Drossopoulou, Susan Eisenbach — 1998 — In Formal Syntax and Semantics of Java
…Towards an Operational Semantics and Proof of Type Soundness for Java Sophia Drossopoulou and Susan…
Cited by 18 (2 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB