Generating Logic Based Representation For Programs

Calin Jebelean, Ciprian-Bogdan Chirila, Anca Maduta

Abstract

Modern software engineering has come to a point where it deals with quite large and complex software artifacts. Labor-intensive activities such as code analysis and code transformation are becoming less and less tractable on such enormous software systems unless a certain level of automatization is provided. Since automatic approaches of code analysis and code transformation strongly rely on software models instead of actual software systems, the software modeling process is of vital interest to a great deal of researchers in the software engineering community. However, the main drawback of most of the software modeling tools available is the fact that they are aimed at software systems written in a certain programming language. This article introduces ProGen, a software tool capable of modeling software systems written in any language for which a plain JAVACC grammar is available, also describing its advantages and limitations.

Keywords

BibTex

@InProceedings{Jebelean2008ICCP,
  author        =       {C\u{a}lin Jebelean and Ciprian-Bogdan Chirila and Anca M\u{a}du\c{t}\u{a}},
  title         =       {Generating Logic Based Representation For Programs}, 
  booktitle     =       {In Proceedings of 2008 IEEE 4-th International Conference on Intelligent Computer Communication and Processing ICCP 2008},
  pages         =       {145--151}, 
  isbn          =       {ISBN 978-1-4244-26737}, 
  address       =       {Cluj-Napoca, Romania},
  month         =       {August 28-30}, 
  year          =       {2008},
}

Text

[Jebelean2008ICCP] - Calin Jebelean, Ciprian-Bogdan Chirila, Anca Maduta. Generating Logic Based Representation For Programs, In Proceedings of 2008 IEEE 4-th International Conference on Intelligent Computer Communication and Processing ICCP 2008, pp. 145--151, ISBN 978-1-4244-26737, Cluj-Napoca, Romania, August 28-30, 2008

Data fields

[Jebelean2008ICCP] -
Calin Jebelean, Ciprian-Bogdan Chirila, Anca Maduta.
Generating Logic Based Representation For Programs,
In Proceedings of 2008 IEEE 4-th International Conference on Intelligent Computer Communication and Processing ICCP 2008,
pp. 145--151,
ISBN 978-1-4244-26737,
Cluj-Napoca, Romania,
August 28-30,
2008