Hierarchical Higher-Order Port-Graphs: A Rewriting-Based Modelling Language
Maribel Fernández, Ian Mackie · 2024
We present hierarchical higher-order port graphs ( Math 1 oP) and a notion of strategic Math 2 oP-rewriting, as a foundation for modelling tools. To illustrate the methodology we provide a specification of the lambda-calculus, the computation model underlying the functional programming paradigm. We give a categorical semantics for Math 3 oP-rewriting following the Single Pushout approach, by generalising Löwe’s notion of graph structure. We also discuss simple extensions of strategy languages to take into account the hierarchical structure of Math 4 oP.