Formal Specification of Interactive Languages Using Definite Clause Grammars

Weidong Dang. Formal Specification of Interactive Languages Using Definite Clause Grammars. In Pierre Deransart, Bernard Lorho, Jan Maluszynski, editors, Programming Language Implementation and Logic Programming, 1st International Workshop PLILP 88, Orléans, France, May 16-18, 1988, Proceedings. Volume 348 of Lecture Notes in Computer Science, pages 283-291, Springer, 1988.

Abstract

Abstract is missing.