2370 search results - page 96 / 474 » On the Revival of Dynamic Languages |
197
click to vote
ISOLA
2010
Springer
15 years 6 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...
316
click to vote
POPL
2005
ACM
16 years 8 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...
208
click to vote
TPHOL
2008
IEEE
16 years 2 months 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...
221
click to vote
ADC
2006
Springer
16 years 1 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 ...
152
click to vote
OOPSLA
2005
Springer
16 years 1 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...