Re: Returned mail: User unknown

[David Collier-Brown <davecb@Canada.Sun.COM>]

I said:
>    If so, I'd expect prior use, even in an experimental context,
> should be considered.  If a registry, for example, had already

    I happen to be translating specifications into
 a compilable language (ADL, see http://adl.themacs.com
 and http://www.sun.com/sunsoft/Dev-progs/abi/index.html)
 I wrote a quick hack at my claim in ADL.
 
 for registry r1, domain d:
   (registrants >= 10 && (independant() || alternet())
    && servers_up() && time >= 1 month && requested_from_iana())
         --> first_refusal(d),
 
   first_refusal(d) && qualified()
         --> acceptable(d),
 
   for additional registry r2:
   first_refusal(d) && !qualified()
   && (outsourced(r1,r2) && qualified(r2))
         -->  acceptable(d)
 
 Here && and || are exactly as per C, the expressions are booleans, and
 ``a --> b'' means ``you can't have a true and b false''
 
   So it is reducable to a dedecison procedure even a program can grok.
 I'd prefer to have things that cut-and-dried, so we didn't have to
 use human judgement on a case-by-case basis!
 
--dave (and no, I'm not a formal methods person or an academic.
         the formal folks occasionally break into uncontrollable
         laughter at my code) c-b
--
David Collier-Brown,  | Always do right. This will gratify some people
185 Ellerslie Ave.,   | astonish the rest.        -- Mark Twain
Willowdale, Ontario   | davecb@hobbes.ss.org, canada.sun.com
N2M 1Y3. 416-223-8968 | http://java.science.yorku.ca/~davecb

-- 
David Collier-Brown,  | Always do right. This will gratify some people
185 Ellerslie Ave.,   | astonish the rest.        -- Mark Twain
Willowdale, Ontario   | davecb@hobbes.ss.org, canada.sun.com
N2M 1Y3. 416-223-8968 | http://java.science.yorku.ca/~davecb