From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-0.8 required=5.0 tests=BAYES_00,INVALID_DATE,
	MSGID_SHORT autolearn=no autolearn_force=no version=3.4.4
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
List-Id: <comp.lang.ada>

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