Office of Naval Research, 800 North Quincy Street, Arlington, VA 22217-5660

A -- LOGICS FOR PROGRAM TRANSORMATIONS Point of Contact: K. Johnson, ONR 251 (703) 696-2585. CNT N00014-95-C-0168. AMT $100,000.00. DTD 071295. To: SRI International, Menlo Park, CA 94025. (206)

Loren Data Corp. http://www.ld.com (SYN# 0503 19950728\A-0034.AWD)