Formal annotation languages and analysis contacts wanted

auguston@lumii.lat.su (Mikhail Auguston)
Wed, 20 Feb 91 20:09:30 GMT

          From comp.compilers
Related articles
Formal annotation languages and analysis contacts wanted auguston@lumii.lat.su (1991-02-20)
| List of all articles for this month |
Newsgroups: comp.compilers
From: auguston@lumii.lat.su (Mikhail Auguston)
Keywords: analysis, question
Organization: The Research Institute of Mathematics and Computer Science
Date: Wed, 20 Feb 91 20:09:30 GMT

[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
--

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.