Абстрактные атрибутные грамматики и их использование в системах построения трансляторов тема диссертации и автореферата по ВАК РФ 01.01.10, кандидат технических наук Меристе, Мерик Борисович

• Меристе, Мерик Борисович
• кандидат технических наук
• 1984

Оглавление диссертации кандидат технических наук Меристе, Мерик Борисович

ВВЕДЕНИЕ.

Глава I АТРИБУТНЫЙ ПОДХОД К ОПИСАНИЮ И

РЕАЛИЗАЦИИ ЯЗЫКОВ ПРОГРАММИРОВАНИЯ В СПТ .II

1.1. Основные понятия и обозначения

1.2. Применение атрибутных грамматик при описании языков программирования

1.2Л Атрибутные описания на базе конкретного синтаксиса языков

1.2.2 Атрибутные описания на базе абстрактного синтаксиса

1.3. Реализация атрибутных грамматик

1.3.1 Проверка корректности

1.3.2 Вычисление атрибутов

Введение диссертации (часть автореферата) на тему «Абстрактные атрибутные грамматики и их использование в системах построения трансляторов»

Актуальность работы

В программировании актуальна задача повышения производительности труда программиста в целях создания эффективного и надежного математического обеспечения. Одним из важнейших путей решения этой задачи является разработка и внедрение инструментальных систем построения трансляторов и пакетов прикладных программ.

Эффективность и удобство применения системы построения трансляторов (СПТ) зависят прежде всего от применяемых в СПТ методов описания и реализации языков программирования. Наиболее актуальными и трудными в области СПТ являются вопросы, касающиеся методов описания контекстно-зависимых свойств и семантики языков, а также методов эффективной реализации этих описаний [i,20,36,42] .

Формальный аппарат, лежащий в основе метода описания языков в СПТ, по мнению многих авторов должен обладать следующими важными свойствами [8,13,19,20,42,68]:

1) Естественность, наглядность и структурированность описания и удобство работы с ним человека (в первую очередь разработчика языка и реализатора);

2) полнота описания, т.е. не должно существовать вопросов о синтаксисе, контекстно-зависимых совйствах и семантике,на которые описание было бы бессильно ответить;

3) возможность автоматизированного построения транслятора по формальному описанию языка.

Анализ нынешнего состояния в области СПТ показывает (см.также [l,2C)J), что большинство применяемых методов описания должным образом не удовлетворяют этим естественным требованиям. К настоящему моменту большинство существующих СНГ используют описание языков атрибутными грамматиками. Однако практика применения таких систем указывает на недостаточную развитость атрибутных методов описания языков. С другой стороны, эффективность атрибутной техники трансляции, лежащей в основе многих промышленных реализаций конкретных языков программирования, подтверждает целесообразность разработки атрибутных СПТ. Проанализируем коротко основные недостатки атрибутных СПТ с точки зрения требований (I) -(3).

