Search results for: John Boyland
Lecture Notes in Computer Science > Static Analysis > Static Analysis of Concurrent Languages > 55-72
Lecture Notes in Computer Science > ECOOP’ 99 — Object-Oriented Programming > Type Checking > 205-229
Lecture Notes in Computer Science > Object-Oriented Technology. ECOOP 2007 Workshop Reader > Formal Techniques, Roles, Components > 99-107
Lecture Notes in Computer Science > ECOOP 2001 — Object-Oriented Programming > Sharing and Encapsulation > 2-27
2012 19th Asia-Pacific Software Engineering Conference > 1 > 559 - 564
Electronic Notes in Theoretical Computer Science > 2010 > 253 > 7 > 65-74