Unification-Free Execution of Well-Moded and Well-Typed Prolog Programs

M. R. K. Krishna Rao, R. K. Shyamasundar. Unification-Free Execution of Well-Moded and Well-Typed Prolog Programs. In Alan Mycroft, editor, Static Analysis, Second International Symposium, SAS 95, Glasgow, UK, September 25-27, 1995, Proceedings. Volume 983 of Lecture Notes in Computer Science, pages 243-260, Springer, 1995.

Authors

M. R. K. Krishna Rao

This author has not been identified. Look up 'M. R. K. Krishna Rao' in Google

R. K. Shyamasundar

This author has not been identified. Look up 'R. K. Shyamasundar' in Google