Verifying a Copying Garbage Collector in GP 2

Plump, Detlef 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.


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
  • 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: 07 Sep 2022 15:39
Published Version:
Status: Published
Publisher: Springer
Series Name: Lecture Notes in Computer Science
Refereed: No
Identification Number:
Related URLs:


Share / Export