Logic based representation has great potential for program analysis and transformation. Such a logic support for a programming language can be manually provided by modeling the grammar and writing a parser using semantic actions. Automatic augmentation of a target grammar with specific semantic actions will determine the generation of logic facts from the program AST (Abstract Syntax Tree) and also provide language independency as long as the grammar is kept generic. Such an approach would be useful for any programming language specified by a grammar. This paper presents an approach towards reaching this goal and also discusses potential problems.
logic based representation, Prolog factbase, program transformation
@InProceedings{Chirila2008CONTI, author = {Ciprian-Bogdan Chirila and C\u{a}lin Jebelean and Anca M\u{a}du\c{t}\u{a}}, title = {Towards Automatic Generation and Regeneration of Logic Representation for Object-Oriented Programming Languages}, booktitle = {In Proceedings of International Conference on Technical Informatics, CONTI 2008}, volume = {2}, pages = {13--18}, publisher = {Politehnica Publishing House Timisoara}, address = {Timisoara, Romania}, month = {June 5-6}, year = {2008}, }
[Chirila2008CONTI] - Ciprian-Bogdan Chirila, Calin Jebelean, Anca Maduta. Towards Automatic Generation and Regeneration of Logic Representation for Object-Oriented Programming Languages, In Proceedings of International Conference on Technical Informatics CONTI 2008, volume 2, pp. 13--18, Politehnica Publishing House Timisoara, Timisoara, Romania, June 5-6, 2008
[Chirila2008CONTI] - Ciprian-Bogdan Chirila, Calin Jebelean, Anca Maduta. Towards Automatic Generation and Regeneration of Logic Representation for Object-Oriented Programming Languages, In Proceedings of International Conference on Technical Informatics CONTI 2008, volume 2, pp. 13--18, Politehnica Publishing House Timisoara, Timisoara, Romania, June 5-6, 2008