×

Drossopoulou, Sophia Chloe

Compute Distance To:
Author ID: drossopoulou.sophia Recent zbMATH articles by "Drossopoulou, Sophia Chloe"
Published as: Drossopoulou, Sophia; Drossopoulou, S.
External Links: MGP · Wikidata · dblp

Publications by Year

Citations contained in zbMATH Open

17 Publications have been cited 68 times in 49 Documents Cited by Year
Objects and session types. Zbl 1183.68358
Dezani-Ciancaglini, Mariangiola; Drossopoulou, Sophia; Mostrous, Dimitris; Yoshida, Nobuko
14
2009
Bounded session types for object oriented languages. Zbl 1147.68445
Dezani-Ciancaglini, Mariangiola; Giachino, Elena; Drossopoulou, Sophia; Yoshida, Nobuko
9
2007
Amalgamating sessions and methods in object-oriented languages with generics. Zbl 1169.68011
Capecchi, Sara; Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Drossopoulou, Sophia; Giachino, Elena
7
2009
A distributed object-oriented language with session types. Zbl 1151.68347
Dezani-Ciancaglini, Mariangiola; Yoshida, Nobuko; Ahern, Alexander; Drossopoulou, Sophia
7
2005
Zeno: an automated prover for properties of recursive data structures. Zbl 1352.68216
Sonnex, William; Drossopoulou, Sophia; Eisenbach, Susan
6
2012
\(\mathcal F\)ickle: dynamic object re-classification. Zbl 0982.68636
Drossopoulou, Sophia; Damiani, Ferruccio; Dezani-Ciancaglini, Mariangiola; Giannini, Paola
4
2001
An attribute grammar for the semantic analysis of ADA. Zbl 0501.68001
Uhl, J.; Drossopoulou, S.; Persch, G.; Goos, G.; Dausmann, M.; Winterstein, G.; Kirchgaessner, W.
3
1982
A type safe state abstraction for coordination in JAVA-like languages. Zbl 1180.68098
Damiani, Ferruccio; Giachino, Elena; Giannini, Paola; Drossopoulou, Sophia
3
2008
Polymorphic bytecode: compositional compilation for Java-like languages. Zbl 1369.68122
Ancona, Davide; Damiani, Ferruccio; Drossopoulou, Sophia; Zucca, Elena
3
2005
Flexible models for dynamic linking. Zbl 1032.68039
Drossopoulou, Sophia; Lagorio, Giovanni; Eisenbach, Susan
2
2003
Refined effects for unanticipated object re-classification: \(\mathcal{F}{\mathit ickle}_{3}\) (extended abstract). Zbl 1257.68050
Damiani, Ferruccio; Drossopoulou, Sophia; Giannini, Paola
2
2003
An abstract model of Java dynamic linking and loading. Zbl 0985.68506
Drossopoulou, Sophia
2
2001
ADA-0 reference and user manual. Zbl 0463.68044
Persch, Guido; Winterstein, Georg; Dausmann, Manfred; Drossopoulou, Sophia
2
1981
Existential quantification for variant ownership. Zbl 1234.68064
Cameron, Nicholas; Drossopoulou, Sophia
1
2009
Considerate reasoning and the Composite design pattern. Zbl 1273.68242
Summers, Alexander J.; Drossopoulou, Sophia
1
2010
Correctness of a concurrent object collector for actor languages. Zbl 1418.68040
Franco, Juliana; Clebsch, Sylvan; Drossopoulou, Sophia; Vitek, Jan; Wrigstad, Tobias
1
2018
Quicksort revisited. Verifying alternative versions of quicksort. Zbl 1475.68102
Certezeanu, Razvan; Drossopoulou, Sophia; Egelund-Muller, Benjamin; Leino, K. Rustan M.; Sivarajan, Sinduran; Wheelhouse, Mark
1
2016
Correctness of a concurrent object collector for actor languages. Zbl 1418.68040
Franco, Juliana; Clebsch, Sylvan; Drossopoulou, Sophia; Vitek, Jan; Wrigstad, Tobias
1
2018
Quicksort revisited. Verifying alternative versions of quicksort. Zbl 1475.68102
Certezeanu, Razvan; Drossopoulou, Sophia; Egelund-Muller, Benjamin; Leino, K. Rustan M.; Sivarajan, Sinduran; Wheelhouse, Mark
1
2016
Zeno: an automated prover for properties of recursive data structures. Zbl 1352.68216
Sonnex, William; Drossopoulou, Sophia; Eisenbach, Susan
6
2012
Considerate reasoning and the Composite design pattern. Zbl 1273.68242
Summers, Alexander J.; Drossopoulou, Sophia
1
2010
Objects and session types. Zbl 1183.68358
Dezani-Ciancaglini, Mariangiola; Drossopoulou, Sophia; Mostrous, Dimitris; Yoshida, Nobuko
14
2009
Amalgamating sessions and methods in object-oriented languages with generics. Zbl 1169.68011
Capecchi, Sara; Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Drossopoulou, Sophia; Giachino, Elena
7
2009
Existential quantification for variant ownership. Zbl 1234.68064
Cameron, Nicholas; Drossopoulou, Sophia
1
2009
A type safe state abstraction for coordination in JAVA-like languages. Zbl 1180.68098
Damiani, Ferruccio; Giachino, Elena; Giannini, Paola; Drossopoulou, Sophia
3
2008
Bounded session types for object oriented languages. Zbl 1147.68445
Dezani-Ciancaglini, Mariangiola; Giachino, Elena; Drossopoulou, Sophia; Yoshida, Nobuko
9
2007
A distributed object-oriented language with session types. Zbl 1151.68347
Dezani-Ciancaglini, Mariangiola; Yoshida, Nobuko; Ahern, Alexander; Drossopoulou, Sophia
7
2005
Polymorphic bytecode: compositional compilation for Java-like languages. Zbl 1369.68122
Ancona, Davide; Damiani, Ferruccio; Drossopoulou, Sophia; Zucca, Elena
3
2005
Flexible models for dynamic linking. Zbl 1032.68039
Drossopoulou, Sophia; Lagorio, Giovanni; Eisenbach, Susan
2
2003
Refined effects for unanticipated object re-classification: \(\mathcal{F}{\mathit ickle}_{3}\) (extended abstract). Zbl 1257.68050
Damiani, Ferruccio; Drossopoulou, Sophia; Giannini, Paola
2
2003
\(\mathcal F\)ickle: dynamic object re-classification. Zbl 0982.68636
Drossopoulou, Sophia; Damiani, Ferruccio; Dezani-Ciancaglini, Mariangiola; Giannini, Paola
4
2001
An abstract model of Java dynamic linking and loading. Zbl 0985.68506
Drossopoulou, Sophia
2
2001
An attribute grammar for the semantic analysis of ADA. Zbl 0501.68001
Uhl, J.; Drossopoulou, S.; Persch, G.; Goos, G.; Dausmann, M.; Winterstein, G.; Kirchgaessner, W.
3
1982
ADA-0 reference and user manual. Zbl 0463.68044
Persch, Guido; Winterstein, Georg; Dausmann, Manfred; Drossopoulou, Sophia
2
1981
all top 5

