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

Item Type: Proceedings Paper
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: 08 Jan 2025 00:16
Status: In Press
Publisher: Springer
Open Archives Initiative ID (OAI ID):

Download

Filename: coco_flops18.pdf

Description: coco-flops18

Export

Statistics