| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | William Sonnex, Sophia Drossopoulou, Susan Eisenbach |
Zeno: An Automated Prover for Properties of Recursive Data Structures.  |
TACAS  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Werner Dietl, Sophia Drossopoulou, Peter Müller |
Separating ownership topology and encapsulation with generic universe types. |
ACM Trans. Program. Lang. Syst. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerardo Canfora, Darren Dalcher, David Raffo, Victor R. Basili, Juan Fernández-Ramil, Václav Rajlich, Keith H. Bennett, Liz Burd, Malcolm Munro, Sophia Drossopoulou, Barry W. Boehm, Susan Eisenbach, Greg Michaelson, Peter Ross, Paul Wernick, Dewayne E. Perry |
In memory of Manny Lehman, 'Father of Software Evolution'. |
Journal of Software Maintenance |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander J. Summers, Sophia Drossopoulou |
Considerate Reasoning and the Composite Design Pattern. |
VMCAI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sara Capecchi, Mario Coppo, Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou, Elena Giachino |
Amalgamating sessions and methods in object-oriented languages with generics. |
Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou, Dimitris Mostrous, Nobuko Yoshida |
Objects and session types. |
Inf. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander J. Summers, Sophia Drossopoulou, Peter Müller |
Universe-Type-Based Verification Techniques for Mutable Static Fields and Methods. |
Journal of Object Technology |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sophia Drossopoulou (eds.) |
ECOOP 2009 - Object-Oriented Programming, 23rd European Conference, Genoa, Italy, July 6-10, 2009. Proceedings |
ECOOP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicholas R. Cameron, Sophia Drossopoulou |
Existential Quantification for Variant Ownership. |
ESOP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ferruccio Damiani, Elena Giachino, Paola Giannini, Sophia Drossopoulou |
A type safe state abstraction for coordination in Java -like languages. |
Acta Inf. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Dave Clarke, Sophia Drossopoulou, Peter Müller, James Noble, Tobias Wrigstad |
Aliasing, Confinement, and Ownership in Object-Oriented Programming. |
ECOOP Workshops |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Anindya Banerjee, Sophia Drossopoulou, Marieke Huisman, Atsushi Igarashi, Gary T. Leavens, Peter Müller, Tobias Wrigstad |
Formal Techniques for Java-Like Programs. |
ECOOP Workshops |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Sophia Drossopoulou, Adrian Francalanza, Peter Müller, Alexander J. Summers |
A Unified Framework for Verification Techniques for Object Invariants. |
ECOOP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicholas R. Cameron, Sophia Drossopoulou, Erik Ernst |
A Model for Java with Wildcards. |
ECOOP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sophia Drossopoulou (eds.) |
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 |
ESOP |
2008 |
DBLP BibTeX RDF |
|
| 1 | 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. |
2007 |
DBLP DOI BibTeX RDF |
semantics preserving translation, Type and effect systems |
| 1 | Dave Clarke, Sophia Drossopoulou, James Noble, Tobias Wrigstad |
Aliasing, Confinement, and Ownership in Object-Oriented Programming. |
ECOOP Workshops |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Dave Clarke, Sophia Drossopoulou, James Noble, Tobias Wrigstad |
Tribe: a simple virtual class calculus. |
AOSD |
2007 |
DBLP DOI BibTeX RDF |
subtyping, virtual classes |
| 1 | Dave Cunningham, Werner Dietl, Sophia Drossopoulou, Adrian Francalanza, Peter Müller, Alexander J. Summers |
Universe Types for Topology and Encapsulation. |
FMCO |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicholas R. Cameron, Sophia Drossopoulou, James Noble, Matthew J. Smith |
Multiple ownership. |
OOPSLA |
2007 |
DBLP DOI BibTeX RDF |
effects, ownership types, type and effect systems |
| 1 | Werner Dietl, Sophia Drossopoulou, Peter Müller |
Generic Universe Types. |
ECOOP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sophia Drossopoulou, Giovanni Lagorio, Susan Eisenbach |
A flexible model for dynamic linking in Java and C#. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Sophia Drossopoulou, Alexis Petrounias, Alex Buckley, Susan Eisenbach |
SCHOOL: a Small Chorded Object-Oriented Language. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Ancona, Sophia Drossopoulou, Atsushi Igarashi, Gary T. Leavens, Arnd Poetzsch-Heffter, Elena Zucca |
Formal Techniques for Java-Like Programs. |
ECOOP Workshops |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Mariangiola Dezani-Ciancaglini, Elena Giachino, Sophia Drossopoulou, Nobuko Yoshida |
Bounded Session Types for Object Oriented Languages. |
FMCO |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Mariangiola Dezani-Ciancaglini, Dimitris Mostrous, Nobuko Yoshida, Sophia Drossopoulou |
Session Types for Object-Oriented Languages. |
ECOOP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Sophia Drossopoulou, David G. Clarke, James Noble |
Types for Hierarchic Shapes. |
ESOP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Viviana Bono, Michele Bugliesi, Sophia Drossopoulou |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Alex Buckley, Michelle Murray, Susan Eisenbach, Sophia Drossopoulou |
Flexible Bytecode for Linking in .NET. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Ancona, Ferruccio Damiani, Sophia Drossopoulou, Elena Zucca |
Polymorphic bytecode: compositional compilation for Java-like languages. |
POPL |
2005 |
DBLP DOI BibTeX RDF |
type systems, compositional analysis |
| 1 | Christopher Anderson, Paola Giannini, Sophia Drossopoulou |
Towards Type Inference for JavaScript. |
ECOOP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Charles Smith, Sophia Drossopoulou |
Chai: Traits for Java-Like Languages. |
ECOOP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, Alexander Ahern, Sophia Drossopoulou |
A Distributed Object-Oriented Language with Session Types. |
TGC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher Anderson, Franco Barbanera, Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou |
Can addresses be types? (A case study: objects with delegation). |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher Anderson, Sophia Drossopoulou |
BabyJ: from object based to class based programming via types. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini |
Refined Effects for Unanticipated Object Re-classification: Fickle3. |
ICTCS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | David G. Clarke, Sophia Drossopoulou, James Noble |
Aliasing, Confinement, and Ownership in Object-Oriented Programming. |
ECOOP Workshops |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Sophia Drossopoulou, Giovanni Lagorio, Susan Eisenbach |
Flexible Models for Dynamic Linking. |
ESOP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Sophia Drossopoulou, Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini |
More dynamic object reclassification: Fickle|| |
ACM Trans. Program. Lang. Syst. |
2002 |
DBLP DOI BibTeX RDF |
Object-oriented languages, type and effect systems |
| 1 | Sophia Drossopoulou, Susan Eisenbach, Gary T. Leavens, Arnd Poetzsch-Heffter, Erik Poll |
Formal Techniques for Java-like Programs. |
ECOOP Workshops |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | David G. Clarke, Sophia Drossopoulou |
Ownership, encapsulation and the disjointness of type and effect. |
OOPSLA |
2002 |
DBLP DOI BibTeX RDF |
aliasing, encapsulation, ownership types, type-and-effects systems |
| 1 | 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. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca |
An Effective Translation of Fickle into Java. |
ICTCS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Gary T. Leavens, Sophia Drossopoulou, Susan Eisenbach, Arnd Poetzsch-Heffter, Erik Poll |
Formal Techniques for Java Programs. |
ECOOP Workshops |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Sophia Drossopoulou, Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini |
Fickle : Dynamic Object Re-classification. |
ECOOP |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Sophia Drossopoulou, Susan Eisenbach, Bart Jacobs, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter |
Formal Techniques for Java Programs. |
ECOOP Workshops |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Sophia Drossopoulou |
An Abstract Model of Java Dynamic Linking and Loading. |
Types in Compilation |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Sophia Drossopoulou, Susan Eisenbach, Sarfraz Khurshid |
Is the Java Type System Sound? |
TAPOS |
1999 |
DBLP BibTeX RDF |
|
| 1 | Sophia Drossopoulou |
Java Type System with Exceptions. |
ECOOP Workshops |
1999 |
DBLP BibTeX RDF |
|
| 1 | Mark Skipper, Sophia Drossopoulou |
Formalising Composition Oriented Programming. |
ECOOP Workshops |
1999 |
DBLP BibTeX RDF |
|
| 1 | Sophia Drossopoulou, Susan Eisenbach, David Wragg |
A Fragment Calculus Towards a Model of Separate Compilation, Linking and Binary Compatibility. |
LICS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Sophia Drossopoulou, Susan Eisenbach |
Describing the Semantics of Java and Proving Type Soundness. |
Formal Syntax and Semantics of Java |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Sophia Drossopoulou, David Wragg, Susan Eisenbach |
What is Java Binary Compatibility? |
OOPSLA |
1998 |
DBLP DOI BibTeX RDF |
Java |
| 1 | Sophia Drossopoulou, Susan Eisenbach |
Java is Type Safe - Probably. |
ECOOP |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Sophia Drossopoulou, Stephan Karathanos, Dan Yang |
Type-Checking Smalltalk. |
JOOP |
1996 |
DBLP BibTeX RDF |
|
| 1 | Diomidis Spinellis, Sophia Drossopoulou, Susan Eisenbach |
Object-Oriented Technology in Multiparadigm Language Implementation. |
JOOP |
1995 |
DBLP BibTeX RDF |
|
| 1 | Diomidis Spinellis, Sophia Drossopoulou, Susan Eisenbach |
Language and Architecture Paradigms as Object Classes. |
Programming Languages and System Architectures |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Anthony Finkelstein, Jeff Kramer, Samson Abramsky, Krysia Broda, Sophia Drossopoulou, Susan Eisenbach |
An Integrated Engineering Study Scheme in Computing. |
Comput. J. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Sophia Drossopoulou, Ross Paterson, Susan Eisenbach |
Parameterized Interfaces are Interfaces - AIAS. |
Declarative Programming |
1991 |
DBLP BibTeX RDF |
|
| 1 | 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 |
|
1982 |
DOI RDF |
|
| 1 | Sophia Drossopoulou, James S. Uhl, Guido Persch, Gerhard Goos, Manfred Dausmann, Georg Winterstein |
An Attribute Grammar for Ada. |
SIGPLAN Symposium on Compiler Construction |
1982 |
DBLP DOI BibTeX RDF |
Ada compiler, Attribute grammer, Ordered attribute grammer, Ada, Static semantics, Compiler compiler |
| 1 | Manfred Dausmann, Sophia Drossopoulou, Guido Persch, Georg Winterstein |
The Tasking Facility of Ada. |
Implementierungssprachen für nichtsequentielle Programmsysteme |
1981 |
DBLP BibTeX RDF |
|
| 1 | Manfred Dausmann, Guido Persch, Sophia Drossopoulou, Georg Winterstein |
A Separate Compilation System for Ada. |
Werkzeuge der Programmiertechnik |
1981 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")