Toward knowledge-based specifications of languages

  • Merik Meriste
  • Jaan Penjam
Deductive Synthesis Of Programs
Part of the Lecture Notes in Computer Science book series (LNCS, volume 502)


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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Deransart P., Jourdan M., Lorho B. Attribute Grammars. LNCS, 1988, 323,–232 pp.Google Scholar
  2. [2]
    Ganziger H., et al. A Truly Generative Semantics-Directed Compiler Generator. SIGPLAN Notices, 1982, 17, 6, pp. 172–184.CrossRefGoogle Scholar
  3. [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.Google Scholar
  4. [4]
    Koskimies K. An Experience on Language Implementation Using Attribute Grammars. Report A-1982-2,Department of Computer Science, University of Helsinki,1982.Google Scholar
  5. [5]
    Tyugu E. Knowledge-based programming. Turing Institute Press, Wesley Publ.Co., Glasgow, 1987, 243 p.Google Scholar
  6. [6]
    Tyugu E., Matskin M., Penjam J., Eomois P. NUT — an Object-Oriented Language. Computers and Artificial Intelligence, C,6,1986,pp.521–542.Google Scholar
  7. [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.CrossRefGoogle Scholar
  8. [8]
    Mints G., Tyugu E. Justification of the Structural Synthesis of Programs. Sci.Comput.Progr.,1982,2,pp.215–240.CrossRefGoogle Scholar
  9. [9]
    Mints G., Tyugu E. The Programming Sysrem PRIZ, J. Symbolic Comput., 1988, 5, p. 359–375Google Scholar
  10. [10]
    Penjam J. Computational and Attribute Models of Formal Languages. Theoret. Comput. Sci.,1990, 71, pp.241+264.Google Scholar
  11. [11]
    Engelfriet J., Filè G. Simple Multi-visit Attribute Grammars. J. Comput. Syst. Sci.,1982,24,pp.283–314.CrossRefGoogle Scholar
  12. [12]
    Filè G. Interpretation and Reduction of Attribute Grammars. Acta Informatica, 1983, 19, pp.115–150.CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • Merik Meriste
    • 1
  • Jaan Penjam
    • 2
  1. 1.Department of Computer ScienceUniversity of TartuTartuEstonia
  2. 2.Institute of CyberneticsEstonian Academy of SciencesTallinnEstonia

Personalised recommendations