CADiZ

Acknowledgements


CADi\num was begun in mid-1989, when Professors John McDermid and Ian Wand decided that York needed to build a Z type-checker due to the absence of any suitable tool. The name CADiZ was suggested by John McDermid. The tool implementation has been done largely by Ian Toyn. Much early testing of the CADi\num typechecker was done by Peter Whysall, Ernie Hocking and David Stokes. This early version was taken up by York Software Engineering Ltd and marketed as a commercial product. It received a BCS Award for outstanding technological achievement in the computing field.

The inference rules have evolved from those proposed by Jim Woodcock and Stephen Brien, with help initially from Jon Hall; the inference rules have subsequently been influenced greatly by Sam Valentine. The design of the tactic language was inspired by Andrew Martin's work. The decision procedures are almost entirely the work of John Firth. The refinement commands arose from a student project by Andrew Hawkins under the supervision of Jeremy Jacob.

Many people have contributed to the development of CADi\num by using it and commenting on it, from which the following spring to mind: Alan Dix, Andrew Coombes, Stephen Clarke, Chris Locke, Brian Sharp, David Jordan, Colin Parker, Mike Spivey, Steven Wilson, Itana Gimenes, Fenggang Shi, Huaikou Miao, Keith Mander, Fiona Polack, Mark Whiston, Sadegh Sadeghipour, Nick Merriam, Will Harwood, David Duffy, Rob Arthan, Susan Stepney, Matt Fairtlough, and Simon Burton. Apologies to the many that have undoubtedly been left out.

Funding for the CADi\num work has at various times been provided by BAe, BAE SYSTEMS, Daimler-Benz, DRA Malvern, DTI, EPSRC, EU, Rolls-Royce, SERC, and UGC.

The translation of the documentation from LATEX mark-up to HTML is automated using software derived from Jonathan Jacky's scripts.


IT 18-Jan-2002