Streamlining Policy Creation In Policy Frameworks

Mark Hills 1
1 ATEAMS - Analysis and Transformation based on rEliAble tool coMpositionS
Inria Lille - Nord Europe, CWI - Centrum Wiskunde & Informatica
Abstract : \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.
Type de document :
Chapitre d'ouvrage
Martì-Oliet, N. and Palomino, M. WADT 2012 Preliminary Proceedings, Universidad Complutense de Madrid, Departamento de Sistemas Informáticos y Computación, pp.61 - 63, 2012
Liste complète des métadonnées

https://hal.inria.fr/hal-00756877
Contributeur : Jurgen Vinju <>
Soumis le : vendredi 23 novembre 2012 - 22:00:16
Dernière modification le : mercredi 14 décembre 2016 - 01:07:09

Identifiants

  • HAL Id : hal-00756877, version 1

Collections

Citation

Mark Hills. Streamlining Policy Creation In Policy Frameworks. Martì-Oliet, N. and Palomino, M. WADT 2012 Preliminary Proceedings, Universidad Complutense de Madrid, Departamento de Sistemas Informáticos y Computación, pp.61 - 63, 2012. 〈hal-00756877〉

Partager

Métriques

Consultations de la notice

193