1715 search results - page 1 / 343 » Domain-Specific Program Checking |
TOOLS
2010
IEEE
13 years 10 months ago
2010
IEEE
FMOODS
2007
13 years 6 months ago
2007
The success of distributed event-based infrastructures such as SIENA and Elvin is partially due to their ease of use. Even novice users of these infrastructures not versed in distr...
EUROMICRO
2009
IEEE
13 years 11 months ago
2009
IEEE
ECOOP
2000
Springer
13 years 9 months ago
2000
Springer
CC
2009
Springer
13 years 2 months ago
2009
Springer
We present the architecture of the Rosser toolkit that allows optimisations to be specified in a domain specific language, then compiled and deployed towards optimising object prog...