TEAM-ADA Archives

Team Ada: Ada Programming Language Advocacy

TEAM-ADA@LISTSERV.ACM.ORG

Options: Use Forum View

Use Monospaced Font
Show Text Part by Default
Condense Mail Headers

Message: [<< First] [< Prev] [Next >] [Last >>]
Topic: [<< First] [< Prev] [Next >] [Last >>]
Author: [<< First] [< Prev] [Next >] [Last >>]

Print Reply
Sender:
"Team Ada: Ada Advocacy Issues (83 & 95)" <[log in to unmask]>
Subject:
From:
Jack Beidler <[log in to unmask]>
Date:
Wed, 9 Apr 1997 14:36:51 EDT
X-To:
Reply-To:
Jack Beidler <[log in to unmask]>
Parts/Attachments:
text/plain (14 lines)
I felt that I need to clarify somethings about my previous post.  I have
the Stanford Anna stuff, dated about 1992 that was constructed to work
with SunAda.  I'm in the process of setting up some resources for one of
my graduate classes for next year, in which I plan to use Anna.  I guess
what I want to know is if anyone has done anything with Anna vis-a-vis
Ada 95 and/or gnat.  I plan this weekend to try and set everything up
to run it through gnat and I was wondering if I am plowing old ground that
someone has plowed before.

I also plan to use it next year in my CS 2 and CS 7 classes as an assertion
tesing resource.

Jack Beidler

ATOM RSS1 RSS2