10912 search results - page 1800 / 2183 » Object-Oriented Programming Languages |
192
click to vote
CP
2007
Springer
16 years 1 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...
205
Voted
DCOSS
2007
Springer
16 years 1 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...
162
Voted
FMCO
2007
Springer
16 years 1 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...
193
Voted
ICALP
2007
Springer
16 years 1 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...
209
Voted
IWMM
2007
Springer
16 years 1 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...