Path: utzoo!utgpu!news-server.csri.toronto.edu!bonnie.concordia.ca!thunder.mcrcim.mcgill.edu!snorkelwacker.mit.edu!usc!wuarchive!uunet!world!iecc!compilers-sender
From: auguston@lumii.lat.su (Mikhail Auguston)
Newsgroups: comp.compilers
Subject: Formal annotation languages and analysis contacts wanted
Keywords: analysis, question
Message-ID: <1991Feb20.200930.11889@iecc.cambridge.ma.us>
Date: 20 Feb 91 20:09:30 GMT
Sender: compilers-sender@iecc.cambridge.ma.us
Reply-To: auguston@lumii.lat.su (Mikhail Auguston)
Organization: The Research Institute of Mathematics and Computer Science
Lines: 20
Approved: compilers@iecc.cambridge.ma.us

[Forwarded by Wayne Citrin <citrin@soglio.Colorado.EDU>. -John]

Dear professor Waite,

Now I have e-mail address:
auguston@lumii.lat.su
auguston%lumii.lat.su@fuug.fi

Can I ask you to advise me in order to contact  people  interested 
in research in program formal  annotation  languages  and  program 
static and dynamic analysis.  In  particular,  I'll  be  happy  to 
establish contacts with prof. Osterweil and prof. Olender. I  have 
sent letters to them in November 1990 but I'm not sure  they  have 
received it.

With thanks for your co-operation,
                                   Mikhail Auguston
-- 
Send compilers articles to compilers@iecc.cambridge.ma.us or
{ima | spdcc | world}!iecc!compilers.  Meta-mail to compilers-request.