The following pages link to Sophia Drossopoulou (Q859835):
Displaying 24 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)
- Bounded Session Types for Object Oriented Languages (Q3525113) (← links)
- Universe Types for Topology and Encapsulation (Q3602996) (← links)
- Existential Quantification for Variant Ownership (Q3617695) (← links)
- Considerate Reasoning and the Composite Design Pattern (Q3656894) (← links)
- (Q3914435) (← links)
- (Q3914436) (← links)
- (Q3914437) (← links)
- (Q4417651) (← links)
- (Q4417881) (← links)
- (Q4532091) (← links)
- (Q4738855) (← links)
- Holistic Specifications for Robust Programs (Q5039542) (← links)
- Polymorphic bytecode (Q5276131) (← links)
- Trustworthy Global Computing (Q5394806) (← links)
- (Q5398109) (← links)
- Theoretical Computer Science (Q5897353) (← links)
