Sophia Drossopoulou

Available identifiers

zbMath Open drossopoulou.sophiaDBLPd/SophiaDrossopoulouWikidataQ4815312 ScholiaQ4815312MaRDI QIDQ859835

List of research outcomes

Publication	Date of Publication	Type
Holistic Specifications for Robust Programs	2022-10-13	Paper
Quicksort revisited. Verifying alternative versions of quicksort	2021-05-20	Paper
Correctness of a concurrent object collector for actor languages	2019-09-13	Paper
Polymorphic bytecode	2017-07-14	Paper
Refactoring boundary	2014-02-26	Paper
Zeno: an automated prover for properties of recursive data structures	2012-06-29	Paper
Refined effects for unanticipated object re-classification: \(\mathcal{F}{\mathit ickle}_{3}\) (extended abstract)	2010-02-23	Paper
Considerate reasoning and the Composite design pattern	2010-01-14	Paper
Objects and session types	2009-06-08	Paper
Existential Quantification for Variant Ownership	2009-03-31	Paper
A type safe state abstraction for coordination in JAVA-like languages	2009-03-20	Paper
Amalgamating sessions and methods in object-oriented languages with generics	2009-03-02	Paper
Universe Types for Topology and Encapsulation	2009-02-12	Paper
Bounded Session Types for Object Oriented Languages	2008-09-17	Paper
A flexible model for dynamic linking in Java and C\#	2007-01-22	Paper
Trustworthy Global Computing	2006-11-01	Paper
https://portal.mardi4nfdi.de/entity/Q4738855	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4417881	2003-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q4417651	2003-07-29	Paper
https://portal.mardi4nfdi.de/entity/Q4532091	2002-05-28	Paper
Fickle: Dynamic Object Re-classification	2002-04-15	Paper
https://portal.mardi4nfdi.de/entity/Q3914435	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3914436	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3914437	1980-01-01	Paper

Research outcomes over time

This page was built for person: Sophia Drossopoulou