Sciweavers

10912 search results - page 8 / 2183
» Object-Oriented Programming Languages
Sort
View
140
Voted
ECOOP
1998
Springer
15 years 7 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
152
Voted
FMOODS
2008
15 years 4 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
93
Voted
GPCE
2004
Springer
15 years 8 months ago
Metaphor: A Multi-stage, Object-Oriented Programming Language
Gregory Neverov, Paul Roe
120
Voted
POPL
2010
ACM
16 years 3 days ago
Modular Session Types for Distributed Object-Oriented Programming
Alexandre Z. Caldeira, António Ravara, Nils...