Semantic unification in a multi-language compiler

  • Sergei Pokrovsky
Part of the Lecture Notes in Computer Science book series (LNCS, volume 47)


This paper belongs to a series of advance publications [1–4] describing decisions adopted in the Test Implementation of the BETA system.

In the INTRODUCTION, the place of the semantic unification is shown in a wider context of the post-syntactic processing, and basic aspects of the unification are listed. It is followed by an outline of a machine-oriented machine-independent INTERNAL LANGUAGE, and then ways of generalization of the SYNTHESIS-of-the-Internal-Language-program phase are described together with ABSTRACT SUPERSYNTAX (its input interface), which may be of interest for comparative programming linguistics.


Abstract Syntax External Representation Source Language Attribute Induction Synthesis Algorithm 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    A.P.Ershov. A multilanguage programming system oriented to language description and universal optimization algorithms. "ALGOL 68 Implementation", J.E.L.Peck ed., North-Holland Publ. Co. 1971.Google Scholar
  2. 2.
    V.V.Grushetsky. Decomposition of source programs in multilanguage compiler. (Published in these Proceedings.)Google Scholar
  3. 3.
    V.K.Sabelfeld. Implementation of procedures in a multilanguage-compiler. (Published in these Proceedings.)Google Scholar
  4. 4.
    V.N.Kas'yanov, M.B.Trakhtenbrot. Analysis of the program structures in global optimization (Ibid.).Google Scholar
  5. 5.
    С.С.Камынин, Э.З.Любимский. Алгоритмический машинно-ориенти-р ованный язык — АЫмО. "Аыгоритмы и алгоритмические языки", вып. I, ВЦ АН СССР, М., 1967.Google Scholar
  6. 6.
    T.B.Steel, Jr. UNCOL: the myth and the fact. "Annual Review in Automatic Programming", vol.2, Pergamon Press, 1961.Google Scholar
  7. 7.
    J.B.Dennis. On the design and specification of a Common Base Language. MIT, Project MAC, MEMO 60, July 1971 (preprint).Google Scholar
  8. 8.
    J. McCarthy. Syntax and the formal description of the semantics of programming languages. Proc. of IFIP Working Conf., Vienna, 1964; North-Holland Publ. Co., Amsterdam 1965.Google Scholar
  9. 9.
    И.В.Вельбицкий, Тешнология производства программ на базе R-метаязыка. Тезисы докладов Щ Всесоюзного симпозиума "Системное и теоретическое программирование", том I, Кищинев, 1974.Google Scholar
  10. 10.
    Л.П.Бабенко, В.Д.Рогач, Е.Л. Ющенко. К Вопросу сравнения и классиикации языков программирования. "Кибернетика", No 2, 1975.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1977

Authors and Affiliations

  • Sergei Pokrovsky
    • 1
  1. 1.Computing Center of the Siberian Division of the USSR Acad. Sci.NovosibirskUSSR

Personalised recommendations