An approach for implementing TUNES

Laurent Martelli
10 Apr 1999 08:31:34 +0200

>>>>> "Brent" == Brent Kerby <> writes:

  >> I do not really understand what the system would be like. Can you
  >> give us an example of how you'd do "hello world", ` 2 + 2 ', or
  >> something simple ?
  >> Laurent


  Brent> I think that both definitions (the behavior of an ibm-pc and
  Brent> a TUNES system) would be quite feasible to write. However, I
  Brent> have almost no idea how to implement the logic tool. Once
  Brent> again, I ask, does anyone else know how?

In short, you propose that we design by contract, and that we build a
tool for finding implementations of a given contract.