10871 search results - page 1994 / 2175 » A stable programming language |
133
click to vote
EUROSSC
2007
Springer
15 years 11 months ago
2007
Springer
Context-aware applications require context information to adapt their behaviour to the current situation. When developing context-aware applications, application developers need to...
167
click to vote
FOSSACS
2007
Springer
15 years 11 months ago
2007
Springer
Higher-order pushdown systems (PDSs) generalise pushdown systems through the use of higher-order stacks, that is, a nested “stack of stacks” structure. These systems may be us...
137
click to vote
FROCOS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Innermost context-sensitive rewriting has been proved useful for modeling computations of programs of algebraic languages like Maude, OBJ, etc. Furthermore, innermost ter...
143
click to vote
ICALP
2007
Springer
15 years 11 months ago
2007
Springer
A spanner of an undirected unweighted graph is a subgraph that approximates the distance metric of the original graph with some specified accuracy. Specifically, we say H ⊆ G i...
145
click to vote
ICALP
2007
Springer
15 years 11 months ago
2007
Springer
While data compression and Kolmogorov complexity are both about effective coding of words, the two settings differ in the following respect. A compression algorithm or compressor...