Sophia Drossopoulou

MaRDI QIDQ859835zbMATH OpenDBLPWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Holistic Specifications for Robust Programs Fundamental Approaches to Software Engineering	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 Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages	2017-07-14	Paper
Refactoring boundary	2014-02-26	Paper
Zeno: an automated prover for properties of recursive data structures Tools and Algorithms for the Construction and Analysis of Systems	2012-06-29	Paper
Refined effects for unanticipated object re-classification: \(\mathcal{F}{\mathit ickle}_{3}\) (extended abstract) Lecture Notes in Computer Science	2010-02-23	Paper
Considerate reasoning and the Composite design pattern Lecture Notes in Computer Science	2010-01-14	Paper
Objects and session types Information and Computation	2009-06-08	Paper
Existential Quantification for Variant Ownership Programming Languages and Systems	2009-03-31	Paper
A type safe state abstraction for coordination in JAVA-like languages Acta Informatica	2009-03-20	Paper
Amalgamating sessions and methods in object-oriented languages with generics Theoretical Computer Science	2009-03-02	Paper
Universe Types for Topology and Encapsulation Formal Methods for Components and Objects	2009-02-12	Paper
Bounded Session Types for Object Oriented Languages Formal Methods for Components and Objects	2008-09-17	Paper
A flexible model for dynamic linking in Java and C\# Theoretical Computer Science	2007-01-22	Paper
Trustworthy Global Computing Lecture Notes in Computer Science	2006-11-01	Paper
scientific article; zbMATH DE number 2087852 (Why is no real title available?)	2004-08-11	Paper
scientific article; zbMATH DE number 1956544 (Why is no real title available?)	2003-07-30	Paper
scientific article; zbMATH DE number 1955931 (Why is no real title available?)	2003-07-29	Paper
scientific article; zbMATH DE number 1746457 (Why is no real title available?)	2002-05-28	Paper
Fickle: Dynamic Object Re-classification ECOOP 2001 — Object-Oriented Programming	2002-04-15	Paper
scientific article; zbMATH DE number 3725699 (Why is no real title available?)	1981-01-01	Paper
scientific article; zbMATH DE number 3725700 (Why is no real title available?)	1980-01-01	Paper
scientific article; zbMATH DE number 3725701 (Why is no real title available?)	1980-01-01	Paper

Research outcomes over time

This page was built for person: Sophia Drossopoulou