The following pages link to Sophia Drossopoulou (Q859835):
Displaying 9 items.
- A flexible model for dynamic linking in Java and C\# (Q859837) (← links)
- Amalgamating sessions and methods in object-oriented languages with generics (Q1004058) (← links)
- A type safe state abstraction for coordination in JAVA-like languages (Q1006341) (← links)
- Objects and session types (Q1021571) (← links)
- Quicksort revisited. Verifying alternative versions of quicksort (Q2026813) (← links)
- Correctness of a concurrent object collector for actor languages (Q2324013) (← links)
- Fickle: Dynamic Object Re-classification (Q2779238) (← links)
- Zeno: An Automated Prover for Properties of Recursive Data Structures (Q2894285) (← links)
- (Q5398109) (← links)
