Publications
147 results found
Cunningham D, Dietl W, Drossopoulou S, et al., 2008, Universe Types for Topology and Encapsulation, 6th International Symposium on Formal Methods for Components and Objects, Publisher: SPRINGER-VERLAG BERLIN, Pages: 72-+, ISSN: 0302-9743
- Author Web Link
- Cite
- Citations: 9
Cunningham D, Eisenbach S, Drossopoulou S, 2007, Universes for Race Safety, 1st International Workshop on Verification and Analysis of Multi-threaded Java-like Programs (VAMP) 2007, Pages: 1-32
Drossopoulou S, Dezani-Ciancaglini M, Coppo M, 2007, Amalgamating the Session Types and the Object Oriented Programming Paradigms, MPOOL -- Multiparadigm Programming and Object Oriented languages
Dezani-Ciancaglini M, Mostrous D, Yoshida N, et al., 2007, Session Types for Object-Oriented Languages, ECOOP'06, The 20th European Conference on Object-Oriented Programming, Publisher: Springer, Pages: 328-352, ISSN: 0302-9743
Dietl W, Drossopoulou S, Mueller P, 2007, Generic Universe Types, Europear Conference on Object Oriented Programming, Publisher: Springer Verlag
Drossopoulou S, Clarke D, Noble J, et al., 2007, Tribe: More Types for Virtual Classes, 6th International conference on Aspect-oriented software development (AOSD 2007), Pages: 1-25
Beginning with Beta, a range of programming language mechanisms have been developed to allow inheritance in the presence of mutually dependent classes. This paper presents Tribe, a type system which generalises and simplifies other formalisms of such mechanisms, by treating issues which are inessential for soundness, such as the precise details of dispatch and path initialisation, as orthogonal to the core formalism. Tribe can support path types dependent simultaneously on both classes and objects, which is useful for writing library code, and ubiquitous access to an object's family (= owner), which offers family polymorphism without the need to drag around family arguments. Languages based on Tribe will be both simpler and more expressive than existing designs, while having a simpler type system, serving as a useful basis for future language designs.\r\n
Clarke D, Drossopoulou S, Noble J, et al., 2007, Tribe: A Simple Virtual Class Calculus, Aspect Oriented Software Development
Mariangiola Dezani-Ciancaglini, Elena Giachino, Sophia Drossopoulou, et al., 2007, Bounded Session Types for Object Oriented Languages, Formal Methods for Components and Objects, Publisher: Springer Berlin / Heidelberg, Pages: 207-245, ISBN: 978-3-540-74791-8
Drossopoulou S, Anderson C, Damiani F, et al., 2007, A provenly correct Translation of Fickle into Java, (ToPLaS) Transactions of Programming Languages ans Systems, Vol: 2
We present a translation from Fickle , a small object-oriented language allowing objects to change their class at run-time, into Java. The translation is provenly correct, in the sense that we have shown it to preserve the static and dynamic semantics. Moreover, it is compatible with separate compilation, since the translation of a Fickle class does not depend on the implementation of used classes. Based on the formal system, we have developed an implementation . The translation turned out to be a more subtle problem than we expected. \r\n\r\nIn this paper, we discuss four different possible approaches we considered for the design of the translation and justify our choice, we present formally the translation and the proof of preservation of the static and dynamic semantics, and we discuss the prototype implementation. Moreover, we outline an alternative translation based on generics that avoids most of the casts (but not all) needed in the previous translation.
Cameron NP, Drossopoulou S, Noble J, et al., 2007, Multiple Ownership, 22nd International Conference on Object-Oriented Programming, Systems, Languages and Applications, Publisher: ASSOC COMPUTING MACHINERY, Pages: 441-460
- Author Web Link
- Cite
- Citations: 3
Cameron N, Drossopoulou S, Smith M, et al., 2007, Multiple Ownership, Object Oriented Programming and Languages, Publisher: ACM Press
Drossopoulou S, Lagorio G, Eisenbach S, 2006, A flexible model for dynamic linking in Java and C#, Formal techniques for Java-like languages, 2004, Publisher: Elsevier, Pages: 1-29, ISSN: 0304-3975
Damiani F, Giachino E, Giannini P, et al., 2006, A state abstraction for coordination in Java-like languages, Froal techniques for Java-like languages
Drossopoulou S, Petrounias AN, Buckley AR, et al., 2006, SCHOOL: a Small Chorded Object-Oriented Language, Electronic Notes in Theoretical Computer Science, Vol: 135, Pages: 37-47, ISSN: 1571-0661
Drossopoulou S, Petrounias AN, Buckley AR, et al., 2006, SCHOOL: a Small Chorded Object-Oriented Language, Electronic Notes in Theoretical Computer Science, Vol: 135, Pages: 37-47, ISSN: 1571-0661
Drossopoulou S, Clarke D, Noble J, 2006, Types for hierarchic shapes (Summary), 15th European Symposium on Programming, Publisher: SPRINGER-VERLAG BERLIN, Pages: 1-6, ISSN: 0302-9743
- Author Web Link
- Cite
- Citations: 3
Dezani-Ciancaglini M, Mostrous D, Yoshida N, et al., 2006, Session types for object-oriented languages, 20th European Conference on Object-Oriented Programming (ECOOP 2006), Publisher: SPRINGER-VERLAG BERLIN, Pages: 328-352, ISSN: 0302-9743
- Author Web Link
- Open Access Link
- Cite
- Citations: 79
Ancona D, Ferruccio D, Drossopoulou S, et al., 2005, Polymorphic bytecode: compositional compilation for Java-like languages, the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Publisher: ACM, Pages: 26-37, ISSN: 0362-1340
Smith C, Drossopoulou S, 2005, Chai: Typed Traits in Java, European Conference for Object-Oriented Programming, Publisher: Springer Verlag, Pages: 543-576, ISSN: 0302-9743
Drossopoulou S, 2005, Type Inference for Scripting Languages, Proceedings of European Conference of Object Oriented programming, Publisher: Springer Verlag, Pages: 428-452, ISSN: 0302-9743
Dezani-Ciancaglini M, Yoshida N, Ahern A, et al., 2005, A Distributed Object-Oriented language with Session types, International Symposium of Trustworthy Global Computing, Publisher: Springer, Pages: 299-318
Anderson C, Giannini P, Drossopoulou S, 2005, Towards type inference for JavaScript, Berlin, 19th European conference on object-oriented programming. Glasgow, Scotland, 25 - 29 July 2005, Publisher: Springer-Verlag, Pages: 428-452
Buckley AR, Murray M, Eisenbach S, et al., 2005, Flexible Bytecode for Linking in .NET, ETAPS Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE 2005)
Smith C, Drossopoulou S, 2005, Chai: traits for Java-like languages, Berlin, 19th European conference on object-oriented programming. Glasgow, Scotland, 25 - 29 July 2005, Publisher: Springer-Verlag, Pages: 453-478
Buckley A, Drossopoulou S, 2004, Safety in Flexible Dynamic Linking, Publisher: Imperial College London, Department of Computing
Ancona D, Damiani F, Drossopoulou S, et al., 2004, Even More Principal Typings for Java-like Languages, ECOOP Workshop on Formal Techniques for Java Programs (FTfJP 2004)
Buckley AR, Drossopoulou S, 2004, Flexible Dynamic Linking, ECOOP Workshop on Formal Techniques for Java Programs (FTfJP 2004)
Jolly P, Drossopoulou S, Anderson CL, et al., 2004, Simple Dependent Types: Concord, ECOOP Workshop on Formal Techniques for Java-like Programs (FTfJP 2004)
Jolly P, Drossopoulou S, Anderson C, et al., 2004, Concord: simple dependent types, Formal techniques for Java-like languages, 2004
This data is extracted from the Web of Science and reproduced under a licence from Thomson Reuters. You may not copy or re-distribute this data in whole or in part without the written consent of the Science business of Thomson Reuters.