10585 search results - page 1741 / 2117 » The Orc Programming Language |
117
click to vote
CP
2007
Springer
15 years 10 months ago
2007
Springer
Shaving and constructive disjunction are two main refutation principles used in constraint programming. The shaving principle allows us to compute the singleton arc-consistency (SA...
138
Voted
DCOSS
2007
Springer
15 years 10 months ago
2007
Springer
Macroprogramming—the technique of specifying the behavior of the system, as opposed to the constituent nodes—provides application developers with high level abstractions that a...
104
Voted
FMCO
2007
Springer
15 years 10 months ago
2007
Springer
The Universe Type System is an ownership type system for object-oriented programming languages that hierarchically structures the object store; it is used to reason modularly about...
139
click to vote
ICALP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The edit distance between two ordered rooted trees with vertex labels is the minimum cost of transforming one tree into the other by a sequence of elementary operations c...
154
click to vote
IWMM
2007
Springer
15 years 10 months ago
2007
Springer
In this work, we present accordion arrays, a straightforward and effective memory compression technique targeting Unicode-based character arrays. In many non-numeric Java programs...