645 search results - page 5 / 129 » Pure patterns type systems |
102
Voted
CPM
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. We apply the Boyer–Moore technique to compressed pattern matching for text string described in terms of collage system, which is a formal framework that captures variou...
134
Voted
HIPEAC
2011
Springer
13 years 11 months ago
2011
Springer
Dynamic typing is a barrier for JavaScript applications to achieve high performance. Compared with statically typed languages, the major overhead of dynamic typing comes from runt...
ACL
1998
15 years 1 months ago
1998
In this paper, we describe a machine translation system called PalmTree which uses the "patternbased" approach as a fundamental framework. The pure pattern-based transla...
77
Voted
TPHOL
1997
IEEE
15 years 3 months ago
1997
IEEE
Type classes and overloading are shown to be independent concepts that can both be added to simple higher-order logics in the tradition of Church and Gordon, without demanding more...
96
Voted
WCRE
1999
IEEE
15 years 3 months ago
1999
IEEE
In reengineering an object-oriented system we want to benefit from the expertise developed in earlier efforts. It is therefore essential to have a way to communicate expertise at ...