@inproceedings{988475a456ff451dadc39412036d3254,
title = "Hierarchical Higher-Order Port-Graphs: A Rewriting-Based Modelling Language",
abstract = "We present hierarchical higher-order port graphs (HoP) and a notion of strategic HoP-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 HoPrewriting following the Single Pushout approach, by generalising L{\"o}we{\textquoteright}s notion of graph structure. We also discuss simple extensions of strategy languages to take into account the hierarchical structure of HoP.",
keywords = "SPO semantics, graph rewriting systems, hierarchical graphs, lambda-calculus, port graphs, strategy languages",
author = "Maribel Fernandez and Ian Mackie",
year = "2024",
month = sep,
day = "9",
doi = "10.1145/3678232.3678238",
language = "English",
series = "ACM International Conference Proceeding Series",
publisher = "Association for Computing Machinery",
pages = "1--14",
editor = "Alessandro Bruni and Alberto Momigliano",
booktitle = "PPDP '24: Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming",
address = "United States",
}