Yes, you are right. I have given this some thought and realize that I should have elaborated on my reply since it is an opportunity differentiate our approach from the conventional and accepted approach. Unfortunately, I have commitments with an on-going project and cannot respond until this evening, which I am eager to do.
On Sep 17, 2007, at 5:46 AM, Bill Andersen wrote:
On Sep 17, 2007, at 00:12 , Dennis L. Thomas wrote:
I am aware of the distinctions you defined below, but do not subscribe to either of these formal definitions of declarative. To us, what is being declared is either theory or reality.
You are free to have whatever meanings you like in mind when you use words. But that makes discourse among educated people a little tough, don'tcha think? I'm sure he needs no defending, but Randall's characterization of the meaning of the term 'declarative' in computer science is completely conventional and accepted by every computer scientist I know. Do you not think that would put some pressure on you to adopt a different term than 'declarative', especially given the confusion with your use of the term 'pre-computation' that has already been covered in this list?
3600 O'Donnell Street, Suite 600
Baltimore, MD 21224