PROFIT: A System Integrating Logic Programming and Attribute Grammars
暂无分享,去创建一个
[1] Günter Riedewald,et al. Using an Attribute Grammar as a Logic Program , 1988, PLILP.
[2] Pierre Deransart,et al. Attribute Grammars: Definitions, Systems and Bibliography , 1988 .
[3] Ralph Morelli,et al. Book reivew: LOGIC PROGRAMMING: FUNCTIONS, RELATIONS AND EQUATIONS. Edited by Doug DeGroot and Gary Lindstrom (Prentice-Hall) , 1987, SGAR.
[4] Gregor von Bochmann,et al. Semantic evaluation from left to right , 1976, CACM.
[5] Per Brinch Hansen. Programming a personal computer , 1982 .
[6] Pedro Rangel Henriques. A Semantic Evaluator Generating System in Prolog , 1988, PLILP.
[7] Jukka Paakki. A Practical Implementation of DCGs (Abstract) , 1990, CC.
[8] M. Martin,et al. The parser generating system PGS , 1989, Softw. Pract. Exp..
[9] David H. D. Warren. Logic programming and compiler writing , 1980, Softw. Pract. Exp..
[10] Alfred V. Aho,et al. Compilers: Principles, Techniques, and Tools , 1986, Addison-Wesley series in computer science / World student series edition.
[11] Wlodzimierz Drabent. Do Logic Programs Resemble Programs in Conventional Languages? , 1987, SLP.
[12] Michael J. O'Donnell,et al. Equational Logic as a Programming Language , 1985, Logic of Programs.
[13] Doug DeGroot,et al. Logic programming - functions, relations and equations , 1986 .
[14] M. H. van Emden,et al. Logic Programming with Equations , 1987, J. Log. Program..
[15] Jan Maluszynski,et al. A grammatical view of logic programming , 1988, PLILP.
[16] Jean-François Monin. A Compiler Written in Prolog: The Véda Experience , 1988, PLILP.
[17] José Meseguer,et al. EQLOG: Equality, Types, and Generic Modules For Logic Programming , 1986, Logic Programming: Functions, Relations, and Equations.
[18] Jan Maluszynski,et al. Relating Logic Programs and Attribute Grammars , 1985, J. Log. Program..
[19] Sanjai Narain. A Technique for Doing Lazy Evaluation in Logic , 1986, J. Log. Program..
[20] Ole Lehrmann Madsen,et al. Extended Attribute Grammars , 1981, Comput. J..
[21] Uwe Kastens,et al. GAG: A Practical Compiler Generator , 1982, Lecture Notes in Computer Science.
[22] Jim Welsh,et al. Structured System Programming , 1980 .
[23] Barrett R. Bryant,et al. Rapid prototyping of programming language semantics using Prolog , 1989, [1989] Proceedings of the Thirteenth Annual International Computer Software & Applications Conference.
[24] Jia-Huai You,et al. FUNLOG: A Computational Model Integrating Logic Programming and Functional Programming , 1986, Logic Programming: Functions, Relations, and Equations.
[25] Isabelle Attali,et al. Compiling TYPOL with Attribute Grammars , 1988, PLILP.
[26] 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..
[27] Leon Sterling,et al. The Art of Prolog , 1987, IEEE Expert.
[28] Daniel J. Rosenkrantz,et al. Attributed Translations , 1974, J. Comput. Syst. Sci..
[29] Jukka Paakki,et al. An error-recovering form of DCGs , 1990, Acta Cybernetica.
[30] Mary Shaw,et al. Prospects for an engineering discipline of software , 1990, IEEE Software.
[31] Jukka Paakki,et al. A Logic-Based Modification of Attribute Grammars for Practical Compiler Writing , 1990, International Conference on Logic Programming.
[32] Jukka Paakki. Prolog in Practical Compiler Writing , 1991, Comput. J..
[33] Jacques Cohen,et al. Parsing and compiling using Prolog , 1987, TOPL.