Logic representation is a strong foundation for program analysis and transformation. Obtaining metamodel conforming logic representation for programs written in general purpose programming languages requires a generic methodology. The declaration of a logic metamodel using generic AST node data access expressions facilitates automatic generation of logic representation without requiring knowledge of advanced program transformation tools.
@InProceedings{Jebelean2010ICCOMP, author = {C\u{a}lin Jebelean and Ciprian-Bogdan Chirila and Titus Slavici and Vladimir Cre\c{t}u}, title = {Language Independent Generation of Logic Representation for Programs}, booktitle = {14th WSEAS International Conference on Computers}, address = {Corfu, Greece}, month = {July}, year = {2010}, }
[Jebelean2010ICCOMP] - Calin Jebelean, Ciprian-Bogdan Chirila, Titus Slavici, Vladimir Cretu. Language Independent Generation of Logic Representation for Programs, 14th WSEAS International Conference on Computers, issn 1792-4251, isbn 978-960-474-201-1, pp. 385-390, Corfu, Greece, July 22, 2010
[Jebelean2010ICCOMP] - Calin Jebelean, Ciprian-Bogdan Chirila, Titus Slavici, Vladimir Cretu. Language Independent Generation of Logic Representation for Programs, 14th WSEAS International Conference on Computers, issn 1792-4251, isbn 978-960-474-201-1, pp. 385-390, Corfu, Greece, July 22, 2010