2370 search results - page 96 / 474 » On the Revival of Dynamic Languages |
159
Voted
ISOLA
2010
Springer
15 years 4 months ago
2010
Springer
Dynamic system adaptation is modeled in the coordination language Paradigm as coordination of collaborating components. A special component McPal allows for addition of new behavio...
258
Voted
POPL
2005
ACM
16 years 6 months ago
2005
ACM
We present a new approach to partial-order reduction for model checking software. This approach is based on initially exploring an arbitrary interleaving of the various concurrent...
168
click to vote
TPHOL
2008
IEEE
16 years 5 days ago
2008
IEEE
Slicing is a widely-used technique with applications in e.g. compiler technology and software security. Thus verification of algorithms in these areas is often based on the correc...
178
click to vote
ADC
2006
Springer
15 years 11 months ago
2006
Springer
With the increasing popularity of XML, there arises the need for managing and querying information in this form. Several query languages, such as XQuery, have been proposed which ...
118
Voted
OOPSLA
2005
Springer
15 years 11 months ago
2005
Springer
Model-Driven Engineering (MDE) advocates the generation of software applications from models, which are views on certain aspects of the software. In order to minimize the delta bet...