Some Global Optimizations for a Prolog Compiler
暂无分享,去创建一个
[1] Robert Milne,et al. Resolving Lexical Ambiguity in a Deterministic Parser , 1986, CL.
[2] Drew McDermott,et al. The prolog phenomenon , 1980, SGAR.
[3] William F. Clocksin,et al. Programming in Prolog , 1981, Springer Berlin Heidelberg.
[4] Chris Mellish,et al. Integrating Prolog Into the Poplog Environment , 1983, IJCAI.
[5] Alan Bundy,et al. Solving mechanics problems using meta-level inference , 1979, IJCAI 1979.
[6] Michel Sintzoff,et al. Calculating properties of programs by valuations on specific models , 1972, Proving Assertions About Programs.
[7] Christopher Stuart Mellish,et al. Coping with uncertainty : noun phrase interpretation and early semantic analysis , 1981 .
[8] Patrick Cousot,et al. Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints , 1977, POPL.
[9] David H. D. Warren,et al. An Efficient Easily Adaptable System for Interpreting Natural Language Queries , 1982, CL.
[10] Alan Mycroft,et al. The Theory and Practice of Transforming Call-by-need into Call-by-value , 1980, Symposium on Programming.
[11] Alan K. Mackworth. Consistency in Networks of Relations , 1977, Artif. Intell..