Sciweavers

39
Voted
TACAS
1997
Springer

Graphs in METAFrame: The Unifying Power of Polymorphism

14 years 3 months ago
Graphs in METAFrame: The Unifying Power of Polymorphism
We present a highly polymorphic tool for the construction, synthesis, structuring, manipulation, investigation, and (symbolic) execution of graphs. The exibility of this tool, which mainly arises as a consequence of combining complex graph labelings expressing the intended semantics with hierarchy and customized graphical node representations, is illustrated along a representative choice of application scenarios.
Michael von der Beeck, Volker Braun, Andreas Cla&s
Added 08 Aug 2010
Updated 08 Aug 2010
Type Conference
Year 1997
Where TACAS
Authors Michael von der Beeck, Volker Braun, Andreas Claßen, Achim Dannecker, Carsten Friedrich, Dirk Koschützki, Tiziana Margaria, Falk Schreiber, Bernhard Steffen
Comments (0)