Во-первых, трудности применения аппарата атрибутных грамматик скрываются в противоречивости вышеприведенных требований. С точки зрения процесса создания и формального описания языка, применяемые методы описания не позволяют структурно и компактно описывать создаваемый язык в целом [[42] . Громоздкость атрибутного описания исходит из сущности применяемых методов описания, ориентированных, прежде всего, на описание процесса трансляций в атрибутной технике. Это же описание транслятора зачастую принимается в качестве описания языка, хотя требования, предъявляемые описанию языка и его реализации, по существу противоречивые (см. также [29,36]). Наиболее естественным (и наиболее трудным) решением данной проблемы является разработка отдельных методов для описания языка человеком и для реализации языка, а также разработка набора автоматизированных преобразований из описания языка в его реализацию. Естественно, что при таком преобразовании должны сохраняться синтаксис и семантика реализуемого языка. Кроме того, целесообразно основывать методы описания и методы реализации на одном и том же формальном аппарате, обеспечивая таким образом их согласованность, необходимую для эффективной реализации языков.

Во-вторых, с точки зрения проверки контекстно-зависимых свойств в процессе синтаксически-управляемой трансляции, зачастую структура исходного текста (определяемая КС-грамматикой) и структура семантических действий оказываются противоречивыми. Этот конфликт вызван тем обстоятельством, что аппарат КС-грамматик не позволяет адекватно и естественно описывать итеративные языковые конструкции, контекстные условия и семантика которых определяется по существу итеративными семантическими действиями. Другими словами, атрибутные грамматики не обеспечивают согласованности описания итеративных языковых конструкций и их реализации, имеющей первостепенную важность с точки зрения построения эффективных трансляторов.

В-третьих, непосредственное применение аппарата атрибутных грамматик для описания языка и его транслятора приводит к "интегрированному" описанию, в котором спрятаны синтаксис, контекстно-зависимые свойства и семантика языковых конструкций. Тем самым игнорируется важное условие достижения ясности [13,42,64] в описании языка - возможность четкого отделения описания контекстно-зависимых свойств от КС-описания и описания семантики языка. Кроме того, опыт применения атрибутных грамматик в СПТ показывает, что этот аппарат подходит, прежде всего, для описания контекстно-зависимых свойств (т.н. "статической семантики") и оказывается нецелесообразным для описания семантики [19,20,29].

Таким образом, нынешнее состояние в области автоматизации построения трансляторов указывает на необходимость разработки в рамках атрибутного подхода нового формального аппарата в качестве основы методов описания и реализации контекстно-зависимых свойств языков программирования. Разработке одного такого аппарата - абстрактных атрибутных грамматик, а также методам их реализации и применения посвящена данная работа. Для достижения ясности и структурированности метода описания языков необходимо отказаться от привычной схемы применения атрибутного подхода в СПТ. Новая схема применения атрибутного подхода основывается на принципах описания языков программирования, изложенных в работе £38] Р.Курки-Суонио,в работе [13] А.П.Ершова и В.В.Грушецкого и в работах по СПТ MUG2 [18,19]. Ключевым моментом этих принципов является выделение уровня абстрактного синтаксиса реализуемого языка [43] в качестве отправной точки описания синтаксиса, контекстно-зависимых свойств и семантики языка (см.также [44]). Цель работы

Основными целями данной диссертационной ряботы являются:

1. Разработка аппарата абстрактных атрибутных грамматик путем расширения атрибутных грамматик средствами адекватного описания (абстрактного) синтаксиса и контекстно -зависимых свойств итеративных языковых конструкций.

2. Разработка методов реализации для абстрактных атрибутных грамматик на базе методов реализации атрибутных грамматик.

3. Выделение и обоснование основных принципов метода описания контекстно-зависимых свойств языков программирования на базе абстрактных атрибутных грамматик.

4. Разработка средств построения для реализуемого языка разреженной атрибутированной абстрактной структуры - исходной структуры данных для описания семантики языка.

Общая методика исследований. В работе используются аппарат формальных грамматик и языков, методы теории графов.

Научная новизна. Разработан новый формальный аппарат - абстрактные атрибутные грамматики, являющиеся основой методов описания и реализации контекстно-зависимых свойств языков программирования на базе их абстрактного синтаксиса. В отличие от атрибутных грамматик новый аппарат позволяет естественным образом структурно описывать и эффективно реализовы-вать контекстно-зависимые свойства итеративных языковых конструкций.

Основываясь на подробном анализе атрибутного подхода к автоматизированной реализации языков уточнена классификация атрибутных грамматик и предложена новая схема атрибутного описания языковых конструкций.

В рамках этой схемы предложены принципы новой методики атрибутного описания контекстно-зависимых свойств и разработаны средства определения семантической структуры языковых конструкций. Упомянутая семантическая структура - исходная структура данных для описания и реализации семантики языков.

Разработаны основные методы реализации абстрактных атрибутных грамматик и доказана корректность основных алгоритмов. В диссертации разработана принципиально новая стратегия реализации атрибутных грамматик - смешанная стратегия вычисления атрибутов на базе динамически настраиваемого и однови-зитного алгоритмов вычисления.

