×
Author ID: runciman.colin Recent zbMATH articles by "Runciman, Colin"
Published as: Runciman, Colin; Runciman, C.

Publications by Year

Citations contained in zbMATH Open

8 Publications have been cited 23 times in 21 Documents Cited by Year
Freja, Hat and Hood - A comparative evaluation of three systems for tracing and debugging lazy functional programs. Zbl 0977.68818
Chitil, Olaf; Runciman, Colin; Wallace, Malcolm
8
2001
Checking the shape safety of pointer manipulations. Zbl 1088.68548
Bakewell, Adam; Plump, Detlef; Runciman, Colin
5
2004
Retrieving reusable software components by polymorphic type. Zbl 0941.68547
Runciman, Colin; Toyn, Ian
3
1991
Lazy assertions. Zbl 1108.68346
Chitil, Olaf; McNeill, Dan; Runciman, Colin
3
2004
The accepting power of unary string logic programs. Zbl 0992.68126
Matsushita, T.; Runciman, C.
1
2001
Adapting combinator and SECD machines to display snapshots of functional computations. Zbl 0603.68003
Toyn, Ian; Runciman, Colin
1
1986
New dimensions in heap profiling. Zbl 1067.68532
Runciman, Colin; Röjemo, Niklas
1
1996
Performance polymorphism. Zbl 0624.68010
Toyn, Ian; Dix, Alan; Runciman, Colin
1
1987
Checking the shape safety of pointer manipulations. Zbl 1088.68548
Bakewell, Adam; Plump, Detlef; Runciman, Colin
5
2004
Lazy assertions. Zbl 1108.68346
Chitil, Olaf; McNeill, Dan; Runciman, Colin
3
2004
Freja, Hat and Hood - A comparative evaluation of three systems for tracing and debugging lazy functional programs. Zbl 0977.68818
Chitil, Olaf; Runciman, Colin; Wallace, Malcolm
8
2001
The accepting power of unary string logic programs. Zbl 0992.68126
Matsushita, T.; Runciman, C.
1
2001
New dimensions in heap profiling. Zbl 1067.68532
Runciman, Colin; Röjemo, Niklas
1
1996
Retrieving reusable software components by polymorphic type. Zbl 0941.68547
Runciman, Colin; Toyn, Ian
3
1991
Performance polymorphism. Zbl 0624.68010
Toyn, Ian; Dix, Alan; Runciman, Colin
1
1987
Adapting combinator and SECD machines to display snapshots of functional computations. Zbl 0603.68003
Toyn, Ian; Runciman, Colin
1
1986

Citations by Year