@inbook{5c66ee27d2624264b6876668396395b0,
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 HoP-rewriting following the Single Pushout approach, by generalising L{\"o}we's notion of graph structure. We also discuss simple extensions of strategy languages to take into account the hierarchical structure of HoP.",
keywords = "graph rewriting systems, hierarchical graphs, lambda-calculus, port graphs, SPO semantics, strategy languages",
author = "Maribel Fernandez and Ian MacKie",
note = "Publisher Copyright: {\textcopyright} 2024 Owner/Author.; 26th International Symposium on Principles and Practice of Declarative Programming, PPDP 2024, 26th International Symposium on Formal Methods and held in conjunction with LOPSTR 2024 ; Conference date: 10-09-2024 Through 11-09-2024",
year = "2024",
month = sep,
day = "9",
doi = "10.1145/3678232.3678238",
language = "English",
series = "ACM International Conference Proceeding Series",
publisher = "Association for Computing Machinery",
booktitle = "Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming, PPDP 2024, Co-located with the 26th International Symposium on Formal Methods",
}