2944 search results - page 296 / 589 » On Well Quasi-orders on Languages |
150
click to vote
SIGSOFT
2005
ACM
16 years 7 months ago
2005
ACM
Previous work has proven typestates to be useful for modeling protocols in object-oriented languages. We build on this work by addressing substitutability of subtypes as well as i...
154
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
The success of the Semantic Web depends on the availability of ontologies as well as on the proliferation of web pages annotated with metadata conforming to these ontologies. Thus...
155
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
The increasing importance of Unicode for text encoding implies a possible doubling of data storage space and data transmission time, with a corresponding need for data compression...
276
click to vote
ECOOP
2009
Springer
16 years 7 months ago
2009
Springer
Contemporary refactoring tools for JAVA aiding in the restructuring of programs have problems with respecting access modifiers such as public and private: while some tools provide ...
298
Voted
ASPLOS
2009
ACM
16 years 7 months ago
2009
ACM
Parallel bit stream algorithms exploit the SWAR (SIMD within a register) capabilities of commodity processors in high-performance text processing applications such as UTF8 to UTF-...