Can We Transform Logic Programs into Attribute Grammars?
暂无分享,去创建一个
[1] Yuri Gurevich,et al. Logic in Computer Science , 1993, Current Trends in Theoretical Computer Science.
[2] Brian H. Mayoh,et al. Attribute Grammars and Mathematical Semantics , 1978, SIAM J. Comput..
[3] Paul Franchi-Zannettacci,et al. Unification-Free Execution of TYPOL Programs by Semantic Attribute Evaluation , 1988, ICLP/SLP.
[4] Keith L. Clark. Predicate logic as a computational formalism , 1979 .
[5] Bruno Courcelle,et al. Proofs of Partial Correctness for Attribute Grammars with Applications to Recursive Procedures and Logic Programming , 1988, Inf. Comput..
[6] Robert A. Kowalski,et al. Predicate Logic as Programming Language , 1974, IFIP Congress.
[7] Bruno Courcelle,et al. Attribute Grammars: Theory and Applications , 1981, ICFPC.
[8] W. Bowen,et al. Philadelphia , 1892 .
[9] Krzysztof R. Apt,et al. Contributions to the Theory of Logic Programming , 1982, JACM.
[10] Bruno Courcelle,et al. Attribute Grammars and Recursive Program Schemes I , 1982, Theoretical Computer Science.
[11] William F. Clocksin,et al. Programming in Prolog , 1987, Springer Berlin Heidelberg.
[12] Bruno Courcelle,et al. Attribute Grammars and Recursive Program Schemes II , 1982, Theor. Comput. Sci..
[13] Saul Corn,et al. Explicit Definitions and Linguistic Dominoes , 1967 .
[14] Jan Maluszynski,et al. Relating Logic Programs and Attribute Grammars , 1985, J. Log. Program..