|
|||||
|
|
OPAL: An extensible framework for ontology-based program analysis |
|
| Authors: | Dileep Kumar Pattipati Rupesh Nasre Sreenivasa Kumar Puligundla |
| Affiliation: | Computer Science & Engineering, IIT Madras, Chennai, India |
| Abstract: | |
| Keywords: | program analysis using ontology program knowledge bases program triples semantic triples SPARQL analysis specification |