3 search results - page 1 / 1 » Mint: Java multi-stage programming using weak separability |
PLDI
2010
ACM
13 years 10 months ago
2010
ACM
Multi-stage programming (MSP) provides a disciplined approach to run-time code generation. In the purely functional setting, it has been shown how MSP can be used to reduce the ov...
ECAI
2004
Springer
13 years 10 months ago
2004
Springer
Model-based diagnosis applied to computer programs has been studied for several years. Although there are still weaknesses in the used models, especially on dealing with dynamic da...
VIZSEC
2007
Springer
13 years 11 months ago
2007
Springer
Abstract Attack graphs for large enterprise networks improve security by revealing critical paths used by adversaries to capture network assets. Even with simplification, current a...