Cheap Remarks about Concurrent Programs

Walker, Michael and Runciman, Colin orcid.org/0000-0002-0151-3233 (Accepted: 2018) Cheap Remarks about Concurrent Programs. In: Proceedings of 14th International Symposium on Functional and Logic Programming. Springer . (In Press)

Abstract

Metadata

Authors/Creators:
Keywords: automated testing,refinement and equivalence,effects,declarative properties
Dates:
  • Accepted: 22 January 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: 10 Apr 2018 14:00
Last Modified: 01 Sep 2021 15:20
Status: In Press
Publisher: Springer
Refereed: No

Download

Filename: coco_flops18.pdf

Description: coco-flops18

Share / Export