645 search results - page 21 / 129 » Pure patterns type systems |
ICSE
2003
IEEE-ACM
15 years 11 months ago
2003
IEEE-ACM
ion. riented language features, such as abstract classes, inheritance, dynamic binding, and parameterized types. Middleware, such as object-oriented frameworks for host infrastruct...
111
click to vote
WCRE
2008
IEEE
15 years 6 months ago
2008
IEEE
Modern software has to evolve to meet the needs of stakeholders; but the nature and scope of this evolution is difficult to anticipate and manage. In this paper, we examine techn...
104
click to vote
ICC
2007
IEEE
15 years 6 months ago
2007
IEEE
— In interference-limited wireless cellular systems, interference avoidance and interference averaging are widely adopted to combat co-channel interference. In different types of...
104
click to vote
OOPSLA
2010
Springer
14 years 10 months ago
2010
Springer
Type classes were originally developed in Haskell as a disciplined alternative to ad-hoc polymorphism. Type classes have been shown to provide a type-safe solution to important ch...
CPM
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. Compressed pattern matching is one of the most active topics in string matching. The goal is to find all occurrences of a pattern in a compressed text without decompress...