10575 search results - page 1721 / 2115 » T2Script Programming Language |
114
click to vote
FMCO
2007
Springer
15 years 11 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...
143
click to vote
ICALP
2007
Springer
15 years 11 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...
160
click to vote
IWMM
2007
Springer
15 years 11 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...
143
click to vote
LADS
2007
Springer
15 years 11 months ago
2007
Springer
One of the main reasons about the success of the Web is that many “regular users” are able to create Web pages that, using hyperlinks, incrementally extend both the size and th...
148
click to vote
OOPSLA
2007
Springer
15 years 11 months ago
2007
Springer
All high-performance production JVMs employ an adaptive strategy for program execution. Methods are first executed unoptimized and then an online profiling mechanism is used to ...