×

zbMATH — the first resource for mathematics

Toward knowledge-based specifications of languages. (English) Zbl 1412.68029
Bārzdiṇš, Jānis (ed.) et al., Baltic computer science. Selected papers. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 502, 65-76 (1991).
Summary: In this paper the problem of embedding language design and implementation tools in knowledge-based systems is considered. On the one hand, this is the question of using object-oriented paradigm for the specification of a language treated as a collection of classes of concepts. On the other hand, this is the question of employing syntax-directed methods for software construction in knowledge-based systems.
For the entire collection see [Zbl 0875.00059].
MSC:
68N15 Theory of programming languages
68Q42 Grammars and rewriting systems
68Q60 Specification and verification (program logics, model checking, etc.)
68T35 Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence
Software:
NUT; PRIZ
PDF BibTeX Cite
Full Text: DOI
References:
[1] Deransart P., Jourdan M., Lorho B. Attribute Grammars. LNCS, 1988, 323,-232 pp. · Zbl 0647.68073
[2] Ganziger H., et al. A Truly Generative Semantics-Directed Compiler Generator. SIGPLAN Notices, 1982, 17, 6, pp. 172-184.
[3] Koskimies K.,Elomaa T.,Lehtonen T., Paakki J.: TOOLS/HLP84 Report and User Manual. Report A-1988-2, Department of Computer Science, University of Helsinki,1988.
[4] Koskimies K. An Experience on Language Implementation Using Attribute Grammars. Report A-1982-2,Department of Computer Science, University of Helsinki,1982.
[5] Tyugu E. Knowledge-based programming. Turing Institute Press, Wesley Publ.Co., Glasgow, 1987, 243 p. · Zbl 0596.68032
[6] Tyugu E., Matskin M., Penjam J., Eomois P. NUT — an Object-Oriented Language. Computers and Artificial Intelligence, C,6,1986,pp.521-542.
[7] Gray J.N., Harrison M.A. On the Covering and Reduction Problems for Context-Free Grammars. J.ACM,1972, 19, 4,pp.675-698. · Zbl 0259.68035
[8] Mints G., Tyugu E. Justification of the Structural Synthesis of Programs. Sci.Comput.Progr.,1982,2,pp.215-240. · Zbl 0514.68019
[9] Mints G., Tyugu E. The Programming Sysrem PRIZ, J. Symbolic Comput., 1988, 5, p. 359-375 · Zbl 0647.68098
[10] Penjam J. Computational and Attribute Models of Formal Languages. Theoret. Comput. Sci.,1990, 71, pp.241+264. · Zbl 0698.68067
[11] Engelfriet J., Filè G. Simple Multi-visit Attribute Grammars. J. Comput. Syst. Sci.,1982,24,pp.283-314. · Zbl 0524.68048
[12] Filè G. Interpretation and Reduction of Attribute Grammars. Acta Informatica, 1983, 19, pp.115-150. · Zbl 0501.68040
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.