An approach for implementing TUNES

[Laurent Martelli]

>>>>> "Brent" == Brent Kerby <magister@tecinfo.com> 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. 

Laurent