Towards programs logic based representation driven by grammar and conforming to a metamodel

Logic representation of programs gives an expressive way to perform analysis and transformation. Logic representation conforming to a specified metamodel enables analysis and transformation at both meta and concrete representation levels. Logic representation mapping rules express how programs can be automatically translated into metamodel conforming logic representation. The designed formalisms are suitable to any programming language.