Language Independent Generation of Logic Representation for Programs

Calin Jebelean, Ciprian-Bogdan Chirila, Titus Slavici, Vladimir Cretu

Abstract

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.

Keywords

BibTex

@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},
}

Text

[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

Data fields

[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