Практическая ценность и реализация. Предложенные в работе методы позволяют со сравнительно небольшими программистскими усилиями описывать и реализовывать контекстно-зависимые свойства языков в атрибутных СНГ. Основывание методов описания и реализации языков на одном и том же формальном аппарате обеспечивает достаточную для эффективной реализации согласованность описания и реализации языка. Предложенный метод описания позволяет достичь структурности и компактности атрибутных описаний языков.

Разработанные в диссертации алгоритмы проверки каноничности, сбалансированности, ацикличности и одновизитности, а также одновизитный вычислитель атрибутов реализованы в виде переносимых программ в системе А рр^е Fortran, в СПТ ELM А реализованы абстрактные S -атрибутные грамматики и идет реализация одновизитных грамматик.

Содержание данной работы распределено по главам следующим образом.

В первой главе настоящей диссертации анализируются работы по применению атрибутного подхода в области автоматизированной реализации языков, начиная с основополагающей статьи Д.Кнута [32] до настоящего времени. Изучаются и сравниваются применяемые в атрибутных СПТ методы описания и реализации языков, прежде всего, с точки зрения практичности и эффективности. Особое внимание уделяется методам описания, базирующимся на абстрактном синтаксисе реализуемых языков.В заключении выделяются наиболее существенные с практической точки зрения преимущества и недостатки атрибутных СПТ и формулируются принципы, лежащие в основе расширения атрибутных грамматик Кнута.

Во второй главе излагается аппарат абстрактных атрибутных грамматик (термин введен в работе [13] ). Определяется подкласс регуляризованных КС-грамматик [13,40], применяемый для описания (абстрактного) синтаксиса реализуемых языков. Основываясь на этом подклассе и на аппарате атрибутных грамматик вводятся средства описания контекстно-зависимых свойств итеративных языковых конструкций. Далее определяются некоторые полезные свойства абстрактных атрибутных грамматик (ААГ) корректность и сбалансированность, а также изучаются взаимосвязи этих свойств. Описывается схема применения введенного формального аппарата и формулируются основы метода описания контекстно-зависимых свойств языков программирования на базе ААГ. Следуя предлагаемой схеме применения изучается проблема выделения по заданной ААГ т.н. семантических структур языковых конструкций, являющихся базисом описания семантики реализуемого языка. Приводится пример ААГ.

В третьей главе рассматриваются особенности реализации ААГ - организация вычисления атрибутов на итеративных синтаксических структурах, задачи проверки сбалансированности и корректности ААГ и задача построения семантических структур. Приводятся соответствующие алгоритмы и выделяются наиболее практичные подклассы абстрактных атрибутных грамматик.

В заключении формулируются основные результаты настоящей работы и выдвигаются дальнейшие проблемы в рамках предлагаемого подхода.

В приложении I изложен обзор методов реализации атрибутных грамматик, в приложении 2 - примеры абстрактных атрибутных грамматик.

Заключение диссертации по теме «Математическое обеспечение вычислительных машин и систем», Меристе, Мерик Борисович

ЗАКЛЮЧЕНИЕ

Основными результатами, изложенными в настоящей диссертационной работе, являются:

1. Разработан аппарат абстрактных атрибутных грамматик для описания и реализации контекстно-зависимых свойств языков программирования на базе их абстрактного синтаксиса.

2. Разработаны и реализованы в виде переносимых программ методы реализации ААГ: алгоритмы проверки корректности и одновизитности. Доказана разрешимость классов корректных и одновизитных абстрактных атрибутных грамматик.

3. Разработана смешанная стратегия реализации (абстрактных) атрибутных грамматик, основанная на смешанной стратегии вычисления атрибутов одновизитным и динамически настраиваемым алгоритмами вычисления атрибутов.

4. Выделены наиболее практичные подклассы абстрактных атрибутных грамматик и изучены их возможности с точки зрения описания контекстно-зависимых свойств языков.

