Language-independent generation of logic representations for programs

Authors:
Călin Jebelean;Ciprian-Bogdan Chirila;Titus Slavici;Vladimir Creţu
Affiliations:
University "Politehnica" Timişoara, Timişoara, Romania;University "Politehnica" Timişoara, Timişoara, Romania;University "Politehnica" Timişoara, Timişoara, Romania;University "Politehnica" Timişoara, Timişoara, Romania
Venue:
ICCOMP'10 Proceedings of the 14th WSEAS international conference on Computers: part of the 14th WSEAS CSCC multiconference - Volume I
Year:
2010

Citing 6
Cited 0

Eiffel: the language

Eiffel: the language
Design patterns: elements of reusable object-oriented software

Design patterns: elements of reusable object-oriented software
Stratego/XT 0.16: components for transformation systems

Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
A comparison of logic-based infrastructures for concern detection and extraction

Proceedings of the 3rd workshop on Linking aspect technology and evolution
Derivation and Refinement of Textual Syntax for Models

ECMDA-FA '09 Proceedings of the 5th European Conference on Model Driven Architecture - Foundations and Applications
Model-Driven analysis and synthesis of concrete syntax

MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems

Quantified Score

Hi-index	0.00

Visualization

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.