2370 search results - page 32 / 474 » On the Revival of Dynamic Languages |
253
click to vote
ECOOP
2009
Springer
16 years 6 months ago
2009
Springer
The dynamic frames approach has proven to be a powerful formalism for specifying and verifying object-oriented programs. However, it requires writing and checking many frame annota...
136
click to vote
ECOOP
2004
Springer
15 years 11 months ago
2004
Springer
Software evolution is an inevitable process when developing a system of any notable size and is the most costly stage in the life cycle of a system. Automating parts of this proces...
144
click to vote
ECAL
1999
Springer
15 years 10 months ago
1999
Springer
Categorization dynamics as the clustering of words in word relation is studied by a constructive approach which is suited to inquire evolutionary linguistics with dynamical view on...
156
click to vote
SIGSOFT
2001
ACM
16 years 6 months ago
2001
ACM
For several different reasons, such as changes in the business or technological environment, the configuration of a system may need to evolve during execution. Support for such ev...
173
click to vote
ESOP
2006
Springer
15 years 9 months ago
2006
Springer
We define a core language combining computational and architectural primitives, and study how static typing may be used to ensure safety properties of component composition and dyn...