Syntax‐directed compression of program files
暂无分享,去创建一个
[1] Michael A. Harrison,et al. Introduction to formal language theory , 1978 .
[2] William F. Clocksin,et al. Programming in Prolog , 1981, Springer Berlin Heidelberg.
[3] David H. D. Warren. Logic programming and compiler writing , 1980, Softw. Pract. Exp..
[4] Frank Rubin,et al. Experiments in text file compression , 1976, CACM.
[5] Frank G. Pagan,et al. Formal Specification of Programming Languages: A Panoramic Primer , 1981 .
[6] Robert A. Kowalski,et al. Algorithm = logic + control , 1979, CACM.
[7] Hisao Tamaki,et al. Enumeration of Success Patterns in Logic Programs , 1983, ICALP.
[8] Alfred V. Aho,et al. Principles of Compiler Design , 1977 .