Path: utzoo!utgpu!attcan!uunet!lll-winken!ames!mailrus!cornell!uw-beaver!ssc-vax!shuksan!scott
From: scott@shuksan.UUCP (Scott Moody)
Newsgroups: comp.lang.ada
Subject: Invariants in future Ada Versions?
Message-ID: <1090@shuksan.UUCP>
Date: 14 Jan 89 00:51:22 GMT
Organization: The Boeing Co., BAC MMST, Seattle, WA
Lines: 7

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