6740 search results - page 772 / 1348 » Using Classification as a Programming Language |
225
click to vote
ECOOP
2007
Springer
16 years 1 months ago
2007
Springer
We present MJ: a language for specifying general classes whose members are produced by iterating over members of other classes. We call this technique “class morphing” or just ...
198
click to vote
ECOOP
2004
Springer
16 years 26 days ago
2004
Springer
Ownership types promise to provide a practical mechanism for enforcing stronger encapsulation by controlling aliasing in objectoriented languages. However, previous ownership type ...
216
click to vote
ECOOP
2004
Springer
16 years 26 days ago
2004
Springer
Transactional monitors are proposed as an alternative to monitors based on mutualexclusion synchronization for object-oriented programming languages. Transactional monitors have e...
191
Voted
OOPSLA
2004
Springer
16 years 24 days ago
2004
Springer
Many techniques have been developed over the years to automatically find bugs in software. Often, these techniques rely on formal methods and sophisticated program analysis. Whil...
178
Voted
AOSD
2003
ACM
16 years 21 days ago
2003
ACM
From the early days of object-oriented programming, the model-view-controller paradigm has been pursued for a clear design which separates different responsibilities within an in...