3605 search results - page 162 / 721 » Associated types with class |
150
click to vote
ECOOP
2005
Springer
16 years 16 days ago
2005
Springer
Traits support the factoring out of common behaviour, and its integration into classes in a manner that coexists smoothly with inheritance-based structuring mechanisms. We designed...
179
click to vote
FOSSACS
2004
Springer
16 years 12 days ago
2004
Springer
Soft linear logic ([Lafont02]) is a subsystem of linear logic characterizing the class PTIME. We introduce Soft lambda-calculus as a calculus typable in the intuitionistic and affi...
187
click to vote
SAS
2004
Springer
16 years 10 days ago
2004
Springer
Abstract. This paper addresses the problem of checking programs written in an object-oriented language to ensure that they satisfy the information flow policies, confidentiality ...
188
click to vote
ECOOP
1998
Springer
15 years 11 months ago
1998
Springer
This paper presents an imperative object calculus designed to support class-based programming via a combination of extensible objects and encapsulation. This calculus simplifies th...
189
click to vote
ICC
2009
IEEE
15 years 4 months ago
2009
IEEE
Robust channel estimation scheme is essential for pulse-shaping OFDM systems in the multipath mobile environment. This paper proposes three types of channel estimation schemes for ...