Search results for: Elena Zucca
Electronic Notes in Theoretical Computer Science > 2016 > 322 > C > 87-102
Electronic Notes in Theoretical Computer Science > 2016 > 322 > C > 19-34
Lecture Notes in Computer Science > Theoretical Computer Science > Semantics and Formal Languages > 284-301
Lecture Notes in Computer Science > ECOOP 2001 — Object-Oriented Programming > Language Design > 354-380
Lecture Notes in Computer Science > ECOOP 2000 — Object-Oriented Programming > Object Relations > 154-178
IFIP — The International Federation for Information Processing > Exploring New Frontiers of Theoretical Informatics > Track (2) on Logic, Semantics, Specification, and Verification > 423-436
Lecture Notes in Computer Science > Recent Trends in Algebraic Development Techniques > Casl: Language, Methodology and Tools > 53-72
Lecture Notes in Computer Science > Trustworthy Global Computing > Security, Anonymity and Type Safety > 319-338
Lecture Notes in Computer Science > Object-Oriented Technology. ECOOP 2006 Workshop Reader > Program Reasoning > 53-58
Lecture Notes in Computer Science > ECOOP 2002 — Object-Oriented Programming > Theory and Formal Techniques > 609-635