LILK - Static Analysis of REDUCE Code

Brian D. Brunswick. LILK - Static Analysis of REDUCE Code. In John Fitch, editor, Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO 92, Bath, UK, April 13-15, 1992, Proceedings. Volume 721 of Lecture Notes in Computer Science, pages 35-43, Springer, 1992.

Abstract

Abstract is missing.