5. Предложена и обоснована схема атрибутного описания и автоматизированной реализации контекстно-зависимых свойств языков программирования, основанная на абстрактных атрибутных грамматиках.

6. Разработаны средства описания (в терминах атрибутных грамматик) и алгоритмы построения семантической структуры языковых конструкций - исходной структуры данных для описания и реализации семантики языковых конструкций.

7. Проведен подробный анализ работ по атрибутным грамматикам, в результате которого составлена новая более точная классификация атрибутных грамматик.

Опыт описания и реализации нескольких языков программирования в системе ELM А (в том числе семантический анализатор языка Ad Q), а также эксперименты в системе Лррбе Fortran подтверждают целесообразность и практичность аппарата ААГ при описании и автоматизированной реализации языков программирования. Наиболее актуальной задачей будущего является разработка развитого атрибутного метода описания на базе ААГ, поддерживаемого средствами автоматизированного преобразования атрибутного описания в реализуемую ААГ. Эта задача, естественно, требует тщательного изучения реализуемых языков и может быть успешно решена только на основе богатого практического опыта.

Список литературы диссертационного исследования кандидат технических наук Меристе, Мерик Борисович, 1984 год

1. Aho А. V. Translator writing systems: where do they now stand? - Computer, vol.13, N 8, 1980, 9-14.

2. Aho A.V.,Ullman J.D.The theory of parsing,translation and compiling, vol.1, Prentice Hall, Englewood Cliffs, 1973русский перевод: Axo A., Ульман Дж. Теория синтаксического анализа и компиляции, том I, изд-во "Мир",М.,1978).

3. Alblas Н. A characterization of aiiribute evaluation in passes. Acta Informatica, vol.16, N 4, 1981, 427-464.

4. Bochmann G.Y. Semantic evaluation from left to right.-Comm. ACM, vol.19, К 2, 1976, 55-62.

5. Courcelle B. Attribute grammars: theory and applications. Lecture Notes Сотр. Sci. ,vol.107, Springer-Verlag,1981, 75-95.

6. Deransart P. Logical attribute grammars. Proc.IFIP-83, North-Holl. Publ. Co., 1983, 463-469.

7. Deransart P., Jourdan M., Lorho B. Speeding up circularity tests for attribute grammars. Rapp. de Recherce N 211, INRIA, 1983.

8. Deremer P., Jullig R. Tree affix dendrogrammars for languages and compilers. - Lecture Notes Сотр. Sci., vol. 94, Springer-Verlag, 1980, 300-319.

9. Drossopoulou S., Uhl J., Persch G., Goos G., Dausmann M., Winterstein G. An attribute grammar for Ada. SIGPLAN No tic., vol.17, N 6, 1982, 334-349.

10. Engelfriet J. , Pil'e G. Formal properties of one-visit and multipass attribute grammars. Lecture Notes Сотр. Sci., vol.85, Springer-Verlag, 1980, 182-194.

11. Engelfriet J., Fil'e G. Passes, sweeps and visits.- Lecture Notes Сотр. Sci., vol.115, Springer-Verlag, 1981, 193-207.

12. Engelfriet J., Fil'e G. Simple multi-visit attribute grammars. J. Сотр. and System Sci., vol.24, N 3, 1982, 283-314.

13. Ershov A.P., Grushetsky V.V. An implementation -oriented method for describing algorithmic languages.-Prоc.IFIP -77, 117-122.

14. Fang I. FOLDS a declarative formal language definition system. Rep. STAN - CS-72-329, Comp, Sci.Dep., Stanford University, 1972.

15. Farrow R. LINGUIST-86: Yet another translator writing system based on attribute grammars. SIGPLAN Notic., vol.17, N 6, 1982, 160-171.

16. Ganzinger H. Modifizierte attributierte Grammatiken. Bericht 7420, Abteilung Mathematik, Technische Univer-sitat Munchen, 1974.

17. Ganzinger H. Transforming denotational semantics into practical attribute grammars. Lecture Notes Сотр.Sci., vol.94, Springer-Verlag, 1980, 1-64.

