4743 search results - page 254 / 949 » The PlusCal Algorithm Language |
83
Voted
ICFP
2006
ACM
16 years 3 months ago
2006
ACM
This paper presents the core type system and type inference algorithm of OCamlDuce, a merger between OCaml and XDuce. The challenge was to combine two type checkers of very differ...
160
Voted
ECOOP
1998
Springer
15 years 7 months ago
1998
Springer
This paper presents a new algorithm for distributed garbage collection and outlines its implementation within the Network Objects system. The algorithm is based on a reference list...
139
Voted
PLDI
1994
ACM
15 years 7 months ago
1994
ACM
In this paper, we describe the program structure tree (PST), a hierarchical representation of program structure based on single entry single exit (SESE) regions of the control flo...
153
Voted
ECOOP
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. One of the costs of reusing software components is updating applications to use the new version of the components. Updating an application can be error-prone, tedious, an...
128
Voted
GFKL
2006
Springer
15 years 7 months ago
2006
Springer
Stemming algorithms find canonical forms for inflected words, e. g. for declined nouns or conjugated verbs. Since such a unification of words with respect to gender, number, time, ...