4139 search results - page 346 / 828 » Designing and Implementing Combinator Languages |
201
click to vote
SIGIR
2003
ACM
16 years 9 days ago
2003
ACM
A novel Hardware Assisted Top-Doc (HAT) component is disclosed. HAT is an optimized content indexing device based on a modified inverted index structure. HAT accommodates patterns...
186
click to vote
TPHOL
2002
IEEE
15 years 12 months ago
2002
IEEE
We describe the operational and denotational semantics of a small imperative language in type theory with inductive and recursive definitions. The operational semantics is given b...
186
click to vote
CSMR
2004
IEEE
15 years 10 months ago
2004
IEEE
Institutions and companies that are based in countries where the main language is not English typically publish Web sites that offer the same information at least in the local lan...
185
click to vote
ECOOP
2006
Springer
15 years 10 months ago
2006
Springer
AspectJ-like languages are currently ineffective at modularizing heterogeneous concerns that are tightly coupled to the source code of the base program, such as logging, invariant...
221
click to vote
ECOOP
1995
Springer
15 years 10 months ago
1995
Springer
Optimizing compilers for object-oriented languages apply static class analysis and other techniques to try to deduce precise information about the possible classes of the receivers...