Analysis of Object-Oriented Programs Using Graphs

Ciupke, Oliver

doi:10.1007/3-540-69687-3_50

“…A number of programmable graph transformation systems based on extensions of this algebra have been presented in the literature [3,4,9,11,16,17,19]. One of the common extensions is to augment RA with a transitive closure operator (this is used in all of the works cited here).…”

Section: Related Workmentioning

confidence: 99%

Flow equations as a generic programming tool for manipulation of attributed graphs

Fiskio-LasseterJohn

¹

,

YoungMichal

²

2002

SIGSOFT Softw. Eng. Notes

0

View full text Add to dashboard Cite

The past three decades have seen the creation of several tools that extract, visualize, and manipulate graph-structured representations of program information. To facilitate interconnection and exchange of information between these tools, and to support the prototyping and development of new tools, it is desirable to have some generic support for the specification of graph transformations and exchanges between them.GENSET is a generic programmable tool for transformation of graph-structured data. The implementation of the GENSET system and the programming paradigm of its language are both based on the view of a directed graph as a binary relation. Rather than use traditional relational algebra to specify transformations, however, we opt instead for the more expressive class of flow equations. Flow equations-or, more generally, systems of simultaneous fixpoint equations-have seen fruitful applications in several areas, including data and control flow analysis, formal verification, and logic programming. In GENSET, they provide the fundamental construct for the programmer to use in defining new transformations.

show abstract

On the computer aided introduction of design patterns into object-oriented systems

Schulz

¹

,

Genssler²,

Mohr³

et al.

Proceedings Technology of Object-Oriented Languages. TOOLS 27 (Cat. No.98EX224)

View full text Add to dashboard Cite

Flow equations as a generic programming tool for manipulation of attributed graphs

Fiskio-Lasseter

¹

,

Young

²

2002

Proceedings of the 2002 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering

View full text Add to dashboard Cite

The past three decades have seen the creation of several tools that extract, visualize, and manipulate graph-structured representations of program information. To facilitate interconnection and exchange of information between these tools, and to support the prototyping and development of new tools, it is desirable to have some generic support for the specification of graph transformations and exchanges between them.GENSET is a generic programmable tool for transformation of graph-structured data. The implementation of the GENSET system and the programming paradigm of its language are both based on the view of a directed graph as a binary relation. Rather than use traditional relational algebra to specify transformations, however, we opt instead for the more expressive class of flow equations. Flow equations-or, more generally, systems of simultaneous fixpoint equations-have seen fruitful applications in several areas, including data and control flow analysis, formal verification, and logic programming. In GENSET, they provide the fundamental construct for the programmer to use in defining new transformations.

show abstract

Analysis of Object-Oriented Programs Using Graphs

Cited by 3 publications

References 2 publications

Flow equations as a generic programming tool for manipulation of attributed graphs

Flow equations as a generic programming tool for manipulation of attributed graphs

On the computer aided introduction of design patterns into object-oriented systems

Flow equations as a generic programming tool for manipulation of attributed graphs

Contact Info

Product

Resources

About