Recent publications
by David Turner




  • Ensuring Termination in ESFP. A. J. Telford and D. A. Turner. In 15th British Colloquium in Theoretical Computer Science, page 14, Keele, April 1999.
  • Ensuring Streams Flow. Alastair Telford and David Turner. In Michael Johnson, editor, Algebraic Methodology and Software Technology, 6th International Conference, AMAST '97, Sydney Australia, December 1997, volume 1349 of Lecture Notes in Computer Science, pages 509-523. AMAST, Springer-Verlag, December 1997.
  • Ensuring the Productivity of Infinite Structures. Alastair Telford and David Turner. Technical Report 14-97, The Computing Laboratory, University of Kent at Canterbury, Canterbury, Kent, CT2 7NF, UK, September 1997. This technical report has been revised (March 1998). A shorter version of this paper was presented at AMAST '97.



UKC Department Search People Research


http://www.cs.ukc.ac.uk/people/staff/dat/index.html
Last modified Monday February 21 20:42:11 GMT 2000
Problems with this page? Contact the CS Webmaster