Items where authors include "Runciman, Colin"

Book Section

Borgo, Rita, Duke, David, Wallace, Malcolm et al. (1 more author) (2006) Multi-cultural visualization : how functional programming can enrich visualization (and vice versa). In: Vision, Modeling, and Visualization 2006 : Proceedings, November 22 - 24, 2006. AKA Verlag - IOS Press , pp. 245-252.

Proceedings Paper

Braquehais, Rudy and Runciman, Colin orcid.org/0000-0002-0151-3233 (2018) Extrapolate: generalizing counterexamples of functional test properties. In: IFL 2017: 29th Symposium on the Implementation and Application of Functional Programming Languages. UNSPECIFIED. ACM , New York . (In Press)

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

Braquehais, Rudy and Runciman, Colin orcid.org/0000-0002-0151-3233 (2017) Speculate: discovering conditional equations and inequalities about black-box functions by reasoning from test results. In: Proceedings of the ACM SIGPLAN Haskell Symposium 2017. UNSPECIFIED. ACM , pp. 40-51.

Runciman, Colin orcid.org/0000-0002-0151-3233 and Braquehais, Rudy (2016) FitSpec: : refining property sets for functional testing. In: Proceedings of 9th International Symposium on Haskell. UNSPECIFIED. ACM , Nara, Japan , pp. 1-12.

Chitil, Olaf, Faddegon, Maarten and Runciman, Colin orcid.org/0000-0002-0151-3233 (2016) A Lightweight Hat: : simple type-preserving instrumentation for self-tracing lazy functional programs. In: Proceedings of 28th Symposium on Implementation and Application of Functional Languages. UNSPECIFIED. ACM .

Walker, Michael Stewart and Runciman, Colin orcid.org/0000-0002-0151-3233 (2015) Deja Fu: a concurrency testing library for Haskell. In: Proceedings of 8th International Symposium on Haskell. UNSPECIFIED. ACM , pp. 141-152.

Bak, Christopher, Faulkner, Glyn, Plump, Detlef orcid.org/0000-0002-1148-822X et al. (1 more author) (2015) A Reference Interpreter for the Graph Programming Language GP 2. In: Rensink, Arend and Zambon, Eduardo, (eds.) Proceedings 1st Workshop Graphs as Models (GaM 2015). Graphs as Models, 11-12 Apr 2015. Electronic Proceedings in Theoretical Computer Science . Electronic Proceedings in Theoretical Computer Science , GBR , pp. 48-64.

Calderon Trilla, Jose Manuel, Poulding, Simon Marcus and Runciman, Colin orcid.org/0000-0002-0151-3233 (2015) Weaving Parallel Threads. In: Barros, M and Labiche, Y, (eds.) Proceedings of International Symposium on Search-based Software Engineering. UNSPECIFIED. LNCS . Springer , Bergamo, Italy , pp. 62-76.