Linear-Time Graph Programs without Preconditions

Ismaili Alaoui, Ziad and Plump, Detlef orcid.org/0000-0002-1148-822X (2025) Linear-Time Graph Programs without Preconditions. In: Proceedings 14th and 15th International Workshop on Graph Computation Models (GCM 2024 and GCM 2025). Electronic Proceedings in Theoretical Computer Science . Open Publishing Association , pp. 39-54.

Metadata

Item Type: Proceedings Paper
Authors/Creators:
Copyright, Publisher and Additional Information:

© Z. Ismaili Alaoui & D. Plump
Dates:
  • Published: 26 March 2025
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Depositing User: Pure (York)
Date Deposited: 03 Apr 2025 12:30
Last Modified: 03 Apr 2025 12:30
Published Version: https://doi.org/10.4204/EPTCS.417.3
Status: Published
Publisher: Open Publishing Association
Series Name: Electronic Proceedings in Theoretical Computer Science
Identification Number: 10.4204/EPTCS.417.3
Open Archives Initiative ID (OAI ID):

Download

Published Version

Filename: paper.pdf

Description: Linear-Time Graph Programs without Preconditions

Licence: CC-BY 2.5

CLICK TO DOWNLOAD [thumbnail of Linear-Time Graph Programs without Preconditions]

Export

Statistics


CORE (COnnecting REpositories)