Wu-Hung Liu
-
On the scope of static checking in definitional languages
ACM '84 Proceedings of the 1984 annual conference of the ACM on The fifth generation challenge