Chris Angelico wrote:
If you're specifying them formally, you're probably coding them. Any form sufficiently well-defined for a program to analyze is basically code already.
Yes, I think that once a specification language crosses a certain threshold of complexity, it becomes just as difficult to debug as a program -- so all you've done is invent another programming language. -- Greg -- https://mail.python.org/mailman/listinfo/python-list