Cited by 89 Authors

8 Yoshida, Nobuko
7 Dezani-Ciancaglini, Mariangiola
4 Damiani, Ferruccio
4 Drossopoulou, Sophia Chloe
4 Gay, Simon J.
4 Giachino, Elena
3 Bettini, Lorenzo
3 Capecchi, Sara
3 Coppo, Mario
3 Padovani, Luca
3 Vasconcelos, Vasco Thudichum
2 Ancona, Davide
2 Carbone, Marco
2 Castellani, Ilaria
2 Giannini, Paola
2 Giunti, Marco
2 Honda, Kohei
2 Hozzová, Petra
2 Kovács, Laura Ildikó
2 Lagorio, Giovanni
2 Mostrous, Dimitris
2 Schaefer, Ina
2 Voronkov, Andrei
2 Zucca, Elena
1 Agha, Gul A.
1 Agrawal, Rakesh
1 Ahern, Alexander
1 Bartoletti, Massimo
1 Berardi, Stefano
1 Beringer, Lennart
1 Brown, Cynthia A.
1 Claessen, Koen
1 Clarke, Dave
1 Coglio, Alessandro
1 Dallal, Jehad Al
1 Dardha, Ornela
1 De Angelis, Emanuele
1 de’Liguoro, Ugo
1 Deniélou, Pierre-Malo
1 Detro, Keith D.
1 Donaldson, Alastair F.
1 Eberhard, Sebastian
1 Ehrig, Hartmut
1 Eisenbach, Susan
1 Ernst, Erik
1 Fagorzi, Sonia
1 Fey, Werner
1 Fioravanti, Fabio
1 García Perez-Schofield, J. Baltasar
1 Ghilezan, Silvia
1 Giegerich, Robert
1 Grechanik, S. A.
1 Hajdú, Márton
1 Hansen, Horst
1 Hetzl, Stefan
1 Hole, Malcolm
1 Horne, Ross
1 Igarashi, Atsushi
1 Jacobs, Dean
1 Johansson, Moa
1 Johnsen, Einar Broch
1 Kastens, Uwe
1 Leino, K. Rustan M.
1 Lowe, Michael J. S.
1 Ortín, Francisco
1 Owe, Olaf
1 Pantović, Jovanka
1 Parisi-Presicce, Francesco
1 Pérez, Jorge A.
1 Piancastelli, Giulio
1 Plyukhin, Dan
1 Proietti, Maurizio
1 Purdom, Paul Walton jun.
1 Ravara, António
1 Redondo, Jose Manuel
1 Ricci, Alessandro
1 Rosen, Dan
1 Saito, Chieri
1 Saleh, Kassem A.
1 Sangiorgi, Davide
1 Schoisswohl, Johannes
1 Seidl, Christoph
1 Smallbone, Nicholas
1 Thiemann, Peter J.
1 Toninho, Bernardo
1 Venneri, Betti
1 Vieira, Hugo Torres
1 Viroli, Mirko
1 Waite, William M.

Citations by Year

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.