scott@shuksan.UUCP (Scott Moody) (01/14/89)
Has there been any mention of adding software Invariants to future versions of Ada? The Eiffel langauge seems to have a nice concept of pre and post conditions that users can require of their code. I also saw that the Turing langauge has some form of these same concepts. -- scott