18. Ganzinger H. , Ripken K. , Willielm K. Automatic generation of optimizing multipass compilers. Proc. IFIP-77, North-Holl. Publ. Co., 1977, 535-540.

19. Ganzinger H., Giegerich R., Moncke U.,Wilhelm R. A truly generative semantic-directed compiler generator. -SIGPLAN Notic., vol.17, N 6, 1982, 172-185.

20. Gaudel M.C. Compiler generation from formal definition of progi'amming languages: a survey. Lecture Notes Сотр. Sci., vol.107, Springer" Verlag, 1981 , 96-114.

21. Giegerich R., Wilhelm R. Implementier-barkeit attributi-erter Grammatiken. Informatik-Fachberichte,vol.10, Springer-Verlag, 1977, 17-36.

22. Giegerich R., Wilhelm R. Attribute evaluation.-Le Point Sur la Compilation, Cours de la Commission des Communau-tes Europe'ennes, M. Amirchahy and D.Neel (eds.), IHRIA, Le Chesnay, 1978, 337-365.

23. Irons E.T. A syntax-directed compiler for Algol-60.-Comm. ACM, vol.4, К 1, 1961, 51-55.

24. Jazayeri M. , Ogden W.F. , Rounds W.C. The intrinsically exponential complexity of the circulari ty problem for attribute grammars. Comm. ACM, vol.18, 1975, 697-706.

25. Jazayeri M., Pozefsky D. Space-efficient storage management in an attribute grammar evaluator. ACM Transactions on Programming Lang, and Syst.,vol.3, 1981, 388-404.

26. Jazayeri M. , Y/alter K. G. Alternating semantic evaluator.-Proc. ACM Arm. Conf., 1975, 230-234.

27. Jochum G.Automatische Konstruktion und einheitliche Dar-stellung von Attributauswertungsalgorithmen. Rep. TUM -18113, Technische Universitat Miinchen, 1981.

28. Kastens U.Ordered attribute grammars. Acta Informatica vol.13, 1980, 229-256.

29. Kastens U., Hutt B. GAG a practical compiler generator. Lecture Notes Сотр. Sci. , vol.141, Springer-Verlag, 1982.

30. Katayama T. Translation of attribute grammars into procedures. Techn. Rep. CS-K8001, Dep. of Сотр. Sci. Tokyo Institute of Technology, 1980.

31. Kennedy K. , Y/arren S.K.Automatic generation of efficient evaluators for attribute grammars. Proc. 3-rd ACM Symp. on Principles of Progr. Languages, 1976, 32-49.

32. Knuth D.E. Semantics of context-free languages. Math. Syst. Theory, vol.2, 1968, 127-145.

33. Русский перевод: Кнут Д.Е. Семантика контекстно-свободных языков. сб. Семантика языков программирования,ред.

34. Курочкин В.М., изд-во "Мир", М., 1980, I37-I6I).

35. Knuth D.E. Examples of formal semantics. Lecture Notes1. Mabis. , 1971, H 188.

36. Koskimies K. An experience on language implementation using attribute grammars.Rep.A-1982-2, Dep.of Comp.Sci., University of Helsinki, 1982.

37. Koskimies K., Juutinen L. An attribute grammar for the compile-'time semantics of a subset of the programming language Euclid. Rep. C-1979-130, Dep. of Сотр. Sci., University of Helsinki, 1979»

38. Koskimies K., Raiha K.-J., Sarjakoski M. Compiler construction using attribute grammars. SIGPLAET llotic.vol. 17, N.6, 1982, 153-159.

39. Koskimies K., Raiha K.-J. Modelling space-efficient one-pass translation using attribute grammars. Software -Practice and Exp., vol.13, 1983, 119-129.

40. Kurki-Suonio R.Towards better structured definitions of programming languages. Rep. STAN CS -75-500, Comp.Sci. Dep., Stanford University, 1975.

