6201 search results - page 227 / 1241 » Implementation of Axiomatic Language |
135
click to vote
SC
2000
ACM
15 years 9 months ago
2000
ACM
Hierarchical algorithms such as multigrid applications form an important cornerstone for scientific computing. In this study, we take a first step toward evaluating parallel lan...
136
Voted
POPL
1999
ACM
15 years 9 months ago
1999
ACM
Linking is a low-level task that is usually vaguely specified, if at all, by language definitions. However, the security of web browsers and other extensible systems depends cru...
141
click to vote
IFL
1997
Springer
15 years 9 months ago
1997
Springer
Common subexpression elimination is a well-known compiler optimisation that saves time by avoiding the repetition of the same computation. In lazy functional languages, referential...
145
click to vote
PLANX
2008
15 years 6 months ago
2008
Motivated by previous work on XML stream processing, we noticed that programmers need concurrency to save space, especially in a lazy language. User-controllable concurrency provi...
150
click to vote
ACL
2006
15 years 6 months ago
2006
This paper proposes a method for incrementally translating English spoken language into Japanese. To realize simultaneous translation between languages with different word order, ...