Now showing items 1-2 of 2

  • MiraCalc: the Miranda Calculator, the Unix version

    Goldson, Doug; Hopkins, Mike; Reeves, Steve (1994-04)
    Those of you who already have some experience of programming, or experience of simply using a computer, will know that computers can be very unforgiving. They are fussy, and unless you get things exactly right they will ...
  • μ-Chart-based specification and refinement

    Goldson, Doug; Reeve, Greg; Reeves, Steve (Springer, Berlin, 2002)
    We introduce two new notions of refinement for μ-charts and compare them with the existing notion due to Scholz. The two notions are interesting and important because one gives rise (via a logic) to a calculus for constructing ...

Doug Goldson has 3 co-authors in Research Commons.