Verifying a Copying Garbage Collector in GP 2

Plump, Detlef orcid.org/0000-0002-1148-822X and Wulandari, Gia (2018) Verifying a Copying Garbage Collector in GP 2. In: Mazzara, Manuel, Ober, Lulian and Salaün, Gwen, (eds.) Software Technologies: Applications and Foundations - STAF 2018 Collocated Workshops, Revised Selected Papers. 9th International Workshop on Graph Computation Models (GCM 2018), 27 Jun 2018 Lecture Notes in Computer Science . Springer , FRA , 479--494.

Metadata

Authors/Creators:
Copyright, Publisher and Additional Information: This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details
Dates:
  • Accepted: 27 July 2018
  • Published: 6 December 2018
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Depositing User: Pure (York)
Date Deposited: 04 Oct 2018 14:20
Last Modified: 24 Oct 2021 10:20
Published Version: https://doi.org/10.1007/978-3-030-04771-9_34
Status: Published
Publisher: Springer
Series Name: Lecture Notes in Computer Science
Refereed: No
Identification Number: https://doi.org/10.1007/978-3-030-04771-9_34
Related URLs:

Download

Share / Export

Statistics