Software Research Associates Inc, which likes to hide behind the anonymous SRA name these days, has teamed up with Reasoning Systems Inc of California to offer that company’s high-level Refine programming language and Rerun systems, and its C language system, all of which run on workstations: specifications written in the Refine language using artificial intelligence techniques are run through a compiler to generate Common Lisp and programs are saved sequentially in a knowledge base: the software runs on the Symbolics Inc 3600 series and on Sun Microsystems Inc’s Sun-3 and Sun-4; a version for the Sony NEWS is expected to be available in January next year, with a Japanese-language version in April; the system sells for around $21,500.
