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
We present CoCo, the Concurrency Commentator, a tool that recovers a declarative view of concurrent Haskell functions operating on some shared state. This declarative view is presented as a collection of automatically discovered properties. These properties are about refinement and equivalence of effects, rather than equality of final results. The tool is based on testing in a dynamically pruned search-space, rather than static analysis or theorem proving. Case studies about concurrent stacks and semaphores demonstrate how use of CoCo can inform understanding of program behaviour.
Metadata
Item Type: | Proceedings Paper |
---|---|
Authors/Creators: |
|
Keywords: | automated testing,refinement and equivalence,effects,declarative properties |
Dates: |
|
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): | oai:eprints.whiterose.ac.uk:129497 |