Formal Methods in Functional Programming

Technical Report UMCIS{1994{09

H. Conrad Cunningham

cunningham@cs.olemiss.edu

Software Methods Research Group

Department of Computer and Information Science

University of Mississippi

302 Weir Hall

University, Mississippi 38677 USA

29 June 1994

Paper accepted by the

NSF Formal Methods Workshop,

Hamilton College, August 1994.