A Rewriting Logic Semantics Approach to Modular Program Analysis

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 : mardi 24 avril 2018 - 14:45:06

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

73