The York Research Database
- » Research
- » York Research Database
- » Publications
- » Cheap Remarks about Concurrent Programs
Cheap Remarks about Concurrent Programs
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Full text download(s)
238 KB, PDF document
Author(s)
Department/unit(s)
Publication details
| Title of host publication | Proceedings of 14th International Symposium on Functional and Logic Programming |
|---|---|
| Date | Accepted/In press - 22 Jan 2018 |
| Number of pages | 15 |
| Publisher | Springer |
| Original language | English |
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.
- automated testing, refinement and equivalence, effects, declarative properties
Research areas
Discover related content
Find related publications, people, projects, datasets and more using interactive charts.