31 search results - page 7 / 7 » KOOL: An Application of Rewriting Logic to Language Prototyp... |
KBSE
2010
IEEE
13 years 6 months ago
2010
IEEE
Decision procedures have long been a fixture in program analysis, and reasoning about string constraints is a key element in many program analyses and testing frameworks. Recent ...