* Re: Looking for Ada programs
[not found] <7cohvl$m2p$1@pump1.york.ac.uk>
@ 1999-03-17 0:00 ` Michael F Brenner
1999-03-17 0:00 ` Stuart White
1999-03-18 0:00 ` Gautier.DeMontmollin
1999-03-18 0:00 ` John English
2 siblings, 1 reply; 4+ messages in thread
From: Michael F Brenner @ 1999-03-17 0:00 UTC (permalink / raw)
What kind of analysis will you be doing?
Mike Brenner mikeb@mitre.org
-------------------------------------------------------------------------
As part of a project I am doing, I need to analyse a load of Ada source
code. I have obtained a large quantity from the PAL, but I would like to
include some code from other sources for variety. Unfortunately, I have
been unable to find much code on the web apart from the stuff in the PAL.
Could anyone point me in the direction of other Ada sources on the web?
Thanks in advance.
Stu
^ permalink raw reply [flat|nested] 4+ messages in thread
* Re: Looking for Ada programs
1999-03-17 0:00 ` Looking for Ada programs Michael F Brenner
@ 1999-03-17 0:00 ` Stuart White
0 siblings, 0 replies; 4+ messages in thread
From: Stuart White @ 1999-03-17 0:00 UTC (permalink / raw)
Michael F Brenner wrote:
: What kind of analysis will you be doing?
Static analysis of type usage/statement frequencies/etc. Simple stuff.
^ permalink raw reply [flat|nested] 4+ messages in thread
* Re: Looking for Ada programs
[not found] <7cohvl$m2p$1@pump1.york.ac.uk>
1999-03-17 0:00 ` Looking for Ada programs Michael F Brenner
1999-03-18 0:00 ` Gautier.DeMontmollin
@ 1999-03-18 0:00 ` John English
2 siblings, 0 replies; 4+ messages in thread
From: John English @ 1999-03-18 0:00 UTC (permalink / raw)
> As part of a project I am doing, I need to analyse a load of Ada source
> code. I have obtained a large quantity from the PAL, but I would like to
> include some code from other sources for variety. Unfortunately, I have
> been unable to find much code on the web apart from the stuff in the PAL.
>
> Could anyone point me in the direction of other Ada sources on the web?
Here are a few links:
http://www.it.bton.ac.uk/staff/je/adacraft/download.html
http://burks.bton.ac.uk/burks/software/libs/
http://burks.bton.ac.uk/burks/software/sources/
-----------------------------------------------------------------
John English | mailto:je@brighton.ac.uk
Senior Lecturer | http://www.it.bton.ac.uk/staff/je
Dept. of Computing | ** NON-PROFIT CD FOR CS STUDENTS **
University of Brighton | -- see http://burks.bton.ac.uk
-----------------------------------------------------------------
^ permalink raw reply [flat|nested] 4+ messages in thread
* Re: Looking for Ada programs
[not found] <7cohvl$m2p$1@pump1.york.ac.uk>
1999-03-17 0:00 ` Looking for Ada programs Michael F Brenner
@ 1999-03-18 0:00 ` Gautier.DeMontmollin
1999-03-18 0:00 ` John English
2 siblings, 0 replies; 4+ messages in thread
From: Gautier.DeMontmollin @ 1999-03-18 0:00 UTC (permalink / raw)
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 700 bytes --]
>As part of a project I am doing, I need to analyse a load of Ada source
>code. I have obtained a large quantity from the PAL, but I would like to
>include some code from other sources for variety. Unfortunately, I have
>been unable to find much code on the web apart from the stuff in the PAL.
>
>Could anyone point me in the direction of other Ada sources on the web?
There are some here (of mine...):
http://www.unine.ch/math/Personnel/Assistants/Gautier/Gaut_FTP.htm
An unusual appliction (for that language) there:
ftp://ftp.unine.ch/incoming/gautier/
A new unsorted library:
http://www.botton.com/
There is PAL with 1-2GB sources (adahome)
Voil� - for the moment - ...
Gautier
^ permalink raw reply [flat|nested] 4+ messages in thread
end of thread, other threads:[~1999-03-18 0:00 UTC | newest]
Thread overview: 4+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
[not found] <7cohvl$m2p$1@pump1.york.ac.uk>
1999-03-17 0:00 ` Looking for Ada programs Michael F Brenner
1999-03-17 0:00 ` Stuart White
1999-03-18 0:00 ` Gautier.DeMontmollin
1999-03-18 0:00 ` John English
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox