论文信息 - A Semantic Evaluator Generating System in Prolog - 字舞流文

A Semantic Evaluator Generating System in Prolog

This paper describes a semantic evaluator generating system developed with the objective of combining attribute grammars and logic programming.

Pedro Rangel Henriques

[1] Bijan Arbab. Compiling Circular Attribute Grammars Into Prolog , 1986, IBM J. Res. Dev..

[2] Bruno Courcelle,et al. Attribute Grammars and Recursive Program Schemes I , 1982, Theoretical Computer Science.

[3] Harvey Abramson. Definite Clause Translation Grammars , 1984, SLP.

[4] Jan Maluszynski,et al. Relating Logic Programs and Attribute Grammars , 1985, J. Log. Program..

[5] David H. D. Warren,et al. Definite Clause Grammars for Language Analysis - A Survey of the Formalism and a Comparison with Augmented Transition Networks , 1980, Artif. Intell..

[6] Pierre Deransart,et al. A survey on attibute grammars.Part II review of existing systems , 1986 .

[7] Kuniaki Uehara,et al. A Bottom-Up Parser Based on Predicate Logic: A Survey of the Formalism and its Implementation Technique , 1984, SLP.

[8] James F. Gimpel. Contour: a method of preparing structured flowcharts , 1980, SIGP.