41. Lauer P., Lucas P., Stigleitner H. Method and notation for the formal definition of programming languages. IBM Tech. Rep. 25.087, IBM Laboratory, Vienna, 19&8.

42. Lewi J., DeVlaminek K., Huens J., Hyubrechts M. A programming methodology in compiler construction.Worth-Holl. Publ. Co., 1979.

43. Marcotty М., Ledgard H.F., Bochmann G.V.A sampler of formal definitions. ACM Сотр. Surveys, vol.8, IT 2, 1976, 191-276. {?ycc.\mvi перевод: Маркотти M., Ледгард Х.,Бохман

44. Г. Формальные описания языков программирования. сб. Семантика языков программирования, ред.Курочкин В.М.,изд-во "Мир", М., 1980, 9-136).

45. McCarthy J. Toward a science of computation.-Proc.IFIP -62, 1962, 21-28.

46. Pagan F. Programming languages as met a. .languages: a style for specification of syntax and context conditions. Rep. 80-01, Сотр. Sci. Dep.,Southern Illinois University, Carbondale, 1981.

47. Riis II. , Skyum S. k-visit attribute grammars.-Math. Systems Theory, vol.15, N 1, 1981, 17-28.

48. Ripken K. Application of meta-compilation methods in the Ada test translator development. Proc. GI 10. Jahres-tagung, 1980, 66-77.

49. Raiha K.-J. On attribute grammars and their use in a compiler writing system. Rep. A -1977 -4, Dep. of Сотр.Sci., University of Helsinki, 1977.

50. Raiha K.-J. Experiences with the compiler writing system HLP. Lecture Notes Сотр. Sci. ,vol.94, Springer-Verlag, 1980, 350-362.

51. Raiha K.-J. A space management technigue for multipass attribute evaluators. Ph.D. Thesis, Rep. A- 1981- 4,Dep.of Сотр. Sci., University of Helsinki, 1981.

52. Raiha K.-J.Saarinen M. Testing attribute grammars for circularity. Acta Informatica, vol.17, N 2, 1982, 185192.

53. Raiha K.-J., Saarinen M.,Soisalon-Soininen E.,Tienari M. The compiler writing system HLP(Helsinki Language Processor). Rep. A 1978 - 2, Dep. of Сотр. Sci., University of Helsinki, 1978.

54. Raiha K.-J., Ukkonen E. Minimizing the number of evaluation passes for attribute grammars. Rep. С 1979 - 121, Dep. of Сотр. Sci., University of Helsinki, 1979.

55. Silverberg B.A. Using a grammatical formalism as a programming language. Techn. Rep, CSRG-88, Сотр. Sci.Research Group, University of Toronto, 1978.

56. Soisalon-Soininen E. , ¥/ood D. On a covering relation for context-free grammars. Acta Informatica, vol.17, N 4, 1982, 435-449.

57. Tienari M. On the definition of an attribute grammar. -Lecture Notes Сотр. Sci., vol.94, Springer-Verlag, 1980, 408-414.

58. Бездушный A.H., Серебряков B.A. Определение подмножества языка Паскаль средствами обобщенных атрибутных грамматик СПТ СУПЕР.- Тез. докл. II Всесоюзн. конф. по автоматизации производства пакетов прикладных программ и трансляторов, Таллин, 1983, 7-9.

59. Бирюков А.П., Курочкин В.М., Серебряков В.А. Глобальные атрибуты и их использование при описании языков программирования. Ж.вычисл.матем. и матем.физики, № 5, 1980.

60. Бирюков А.Н., Курочкин В.М., Серебряков В.А. Структурные атрибуты и их реализация в системе построения трансляторов "СУПЕР". Программирование, № 2. 1981, 52-55.

61. Вадер А.Р., Вооглайд А.О., Jlenn М.В.Средства отладки ме-таописаний. Тез.докл. 2 Всесоюзн.кокф. по автоматизации производства пакетов прикладных программ и трансляторов, Таллин, 1983, 38-40.

