17 search results - page 4 / 4 » An Event-Based Structural Operational Semantics of Multi-Thr... |
187
Voted
ECOOP
2009
Springer
16 years 1 months ago
2009
Springer
We present FJig, a simple calculus where basic building blocks are classes in the style of Featherweight Java, declaring elds, methods and one constructor. However, inheritance has...
218
Voted
POPL
2009
ACM
16 years 1 months ago
2009
ACM
This paper presents a type-based solution to the long-standing problem of object initialization. Constructors, the conventional mechanism for object initialization, have semantics...