Search results for: Sophia Drossopoulou
Lecture Notes in Computer Science > Theoretical Computer Science > Program Design, Models and Analysis > 97-110
Lecture Notes in Computer Science > ECOOP 2001 — Object-Oriented Programming > Language Design > 130-149
Lecture Notes in Computer Science > Object-Oriented Technology. ECOOP 2003 Workshop Reader > 197-207
Lecture Notes in Computer Science > Object-Oriented Technology. ECOOP 2008 Workshop Reader > ECOOP 2008 Workshops: Final Reports > 30-41
Lecture Notes in Computer Science > Formal Methods for Components and Objects > Models of Computation > 207-245
Lecture Notes in Computer Science > Object-Oriented Technology. ECOOP 2006 Workshop Reader > Program Reasoning > 53-58
Lecture Notes in Computer Science > Formal Methods for Components and Objects > The MOBIUS Project > 72-112
Lecture Notes in Computer Science > Programming Languages and Systems > Types for Object-Oriented Languages > 128-142
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Regular Papers > 328-344
Lecture Notes in Computer Science > ECOOP 2006 – Object-Oriented Programming > Type Theory > 328-352