School of Computing

Publications by Prof David Turner

Also view these in the Kent Academic Repository

Monograph
Telford, A. and Turner, D. (2000). A Hierarchy of Languages with Strong Termination Properties. University of Kent.
Telford, A. and Turner, D. (1997). Ensuring the Productivity of Infinite Structures. University of Kent.
Conference or workshop item
Telford, A. and Turner, D. (1999). Ensuring Termination in ESFP. in: 15th British Colloquium in Theoretical Computer Science. Keele.
Telford, A. and Turner, D. (1997). Ensuring Streams Flow. in: Johnson, M. ed. Algebraic Methodology and Software Technology, 6th International Conference, AMAST '97, Sydney Australia, December 1997. Springer-Verlag, pp. 509-523.
Total publications in KAR: 4 [See all in KAR]

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 26/09/2017