An Operational Semantics of Starlog

Lunjin Lu, John G. Cleary. An Operational Semantics of Starlog. In Gopalan Nadathur, editor, Principles and Practice of Declarative Programming, International Conference PPDP 99, Paris, France, September 29 - October 1, 1999, Proceedings. Volume 1702 of Lecture Notes in Computer Science, pages 294-310, Springer, 1999.

Abstract

Abstract is missing.