By the same authors

Cheap Remarks about Concurrent Programs

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Standard

Cheap Remarks about Concurrent Programs. / Walker, Michael; Runciman, Colin.

Proceedings of 14th International Symposium on Functional and Logic Programming. Springer, 2018.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Harvard

Walker, M & Runciman, C 2018, Cheap Remarks about Concurrent Programs. in Proceedings of 14th International Symposium on Functional and Logic Programming. Springer.

APA

Walker, M., & Runciman, C. (Accepted/In press). Cheap Remarks about Concurrent Programs. In Proceedings of 14th International Symposium on Functional and Logic Programming Springer.

Vancouver

Walker M, Runciman C. Cheap Remarks about Concurrent Programs. In Proceedings of 14th International Symposium on Functional and Logic Programming. Springer. 2018

Author

Walker, Michael ; Runciman, Colin. / Cheap Remarks about Concurrent Programs. Proceedings of 14th International Symposium on Functional and Logic Programming. Springer, 2018.

Bibtex - Download

@inproceedings{db4f942141044bb9994db56ce31fffb2,
title = "Cheap Remarks about Concurrent Programs",
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.",
keywords = "automated testing, refinement and equivalence, effects, declarative properties",
author = "Michael Walker and Colin Runciman",
year = "2018",
month = jan,
day = "22",
language = "English",
booktitle = "Proceedings of 14th International Symposium on Functional and Logic Programming",
publisher = "Springer",

}

RIS (suitable for import to EndNote) - Download

TY - GEN

T1 - Cheap Remarks about Concurrent Programs

AU - Walker, Michael

AU - Runciman, Colin

PY - 2018/1/22

Y1 - 2018/1/22

N2 - 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.

AB - 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.

KW - automated testing

KW - refinement and equivalence

KW - effects

KW - declarative properties

M3 - Conference contribution

BT - Proceedings of 14th International Symposium on Functional and Logic Programming

PB - Springer

ER -