In today’s software engineering program analysis and program transformation are operations that strongly rely on software models. One important share in this direction is held by logic based models, described in a declarative language such as Prolog. There are some approaches used to represent information about software systems while at the same time preserving the logic relations between entities, but they are normally limited to software systems written in a certain programming language. There are also language independent approaches to logic based representation of programs, but they are usualy based on syntactic information about the modeled program and provide little information about the logic relations between entities at the semantic level. This paper describes a methodology that would unite the two kinds of approaches, being both language independent and expressive at the semantic level at the cost of a more complex generation process.
@Article{Chirila2010WTranComp,
author = {Ciprian-Bogdan Chirila and C\u{a}lin Jebelean and Titus Slavici and Vladimir Cre\c{t}u},
title = {Generating logic representations for programs in a language independent fashion},
journal = {WSEAS Transactions on Computers},
volume = {9},
number = {10},
month = {July},
year = {2010},
}
[Chirila2010WTranComp] - Ciprian-Bogdan Chirila, Calin Jebelean, Titus Slavici, Vladimir Cretu - Generating logic representations for programs in a language independent fashion, WSEAS Transactions on Computers, Volume 9, Issue 10, July, 2010
[Chirila2010WTranComp] - Ciprian-Bogdan Chirila, Calin Jebelean, Titus Slavici, Vladimir Cretu - Generating logic representations for programs in a language independent fashion, WSEAS Transactions on Computers, Volume 9, Issue 10, July, 2010