2370 search results - page 205 / 474 » On the Revival of Dynamic Languages |
195
click to vote
COORDINATION
2005
Springer
16 years 29 days ago
2005
Springer
Within one model, behavioural consistency of its constituents is often problematic. Within UML such horizontal behavioural consistency between the objects of a concrete model, is p...
192
click to vote
ECOOP
2005
Springer
16 years 28 days ago
2005
Springer
Abstract. In our research we are studying how to combine modelling, metamodelling, and reflection to systematically generate middleware configurations that can be targeted at diffe...
181
click to vote
TACAS
2004
Springer
16 years 23 days ago
2004
Springer
Abstract. We present a tool for the formal verification of ANSI-C programs using Bounded Model Checking (BMC). The emphasis is on usability: the tool supports almost all ANSI-C la...
165
click to vote
EMSOFT
2001
Springer
15 years 12 months ago
2001
Springer
Dynamic storage allocation and automatic garbage collection are among the most popular features that high-level languages can offer. However, timecritical applications cannot be wr...
232
click to vote
LOPSTR
2001
Springer
15 years 12 months ago
2001
Springer
Abstract. The ability of reacting to changes in the external environment is of crucial importance within the context of software agents. Such feature must however be suitably recon...