241 search results - page 2 / 49 » A static aspect language for checking design rules |
PLDI
2010
ACM
13 years 9 months ago
2010
ACM
Static analysis designers must carefully balance precision and efficiency. In our experience, many static analysis tools are built around an elegant, core algorithm, but that alg...
POPL
2012
ACM
12 years 9 days ago
2012
ACM
Despite recent successes, large-scale proof development within proof assistants remains an arcane art that is extremely timeconsuming. We argue that this can be attributed to two ...
UML
2000
Springer
13 years 8 months ago
2000
Springer
Software testing can only be formalized and quanti ed when a solid basis for test generation can be de ned. Tests are commonly generated from program source code, graphical models ...
TOOLS
2000
IEEE
13 years 9 months ago
2000
IEEE
AOSD
2003
ACM
13 years 10 months ago
2003
ACM
We define a generic join point model for checking the Law of Demeter (LoD). Join points are trees, pointcuts are predicates over join points, and advice is checked statically sim...