From: Hays Judith G
Subject: Formalized Testing of Functional/Declarative Languages
Date: Wed, 20 Nov 1996 00:00:00 +0000
Message-ID: <56tilc$ds7@engr.orst.edu>

I am a graduate student at Oregon State University and I am doing
a research project on testing of Functional Programming Languages or
Declarative Programming Languages.  Does anyone know of any formalized
or semi-formalized testing work which has been done in any of these
areas.

Thanks, any information would be appreciated.

Judith Hays

····@cs.orst.edu