* ADL - ada developement language
@ 1991-05-11 3:02 John Thomas
0 siblings, 0 replies; only message in thread
From: John Thomas @ 1991-05-11 3:02 UTC (permalink / raw)
I intend to rewrite (revise) ADL (Ada Development Language) devised by
R. Lees using the specification language Object Z (Objectified version of Z - developed at the University of Queensland) as a project for my honours year.
If there are any people (martians etc) out there that have reviewed ADL and have some constructive criticisms or issues they believe ADL didn't address etc please reply to this group or email me personally.
Thanx.
EMAIL : thomo@batserver.cs.uq.oz.au
SNAIL : 1 Algoori Street
Morningside QLD AUSTRALIA 4170.
Today Words of Wisdom for the downtrodden : Keep on HONKing them noses guys !!!
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~1991-05-11 3:02 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
1991-05-11 3:02 ADL - ada developement language John Thomas
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox