From: leach@tolerant.UUCP
Subject: Validation on Embedded Systems
Date: Fri, 23-May-86 14:53:06 EDT [thread overview]
Date: Fri May 23 14:53:06 1986
Message-ID: <354@tolerant.UUCP> (raw)
The Ada validation capability exercises the full capabilities
of the language, including such things as file i/o. On the
other hand, one of the purposes of the languages is the
programming of embedded systems. Presumably there are
some of those that do not have file systems. The question
arrises, then, as to what it means to validate Ada for
one such system.
Any experience with this problem out there?
--
Geoffrey Leach
Yet Another Software Company
(415)325-8717
{ucbvax,pyramid,oliveb,idsvax,bene,nsc}!tolerant!leach
Net access through the courtesy of Tolerant Systems
next reply other threads:[~1986-05-23 18:53 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
1986-05-23 18:53 leach [this message]
1986-06-02 18:29 ` Validation on Embedded Systems John B. Goodenough
1986-06-19 15:36 ` stt
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox