A Rewriting Logic Semantics Approach to Modular Program Analysis

Mark Hills 1 Grigore Rosu
1 ATEAMS - Analysis and Transformation based on rEliAble tool coMpositionS
Inria Lille - Nord Europe, CWI - Centrum Wiskunde & Informatica
Type de document :
Communication dans un congrès
RTA, Jul 2010, Edinburgh, United Kingdom. pp.151-160, 2010, 〈10.4230/LIPIcs.RTA.2010.151〉
Liste complète des métadonnées

https://hal.inria.fr/inria-00535880
Contributeur : Jurgen Vinju <>
Soumis le : samedi 13 novembre 2010 - 16:38:26
Dernière modification le : mercredi 29 novembre 2017 - 15:10:25

Identifiants

Collections

Citation

Mark Hills, Grigore Rosu. A Rewriting Logic Semantics Approach to Modular Program Analysis. RTA, Jul 2010, Edinburgh, United Kingdom. pp.151-160, 2010, 〈10.4230/LIPIcs.RTA.2010.151〉. 〈inria-00535880〉

Partager

Métriques

Consultations de la notice

59