[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: AST transformations




Etienne. Thanks for your reply. Actually, I am a faculty member here
and I am more or less of an expert on automated reasoning, from which
the ideas I've expressed come. So I'm pretty familiar with the field.
What I'm not an expert on is Sable, so your comments are quite helpful.
Let me think about them some more and I'll get back to you.

Thanks again,

Jeff
----

P.S. Sorry for the previous premature send. My fingers freaked out.