9264 search results - page 431 / 1853 » Space Between Languages |
185
Voted
TCS
2008
15 years 6 months ago
2008
We introduce an LTL-like logic with atomic formulae built over a constraint language interpreting variables in Z. The constraint language includes periodicity constraints, comparis...
141
Voted
LISP
2007
15 years 6 months ago
2007
: The Krivine machine is a simple and natural implementation of the normal weak-head reduction strategy for pure λ-terms. While its original description has remained unpublished, ...
169
Voted
ESOP
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. Graphs are an intuitive model for states of a (software) system that include pointer structures — for instance, object-oriented programs. However, a naive encoding resu...
171
click to vote
ICALP
1997
Springer
15 years 11 months ago
1997
Springer
Despite the major role that modularity occupies in computer science, all the known results on modular analysis only treat particular problems, and there is no general unifying the...
273
Voted
IUI
2006
ACM
16 years 25 days ago
2006
ACM
This paper addresses the problem of the graceful degradation of user interfaces where an initial interface is transferred to a smaller platform. It presents a technique for pagina...