{\it Policy frameworks} provide a technique for improving reuse in program analysis: the same language frontend, and a core analysis semantics, can be shared among multiple analysis policies for the same language, while analysis domains (such as units of measurement) can be shared among frameworks for different languages. One limitation of policy frameworks is that, in practice, adding a new policy can still require a significant level of knowledge about the internals of the semantics definition. This abstract describes work on extending policy frameworks to solve this limitation, making policies reflective over their requirements and generating the policy semantics from a higher-level policy description language.

Additional Metadata
Keywords domain-specific languages, rewriting logic semantics, K, program analysis
ACM Software/Program Verification (acm D.2.4), Semantics of Programming Languages (acm F.3.2)
THEME Software (theme 1)
Publisher Universidad Complutense de Madrid, Departamento de Sistemas Informáticos y Computación
Editor N. Martí-Oliet , M. Palomino
Project Domain Specific Languages: A Big Future for Small Programs
Citation
Hills, M.A. (2012). Streamlining Policy Creation in Policy Frameworks. In N Martí-Oliet & M Palomino (Eds.), WADT 2012 Preliminary Proceedings (pp. 61–63). Universidad Complutense de Madrid, Departamento de Sistemas Informáticos y Computación.