An approach for implementing TUNES
10 Apr 1999 08:31:34 +0200
>>>>> "Brent" == Brent Kerby <email@example.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 ?
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.