Title :
Towards programs logic based representation driven by grammar and conforming to a metamodel
Author :
Ciprian-Bogdan Chirila;Călin Jebelean
Author_Institution :
University Politehnica of Timisoara, Romania Faculty of Automation and Computer Science
fDate :
5/1/2010 12:00:00 AM
Abstract :
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.
Keywords :
"Logic programming","Automatic logic units","Concrete","Performance analysis","Automation","Computer science","Computer languages","Cloning","Cybernetics","Informatics"
Conference_Titel :
Computational Cybernetics and Technical Informatics (ICCC-CONTI), 2010 International Joint Conference on
Print_ISBN :
978-1-4244-7432-5
DOI :
10.1109/ICCCYB.2010.5491319
