The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Sophia Drossopoulou: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  45. A Unified Framework for Verification Techniques for Object Invariants. [Citation Graph (, )][DBLP]


  46. A Model for Java with Wildcards. [Citation Graph (, )][DBLP]


  47. A Unified Framework for Verification Techniques for Object Invariants. [Citation Graph (, )][DBLP]


  48. Aliasing, Confinement, and Ownership in Object-Oriented Programming. [Citation Graph (, )][DBLP]


  49. Formal Techniques for Java-Like Programs. [Citation Graph (, )][DBLP]


  50. Aliasing, Confinement, and Ownership in Object-Oriented Programming. [Citation Graph (, )][DBLP]


  51. Existential Quantification for Variant Ownership. [Citation Graph (, )][DBLP]


  52. Bounded Session Types for Object Oriented Languages. [Citation Graph (, )][DBLP]


  53. Universe Types for Topology and Encapsulation. [Citation Graph (, )][DBLP]


  54. Considerate Reasoning and the Composite Design Pattern. [Citation Graph (, )][DBLP]


  55. A type safe state abstraction for coordination in Java -like languages. [Citation Graph (, )][DBLP]


Search in 0.006secs, Finished in 0.008secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002