Generic Support for Understanding Heterogeneous Software Generic Support for Understanding Heterogeneous Software

The GUPRO approach to support program understanding in heterogeneous software environments is presented. GUPRO is an acronym for Generic Understanding of PROgrams. A tool of the GUPRO family consists of a parsing componentwhich translates source code into a repository together with a source code independent query component. Since the repository can be de ned for di erent languages on arbitrary levels of granularity a generic program understanding tool is given. Thus, also heterogeneous software environments using various programming languages can be analysed.

[1]  Mark A. Linton,et al.  Implementing relational views of programs , 1984, SDE 1.

[2]  Jürgen Ebert.  A versatile data structure for edge-oriented graph algorithms , 1987, CACM.

[3]  C. V. Ramamoorthy,et al.  The C Information Abstraction System , 1990, IEEE Trans. Software Eng..

[4]  Martin Gogolla,et al.  Towards a semantic view of an extended entity-relationship model , 1991, TODS.

[5]  Tony Mason,et al.  Lex & Yacc , 1992 .

[6]  Gregor Engels,et al.  SQL/EER - syntax and semantics of an Entity-Relationship-based query language , 1992, Inf. Syst..

[7]  Peter T. Breuer,et al.  The PRECC Compiler Compiler , 1993 .

[8]  Stan Jarzabek.  Systematic design of static program analyzers , 1994, Proceedings Eighteenth Annual International Computer Software and Applications Conference (COMPSAC 94).

[9]  Jürgen Dix,et al.  A general Approach to Bottom-Up Computation of Disjunctive Semantics , 1994, NMELP.

[10]  Jürgen Dix,et al.  Characterizations of the Stable Semantics by Partial Evaluation , 1994, LPNMR.

[11]  Ulrich Furbach.  Theory Reasoning in First Order Calculi , 1994, IS/KI.

[12]  Dieter Zöbel,et al.  PROGRAM TRANSFORMATIONS FOR DISTRIBUTED CONTROL SYSTEMS , 1994 .

[13]  NET CASE: Towards a Petri Net Based Technique for the Development of Expert/Database Systems , 1994 .

[14]  Jürgen Ebert,et al.  A Declarative Approach to Graph Based Modeling , 1994, WG.

[15]  Martin Jung,et al.  GTU - A workbench for the development of natural language grammars , 1995 .

[16]  Thomas Marx,et al.  NetCASE -- a Petri Net based Method for Database Application Design and Generation , 1995 .

[17]  Stan Jarzabek.  PQL: A Language for Specifying Abstract Program Views , 1995, ESEC.

[18]  Stephan Philippi,et al.  Integration of Integrity Constraints into Object-Oriented Database Schema according to ODMG-93 , 1995 .

[19]  Peter Baumgartner,et al.  Constraint Model Elimination and a PTTP-Implementation , 1995, TABLEAUX.

[20]  Peter Baumgartner,et al.  Model Elimination, Logic Programming and Computing Answers , 1995, IJCAI.

[21]  Jürgen Dix,et al.  Reducing Disjunctive to Non-Disjunctive Semantics by Shift-Operations , 1996, Fundam. Informaticae.

[22]  E. Tronci,et al.  1996 , 1997, Affair of the Heart.