Abstract
We present arguments for the complementary role that intrinsically geometric models of previous termvisualnext term languages can play in many applications, alongside non-geometry based models (such those based on graph grammars, logical predicates or algebraic structures). We characterise which models are intrinsically geometric, and illustrate the concept by providing such a model for higraphs. Further, we examine the relevance of geometric models to the design and implementation of tools which effectively support users in working with previous termvisualnext term languages.
Original language | English |
---|---|
Pages (from-to) | 1-12 |
Number of pages | 12 |
Journal | Electronic Notes in Theoretical Computer Science |
Volume | 72 |
Issue number | 3 |
DOIs | |
Publication status | Published - Feb 2003 |