2009 | ||
---|---|---|
56 | EE | Nicholas R. Cameron, Sophia Drossopoulou: Existential Quantification for Variant Ownership. ESOP 2009: 128-142 |
55 | EE | Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou, Dimitris Mostrous, Nobuko Yoshida: Objects and session types. Inf. Comput. 207(5): 595-641 (2009) |
54 | EE | Sara Capecchi, Mario Coppo, Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou, Elena Giachino: Amalgamating sessions and methods in object-oriented languages with generics. Theor. Comput. Sci. 410(2-3): 142-167 (2009) |
2008 | ||
53 | Sophia Drossopoulou: Programming Languages and Systems, 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings Springer 2008 | |
52 | EE | Nicholas R. Cameron, Sophia Drossopoulou, Erik Ernst: A Model for Java with Wildcards. ECOOP 2008: 2-26 |
51 | EE | Sophia Drossopoulou, Adrian Francalanza, Peter Müller, Alexander J. Summers: A Unified Framework for Verification Techniques for Object Invariants. ECOOP 2008: 412-437 |
50 | EE | Sophia Drossopoulou, Adrian Francalanza, Peter Müller, Alexander J. Summers: A Unified Framework for Verification Techniques for Object Invariants. Types, Logics and Semantics for State 2008 |
49 | EE | Ferruccio Damiani, Elena Giachino, Paola Giannini, Sophia Drossopoulou: A type safe state abstraction for coordination in Java -like languages. Acta Inf. 45(7-8): 479-536 (2008) |
2007 | ||
48 | EE | Dave Clarke, Sophia Drossopoulou, James Noble, Tobias Wrigstad: Tribe: a simple virtual class calculus. AOSD 2007: 121-134 |
47 | EE | Werner Dietl, Sophia Drossopoulou, Peter Müller: Generic Universe Types. ECOOP 2007: 28-53 |
46 | EE | Dave Clarke, Sophia Drossopoulou, James Noble, Tobias Wrigstad: Aliasing, Confinement, and Ownership in Object-Oriented Programming. ECOOP Workshops 2007: 40-49 |
45 | EE | Dave Cunningham, Werner Dietl, Sophia Drossopoulou, Adrian Francalanza, Peter Müller, Alexander J. Summers: Universe Types for Topology and Encapsulation. FMCO 2007: 72-112 |
44 | EE | Nicholas R. Cameron, Sophia Drossopoulou, James Noble, Matthew J. Smith: Multiple ownership. OOPSLA 2007: 441-460 |
43 | EE | Davide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca: A provenly correct translation of Fickle into Java. ACM Trans. Program. Lang. Syst. 29(2): (2007) |
2006 | ||
42 | EE | Mariangiola Dezani-Ciancaglini, Dimitris Mostrous, Nobuko Yoshida, Sophia Drossopoulou: Session Types for Object-Oriented Languages. ECOOP 2006: 328-352 |
41 | EE | Davide Ancona, Sophia Drossopoulou, Atsushi Igarashi, Gary T. Leavens, Arnd Poetzsch-Heffter, Elena Zucca: Formal Techniques for Java-Like Programs. ECOOP Workshops 2006: 53-58 |
40 | EE | Sophia Drossopoulou, David Clarke, James Noble: Types for Hierarchic Shapes. ESOP 2006: 1-6 |
39 | EE | Mariangiola Dezani-Ciancaglini, Elena Giachino, Sophia Drossopoulou, Nobuko Yoshida: Bounded Session Types for Object Oriented Languages. FMCO 2006: 207-245 |
38 | EE | Sophia Drossopoulou, A. Petrounias, Alex Buckley, Susan Eisenbach: SCHOOL: a Small Chorded Object-Oriented Language. Electr. Notes Theor. Comput. Sci. 135(3): 37-47 (2006) |
37 | EE | Sophia Drossopoulou, Giovanni Lagorio, Susan Eisenbach: A flexible model for dynamic linking in Java and C#. Theor. Comput. Sci. 368(1-2): 1-29 (2006) |
2005 | ||
36 | EE | Christopher Anderson, Paola Giannini, Sophia Drossopoulou: Towards Type Inference for JavaScript. ECOOP 2005: 428-452 |
35 | EE | Charles Smith, Sophia Drossopoulou: Chai: Traits for Java-Like Languages. ECOOP 2005: 453-478 |
34 | EE | Davide Ancona, Ferruccio Damiani, Sophia Drossopoulou, Elena Zucca: Polymorphic bytecode: compositional compilation for Java-like languages. POPL 2005: 26-37 |
33 | EE | Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, Alexander Ahern, Sophia Drossopoulou: A Distributed Object-Oriented Language with Session Types. TGC 2005: 299-318 |
32 | EE | Viviana Bono, Michele Bugliesi, Sophia Drossopoulou: Preface. Electr. Notes Theor. Comput. Sci. 138(2): 1-2 (2005) |
31 | EE | Alex Buckley, Michelle Murray, Susan Eisenbach, Sophia Drossopoulou: Flexible Bytecode for Linking in .NET. Electr. Notes Theor. Comput. Sci. 141(1): 75-92 (2005) |
2003 | ||
30 | EE | David Clarke, Sophia Drossopoulou, James Noble: Aliasing, Confinement, and Ownership in Object-Oriented Programming. ECOOP Workshops 2003: 197-207 |
29 | EE | Sophia Drossopoulou, Giovanni Lagorio, Susan Eisenbach: Flexible Models for Dynamic Linking. ESOP 2003: 38-53 |
28 | EE | Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini: Refined Effects for Unanticipated Object Re-classification: Fickle3. ICTCS 2003: 97-110 |
27 | EE | Christopher Anderson, Sophia Drossopoulou: BabyJ: from object based to class based programming via types. Electr. Notes Theor. Comput. Sci. 82(7): (2003) |
26 | EE | Christopher Anderson, Franco Barbanera, Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou: Can addresses be types? (A case study: objects with delegation). Electr. Notes Theor. Comput. Sci. 82(7): (2003) |
2002 | ||
25 | EE | Sophia Drossopoulou, Susan Eisenbach, Gary T. Leavens, Arnd Poetzsch-Heffter, Erik Poll: Formal Techniques for Java-like Programs. ECOOP Workshops 2002: 203-210 |
24 | EE | David G. Clarke, Sophia Drossopoulou: Ownership, encapsulation and the disjointness of type and effect. OOPSLA 2002: 292-310 |
23 | EE | Sophia Drossopoulou, Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini: More dynamic object reclassification: Fickle|| ACM Trans. Program. Lang. Syst. 24(2): 153-191 (2002) |
2001 | ||
22 | EE | Sophia Drossopoulou, Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini: Fickle : Dynamic Object Re-classification. ECOOP 2001: 130-149 |
21 | EE | Gary T. Leavens, Sophia Drossopoulou, Susan Eisenbach, Arnd Poetzsch-Heffter, Erik Poll: Formal Techniques for Java Programs. ECOOP Workshops 2001: 30-40 |
20 | EE | Davide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca: An Effective Translation of Fickle into Java. ICTCS 2001: 215-234 |
19 | EE | Davide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca: A type preserving translation of Fickle into Java. Electr. Notes Theor. Comput. Sci. 62: (2001) |
2000 | ||
18 | EE | Sophia Drossopoulou, Susan Eisenbach, Bart Jacobs, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter: Formal Techniques for Java Programs. ECOOP Workshops 2000: 41-54 |
17 | EE | Sophia Drossopoulou: An Abstract Model of Java Dynamic Linking and Loading. Types in Compilation 2000: 53-84 |
1999 | ||
16 | Mark Skipper, Sophia Drossopoulou: Formalising Composition Oriented Programming. ECOOP Workshops 1999: 307-308 | |
15 | Sophia Drossopoulou: Java Type System with Exceptions. ECOOP Workshops 1999: 373-374 | |
14 | EE | Sophia Drossopoulou, Susan Eisenbach: Describing the Semantics of Java and Proving Type Soundness. Formal Syntax and Semantics of Java 1999: 41-82 |
13 | EE | Sophia Drossopoulou, Susan Eisenbach, David Wragg: A Fragment Calculus Towards a Model of Separate Compilation, Linking and Binary Compatibility. LICS 1999: 147-156 |
12 | Sophia Drossopoulou, Susan Eisenbach, Sarfraz Khurshid: Is the Java Type System Sound? TAPOS 5(1): 3-24 (1999) | |
1998 | ||
11 | EE | Sophia Drossopoulou, David Wragg, Susan Eisenbach: What is Java Binary Compatibility? OOPSLA 1998: 341-361 |
1997 | ||
10 | EE | Sophia Drossopoulou, Susan Eisenbach: Java is Type Safe - Probably. ECOOP 1997: 389-418 |
1996 | ||
9 | Sophia Drossopoulou, Stephan Karathanos, Dan Yang: Type-Checking Smalltalk. JOOP 8(8): 43-47, 72 (1996) | |
1995 | ||
8 | Diomidis Spinellis, Sophia Drossopoulou, Susan Eisenbach: Object-Oriented Technology in Multiparadigm Language Implementation. JOOP 8(1): 33-38 (1995) | |
1994 | ||
7 | Diomidis Spinellis, Sophia Drossopoulou, Susan Eisenbach: Language and Architecture Paradigms as Object Classes. Programming Languages and System Architectures 1994: 191-207 | |
1993 | ||
6 | Anthony Finkelstein, Jeff Kramer, Samson Abramsky, Krysia Broda, Sophia Drossopoulou, Susan Eisenbach: An Integrated Engineering Study Scheme in Computing. Comput. J. 36(4): 320-334 (1993) | |
1991 | ||
5 | Sophia Drossopoulou, Ross Paterson, Susan Eisenbach: Parameterized Interfaces are Interfaces - AIAS. Declarative Programming 1991: 133-147 | |
1982 | ||
4 | Jürgen Uhl, Sophia Drossopoulou, Guido Persch, Gerhard Goos, Manfred Dausmann, Georg Winterstein, Walter Kirchgässner: An Attribute Grammar for the Semantic Analysis of Ada Springer 1982 | |
3 | EE | Sophia Drossopoulou, James S. Uhl, Guido Persch, Gerhard Goos, Manfred Dausmann, Georg Winterstein: An Attribute Grammar for Ada. SIGPLAN Symposium on Compiler Construction 1982: 334-348 |
1981 | ||
2 | Manfred Dausmann, Sophia Drossopoulou, Guido Persch, Georg Winterstein: The Tasking Facility of Ada. Implementierungssprachen für nichtsequentielle Programmsysteme 1981: 95-118 | |
1 | Manfred Dausmann, Guido Persch, Sophia Drossopoulou, Georg Winterstein: A Separate Compilation System for Ada. Werkzeuge der Programmiertechnik 1981: 197-213 |