62. Вооглайд А.О. Семантическое равенство распознавателей, работающих на грамматике LR (к) и грамматике предшествования с (1,1) ограниченным контекстом. Тр.Таллинского политехи.ин-та, № 411, 1976, 39-54.

63. Вооглайд А.О., Лепп М.В., Лийб Д.Б. Входные языки системы ELMA .- Тр.Таллинского политехи.ин-та,№ 524, 1982, 79-96.

64. Вооглайд А.О., Томбак М.О. Об одной системе построения трансляторов с LR (к) семантикой.-Программирование,№ 5,1976, 28-38.

65. Глушкова В.Н., Ильичева 0.А.Конструирование анализаторов по формальной спецификации в СПТ.- Тез.докл.11 Всесоюзн. конф. по автоматизации производства пакетов прикладных программ и трансляторов, Таллин, 1983, 30-32.

66. Ершов А.П., Покровский С.Б.Об унификации алгоритмических языков. Пробл.кибернетики, вып.32, изд-во "Наука", М.,1977, 95-118.

67. Курочкин В.М. Алгоритм вычисления атрибутов. Тез.докл. Всесоюзной конф. по автоматизации производства пакетов прикладных программ, Таллин, 1980, 64-66.

68. Лепп М.В. Метод расслоенной трансляции, базирующийся на абстрактном синтаксисе. Тез.докл.Всесоюзн.конф. по методам трансляции, Новосибирск, 1981, 92-94.

69. Лоро Б. Метод семантических атрибутов в системе DELTA. Тр.Всесоюзн.симп. по методам реализации новых алгоритмичееких языков, ч.1, Новосибирск, 1975, 29-45.

70. Лучикович В.В. Формальное описание алгоритмических языков в СПТ ТУ. Тез. докл.II Всесоюзн.конф. по автоматизации производства пакетов прикладных программ и трансляторов, Таллин, 1983, 27-29.

71. Макаров В.П. Атрибутные квазитранслирующие грамматики и их реализация в системе построения трансляторов САГЕТ. Программирование, № 2, 1983, 49-55.

72. Пеньям Я.Э. Синтез семантического процессора по атрибутной грамматике. Программирование, № I, 1983, 50-60.

73. Серебряков В.А. Основные особенности входного языка и реализации СПТ СУПЕР. -Программирование, № 1,1982,78-83.

74. Чеботарь К.С. Некоторые модификации алгоритма Кнута для проверки цикличности атрибутных грамматик. Программирование, № I, 1981, 74-78.

75. Публикации по материалам диссертации.

76. Меристе М.Б. Методы реализации атрибутных схем в системах построения трансляторов (обзор). Программирование, № 5, 1980, 40-49.

77. Вооглайд А.О., Меристз М.Б. Абстрактные атрибутные грамматики. Программирование, № 5, 1982, 17-26.

78. Меристе М.Б. Реализация одновизитных абстрактных атрибутных грамматик. Тр. ВЦ Тартуского гос. унив., № 49, Тарту, 1982, 63- 75.

79. Меристе М.Б. Об атрибутной технике на базе абстрактного синтаксиса. Тез. докл. Всесоюзн.конф. по автоматизации производства пакетов прикладных программ, Таллин, 1980, 63-64.

80. Меристе М.Б. Совмещение вычисления атрибутов и синтаксического анализа. Тез. докл.Всесоюзн.конф. по методам трансляции, Новосибирск, 1981, 103-105.

81. Меристе М.Б. Принципы реализации абстрактных атрибутных грамматик. Тез.докл.респ.конф. "350 лет математики в Тартуском университете", Тарту, 1982, 88-90.

82. Вооглайд А.О., Меристе М.Б. 0 технологии применения атрибутных GnT. Тез. докл.респ.конф. "350 лет математики в Тартуском университете", Тарту, 1982, 91-93.

83. Меристе М.Б. Реализация абстрактных атрибутных грамматик. Тез.докл.II Всесоюзн.конф. по автоматизации производства пакетов прикладных программ и трансляторов, Таллин,1983, 44-46.