Weidong Dang
Formal Specification of Interactive Languages Using Definite Clause Grammars
PPDP, 1988.
@inproceedings{PLILP-1988-Dang, author = "Weidong Dang", booktitle = "{Proceedings of the First International Workshop on Programming Language Implementation and Logic Programming}", doi = "10.1007/3-540-50820-1_53", isbn = "3-540-50820-1", pages = "283--291", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Formal Specification of Interactive Languages Using Definite Clause Grammars}", volume = 348, year = 1988, }