5415 search results - page 435 / 1083 » The Implementation of Functional Programming Languages |
277
click to vote
ECOOP
2005
Springer
16 years 12 days ago
2005
Springer
Software modeling has received a lot a of attention in the last decade and now is an important support for the design process. Actually, the design process is very important to the...
196
Voted
SIGIR
2009
ACM
16 years 1 months ago
2009
ACM
Although many variants of language models have been proposed for information retrieval, there are two related retrieval heuristics remaining “external” to the language modelin...
198
Voted
ICFP
2003
ACM
2003
ACM
A formalization of an Ordered Logical Framework in Hybrid with applications to continuation machines
16 years 6 months ago
We report on work in progress devoted to the formalization of an Ordered Logical Framework (OLF) based on a two-level architecture [8] in the Hybrid system. OLF here is a second-or...
185
click to vote
ECOOP
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. Multiple Row Displacement (MRD) is a new dispatch technique for multi-method languages. It is based on compressing an n-dimensional table using an extension of the single...
179
click to vote
POS
1998
Springer
15 years 11 months ago
1998
Springer
The design and implementation of the initial release of class evolution technology for PJama persistent language is described. This technology supports modi cations to individual ...