Folgen
Sophia Drossopoulou
Sophia Drossopoulou
Professor, Imperial College London
Bestätigte E-Mail-Adresse bei imperial.ac.uk - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Ownership, encapsulation and the disjointness of type and effect
D Clarke, S Drossopoulou
Proceedings of the 17th ACM SIGPLAN conference on Object-oriented …, 2002
3372002
Towards type inference for JavaScript
C Anderson, P Giannini, S Drossopoulou
ECOOP 2005-Object-Oriented Programming: 19th European Conference, Glasgow …, 2005
2622005
Session types for object-oriented languages
M Dezani-Ciancaglini, D Mostrous, N Yoshida, S Drossopoulou
European Conference on Object-Oriented Programming, 328-352, 2006
1922006
Java is type safe—probably
S Drossopoulou, S Eisenbach
ECOOP'97—Object-Oriented Programming: 11th European Conference Jyväskylä …, 1997
1881997
Is the Java type system sound?
S Drossopoulou, S Eisenbach, S Khurshid
Theory and practice of object systems 5 (1), 3-24, 1999
1571999
Generic universe types
W Dietl, S Drossopoulou, P Müller
ECOOP 2007–Object-Oriented Programming: 21st European Conference, Berlin …, 2007
1472007
Fickle: Dynamic Object Re-classification
S Drossopoulou, F Damiani, M Dezani-Ciancaglini, P Giannini
European Conference on Object-Oriented Programming, 130-149, 2001
1332001
Deny capabilities for safe, fast actors
S Clebsch, S Drossopoulou, S Blessing, A McNeil
Proceedings of the 5th International Workshop on Programming Based on Actors …, 2015
1282015
More dynamic object reclassification: Fickle∥
S Drossopoulou, F Damiani, M Dezani-Ciancaglini, P Giannini
ACM Transactions on Programming Languages and Systems (TOPLAS) 24 (2), 153-191, 2002
1142002
Multiple ownership
NR Cameron, S Drossopoulou, J Noble, MJ Smith
ACM SIGPLAN Notices 42 (10), 441-460, 2007
1082007
Describing the semantics of Java and proving type soundness
S Drossopoulou, S Eisenbach
Formal Syntax and Semantics of Java, 41-80, 1999
981999
Chai: Traits for Java-Like Languages
C Smith, S Drossopoulou
ECOOP 2005-Object-Oriented Programming: 19th European Conference, Glasgow …, 2005
94*2005
Zeno: An automated prover for properties of recursive data structures
W Sonnex, S Drossopoulou, S Eisenbach
Tools and Algorithms for the Construction and Analysis of Systems: 18th …, 2012
892012
A distributed object-oriented language with session types
M Dezani-Ciancaglini, N Yoshida, A Ahern, S Drossopoulou
International Symposium on Trustworthy Global Computing, 299-318, 2005
802005
Polymorphic bytecode: Compositional compilation for Java-like languages
D Ancona, F Damiani, S Drossopoulou, E Zucca
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of …, 2005
772005
What is Java binary compatibility?
S Drossopoulou, D Wragg, S Eisenbach
Proceedings of the 13th ACM SIGPLAN conference on Object-oriented …, 1998
771998
Automatic generation of self-monitoring MASs from multiparty global session types in Jason
D Ancona, S Drossopoulou, V Mascardi
Declarative Agent Languages and Technologies X: 10th International Workshop …, 2013
722013
A fragment calculus-towards a model of separate compilation, linking and binary compatibility
S Drossopoulou, S Eisenbach, D Wragg
Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158 …, 1999
721999
Writing safe smart contracts in flint
F Schrans, S Eisenbach, S Drossopoulou
Companion Proceedings of the 2nd International Conference on the Art …, 2018
692018
Tribe: a simple virtual class calculus
D Clarke, S Drossopoulou, J Noble, T Wrigstad
Proceedings of the 6th international conference on Aspect-oriented software …, 2007
692007
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20