924 search results - page 128 / 185 » A Probabilistic Approach to Language Change |
139
click to vote
ECOOP
2009
Springer
15 years 11 months ago
2009
Springer
Modern development environments support refactoring by providing atomically behaviour-preserving transformations. While useful, these transformations are limited in three ways: (i)...
120
click to vote
MODELS
2009
Springer
15 years 11 months ago
2009
Springer
We present a novel technique for applying two-level runtime models to distributed systems. Our approach uses graph rewriting rules to transform a high-level source model into one o...
154
Voted
SPIN
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...
130
Voted
UML
2001
Springer
15 years 9 months ago
2001
Springer
: I have always been a strong believer and practitioner of the JFDI approach to development, which yields high morale, early identification of problems in design and of any misunde...
211
click to vote
PLDI
1998
ACM
15 years 8 months ago
1998
ACM
A linear-scan algorithm directs the global allocation of register candidates to registers based on a simple linear sweep over the program being compiled. This approach to register...