School of Computing - University of Teesside - Middlesbrough (UK)

Menu of Content

Publications of Bill Stoddart

Conference & Journal Papers

  1. A. R. Lynas and W. J. Stoddart. Using Forth in a Concept-Oriented Computer Language Course. In M. A. Ertl and P. Knaggs, editors, 24th EuroForth Conference Proceedings. October 2008. On-line proceedings. Download paper.
  2. A. R. Lynas and W. J. Stoddart. Adding Lambda Expressions to Forth. In M. A. Ertl and P. Knaggs, editors, 22nd EuroForth Conference Proceedings. October 2007. On-line proceedings. Download paper.
  3. W. J. Stoddart and A. R. Lynas. A Reversible Computing Approach to Forth Floating Point. In M. A. Ertl and P. Knaggs, editors, 23rd EuroForth Conference Proceedings. October 2007. On-line proceedings. Download from http://www.complang.tuwien.ac.at/anton/euroforth2007/papers/stoddart.pdf.
  4. A. R. Lynas and W. J. Stoddart. SuDoku Solver Case Study: from specification to RVM-Forth (part I). In M. A. Ertl, editor, 21st EuroForth Conference Proceedings. October 2005. On-line proceedings. Download paper.
  5. F. Zeyda, W. J. Stoddart, and S. Dunne. A Prospective-Value Semantics for the GSL. In ZB 2005: Formal Specification and Development in Z and B, volume 3455 of Lecture Notes in Computer Science, pages 187-202. Springer, April 2005. Download paper.
  6. F. Zeyda, W. J. Stoddart, and S. Dunne. The Refinement of Reversible Computations. In RCS'03: 2nd International Workshop on Refinement of Critical Systems: Methods, Tools and Developments. June 2003. On-line proceedings. Download from http://www.esil.univ-mrs.fr/~spc/rcs03/papers/zeyda&al.pdf.
  7. S. E. Dunne, W. J. Stoddart, and A. J. Galloway. Specification and refinement in general correctness. In A. Evans, D. Duke, and A. Clark, editors, Proceedings of the 3rd Northern Formal Methods Workshop. BCS Electronic Workshops in Computing, 1998. http://www.ewic.org.uk/ewic/workshop/view.cfm/NFM-98.
  8. S. E. Dunne, W. J. Stoddart, and A. J. Galloway. Hypersubstitutions: extending the generalised substitution to model semi-decidable operations. In H. Habrias, editor, The First B Conference. Universite de Nantes, 1996. ISBN 2-906082-25-2.

Conference Proceedings

  1. S. E. Dunne and W. J. Stoddart, editors. UTP'06, First International Symposium on Unifying Theories of Programming, volume 4010 of Lecture Notes in Computer Science. Springer, June 2006.

Unpublished Papers

Technical Reports

Theses

If you have difficulties accessing this website please email d.cumbor {at} tees.ac.uk.