Sciweavers

10912 search results - page 8 / 2183
» Object-Oriented Programming Languages
Sort
View
ECOOP
1998
Springer
15 years 3 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
122
Voted
FMOODS
2008
15 years 1 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
15 years 9 months ago
Modular Session Types for Distributed Object-Oriented Programming
Alexandre Z. Caldeira, António Ravara, Nils...