Sciweavers

10912 search results - page 8 / 2183
» Object-Oriented Programming Languages
Sort
View
ECOOP
1998
Springer
13 years 12 months ago
Flexible Alias Protection
Aliasing is endemic in object oriented programming. Because an object can be modified via any alias, object oriented programs are hard to understand, maintain, and analyse. Flexibl...
James Noble, Jan Vitek, John Potter
FMOODS
2008
13 years 9 months ago
VeriCool: An Automatic Verifier for a Concurrent Object-Oriented Language
Reasoning about object-oriented programs is hard, due to , dynamic binding and the need for data abstraction and framing. Reasoning about concurrent object-oriented programs is eve...
Jan Smans, Bart Jacobs 0002, Frank Piessens
POPL
2010
ACM
14 years 5 months ago
Modular Session Types for Distributed Object-Oriented Programming
Alexandre Z. Caldeira, António Ravara, Nils...