The following information was submitted:
Transactions: WSEAS TRANSACTIONS ON COMPUTERS
Transactions ID Number: 88-337
Full Name: Calin Jebelean
Position: Ph.D. Candidate
Age: ON
Sex: Male
Address: Bd. Vasile Parvan 2
Country: ROMANIA
Tel:
Tel prefix:
Fax:
E-mail address: calin.jebelean@cs.upt.ro
Other E-mails:
Title of the Paper: Generating logic representations for programs in a language independent fashion
Authors as they appear in the Paper: Calin Jebelean, Ciprian-Bogdan Chirila, Titus Slavici, Vladimir Cretu
Email addresses of all the authors: calin.jebelean@cs.upt.ro,ciprian.chirila@cs.upt.ro,titus.slavici@mec.upt.ro,vladimir.cretu@cs.upt.ro
Number of paper pages: 11
Abstract: 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.
Keywords: Program transformation, Semantical actions, Metamodel conforming logic representation
EXTENSION of the file: .pdf
Special (Invited) Session: Language-independent generation of logic representations for programs
Organizer of the Session: 646-464
How Did you learn about congress:
IP ADDRESS: 79.116.29.164
