Абстрактные атрибутные грамматики и их использование в системах построения трансляторов
Диссертация
Анализ нынешнего состояния в области СПТ показывает (см. также [l, 2C) J), что большинство применяемых методов описания должным образом не удовлетворяют этим естественным требованиям. К настоящему моменту большинство существующих СНГ используют описание языков атрибутными грамматиками. Однако практика применения таких систем указывает на недостаточную развитость атрибутных методов описания… Читать ещё >
Содержание
- Глава I. АТРИБУТНЫЙ ПОДХОД К ОПИСАНИЮ И
- РЕАЛИЗАЦИИ ЯЗЫКОВ ПРОГРАММИРОВАНИЯ В СПТ .II
- 1. 1. Основные понятия и обозначения
- 1. 2. Применение атрибутных грамматик при описании языков программирования
- 1. 2. Л Атрибутные описания на базе конкретного синтаксиса языков
- 1. 2. 2. Атрибутные описания на базе абстрактного синтаксиса
- 1. 3. Реализация атрибутных грамматик
- 1. 3. 1. Проверка корректности
- 1. 3. 2. Вычисление атрибутов
Список литературы
- Aho А. V. Translator writing systems: where do they now stand? — Computer, vol.13, N 8, 1980, 9−14.
- Aho A.V., Ullman J.D.The theory of parsing, translation and compiling, vol.1, Prentice Hall, Englewood Cliffs, 1973русский перевод: Axo A., Ульман Дж. Теория синтаксического анализа и компиляции, том I, изд-во «Мир», М., 1978).
- Alblas Н. A characterization of aiiribute evaluation in passes. Acta Informatica, vol.16, N 4, 1981, 427−464.
- Bochmann G.Y. Semantic evaluation from left to right.-Comm. ACM, vol.19, К 2, 1976, 55−62.
- Courcelle B. Attribute grammars: theory and applications. Lecture Notes Сотр. Sci., vol.107, Springer-Verlag, 1981, 75−95.
- Deransart P. Logical attribute grammars. Proc. IFIP-83, North-Holl. Publ. Co., 1983, 463−469.
- Deransart P., Jourdan M., Lorho B. Speeding up circularity tests for attribute grammars. Rapp. de Recherce N 211, INRIA, 1983.
- Deremer P., Jullig R. Tree affix dendrogrammars for languages and compilers. — Lecture Notes Сотр. Sci., vol. 94, Springer-Verlag, 1980, 300−319.
- 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.
- Engelfriet J., Pil’e G. Formal properties of one-visit and multipass attribute grammars. Lecture Notes Сотр. Sci., vol.85, Springer-Verlag, 1980, 182−194.
- Engelfriet J., Fil’e G. Passes, sweeps and visits.- Lecture Notes Сотр. Sci., vol.115, Springer-Verlag, 1981, 193−207.
- Engelfriet J., Fil’e G. Simple multi-visit attribute grammars. J. Сотр. and System Sci., vol.24, N 3, 1982, 283−314.
- Ershov A.P., Grushetsky V.V. An implementation -oriented method for describing algorithmic languages.-Prоc.IFIP -77, 117−122.
- Fang I. FOLDS a declarative formal language definition system. Rep. STAN — CS-72−329, Comp, Sci.Dep., Stanford University, 1972.
- Farrow R. LINGUIST-86: Yet another translator writing system based on attribute grammars. SIGPLAN Notic., vol.17, N 6, 1982, 160−171.
- Ganzinger H. Modifizierte attributierte Grammatiken. Bericht 7420, Abteilung Mathematik, Technische Univer-sitat Munchen, 1974.
- Ganzinger H. Transforming denotational semantics into practical attribute grammars. Lecture Notes Сотр.Sci., vol.94, Springer-Verlag, 1980, 1−64.
- Ganzinger H., Ripken K., Willielm K. Automatic generation of optimizing multipass compilers. Proc. IFIP-77, North-Holl. Publ. Co., 1977, 535−540.
- Ganzinger H., Giegerich R., Moncke U., Wilhelm R. A truly generative semantic-directed compiler generator. -SIGPLAN Notic., vol.17, N 6, 1982, 172−185.
- Gaudel M.C. Compiler generation from formal definition of progi’amming languages: a survey. Lecture Notes Сотр. Sci., vol.107, Springer" Verlag, 1981, 96−114.
- Giegerich R., Wilhelm R. Implementier-barkeit attributi-erter Grammatiken. Informatik-Fachberichte, vol.10, Springer-Verlag, 1977, 17−36.
- 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.
- Irons E.T. A syntax-directed compiler for Algol-60.-Comm. ACM, vol.4, К 1, 1961, 51−55.
- 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.
- 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.
- Jazayeri M., Y/alter K. G. Alternating semantic evaluator.-Proc. ACM Arm. Conf., 1975, 230−234.
- Jochum G. Automatische Konstruktion und einheitliche Dar-stellung von Attributauswertungsalgorithmen. Rep. TUM -18 113, Technische Universitat Miinchen, 1981.
- Kastens U. Ordered attribute grammars. Acta Informatica vol.13, 1980, 229−256.
- Kastens U., Hutt B. GAG a practical compiler generator. Lecture Notes Сотр. Sci., vol.141, Springer-Verlag, 1982.
- Katayama T. Translation of attribute grammars into procedures. Techn. Rep. CS-K8001, Dep. of Сотр. Sci. Tokyo Institute of Technology, 1980.
- 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.
- Knuth D.E. Semantics of context-free languages. Math. Syst. Theory, vol.2, 1968, 127−145.
- Русский перевод: Кнут Д. Е. Семантика контекстно-свободных языков. сб. Семантика языков программирования, ред.
- Курочкин В.М., изд-во «Мир», М., 1980, I37-I6I).
- Knuth D.E. Examples of formal semantics. Lecture Notes1. Mabis., 1971, H 188.
- Koskimies K. An experience on language implementation using attribute grammars.Rep.A-1982−2, Dep. of Comp.Sci., University of Helsinki, 1982.
- 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″
- Koskimies K., Raiha K.-J., Sarjakoski M. Compiler construction using attribute grammars. SIGPLAET llotic.vol. 17, N.6, 1982, 153−159.
- Koskimies K., Raiha K.-J. Modelling space-efficient one-pass translation using attribute grammars. Software -Practice and Exp., vol.13, 1983, 119−129.
- Kurki-Suonio R. Towards better structured definitions of programming languages. Rep. STAN CS -75−500, Comp.Sci. Dep., Stanford University, 1975.
- 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.
- Lewi J., DeVlaminek K., Huens J., Hyubrechts M. A programming methodology in compiler construction. Worth-Holl. Publ. Co., 1979.
- Marcotty М., Ledgard H.F., Bochmann G.V.A sampler of formal definitions. ACM Сотр. Surveys, vol.8, IT 2, 1976, 191−276. {?ycc.mvi перевод: Маркотти M., Ледгард Х., Бохман
- Г. Формальные описания языков программирования. сб. Семантика языков программирования, ред. Курочкин В. М., изд-во «Мир», М., 1980, 9−136).
- McCarthy J. Toward a science of computation.-Proc.IFIP -62, 1962, 21−28.
- 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.
- Riis II., Skyum S. k-visit attribute grammars.-Math. Systems Theory, vol.15, N 1, 1981, 17−28.
- Ripken K. Application of meta-compilation methods in the Ada test translator development. Proc. GI 10. Jahres-tagung, 1980, 66−77.
- 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.
- Raiha K.-J. Experiences with the compiler writing system HLP. Lecture Notes Сотр. Sci., vol.94, Springer-Verlag, 1980, 350−362.
- 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.
- Raiha K.-J.Saarinen M. Testing attribute grammars for circularity. Acta Informatica, vol.17, N 2, 1982, 185 192.
- 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.
- Raiha K.-J., Ukkonen E. Minimizing the number of evaluation passes for attribute grammars. Rep. С 1979 — 121, Dep. of Сотр. Sci., University of Helsinki, 1979.
- Silverberg B.A. Using a grammatical formalism as a programming language. Techn. Rep, CSRG-88, Сотр. Sci. Research Group, University of Toronto, 1978.
- Soisalon-Soininen E., ?/ood D. On a covering relation for context-free grammars. Acta Informatica, vol.17, N 4, 1982, 435−449.
- Tienari M. On the definition of an attribute grammar. -Lecture Notes Сотр. Sci., vol.94, Springer-Verlag, 1980, 408−414.
- Бездушный A.H., Серебряков B.A. Определение подмножества языка Паскаль средствами обобщенных атрибутных грамматик СПТ СУПЕР.- Тез. докл. II Всесоюзн. конф. по автоматизации производства пакетов прикладных программ и трансляторов, Таллин, 1983, 7−9.
- Бирюков А.П., Курочкин В. М., Серебряков В. А. Глобальные атрибуты и их использование при описании языков программирования. Ж.вычисл.матем. и матем. физики, № 5, 1980.
- Бирюков А.Н., Курочкин В. М., Серебряков В. А. Структурные атрибуты и их реализация в системе построения трансляторов «СУПЕР». Программирование, № 2. 1981, 52−55.
- Вадер А.Р., Вооглайд А.О., Jlenn М. В. Средства отладки ме-таописаний. Тез.докл. 2 Всесоюзн.кокф. по автоматизации производства пакетов прикладных программ и трансляторов, Таллин, 1983, 38−40.
- Вооглайд А.О. Семантическое равенство распознавателей, работающих на грамматике LR (к) и грамматике предшествования с (1,1) ограниченным контекстом. Тр. Таллинского политехи. ин-та, № 411, 1976, 39−54.
- Вооглайд А.О., Лепп М. В., Лийб Д. Б. Входные языки системы ELMA .- Тр. Таллинского политехи. ин-та,№ 524, 1982, 79−96.
- Вооглайд А.О., Томбак М. О. Об одной системе построения трансляторов с LR (к) семантикой.-Программирование,№ 5,1976, 28−38.
- Глушкова В.Н., Ильичева 0.А.Конструирование анализаторов по формальной спецификации в СПТ.- Тез.докл.11 Всесоюзн. конф. по автоматизации производства пакетов прикладных программ и трансляторов, Таллин, 1983, 30−32.
- Ершов А.П., Покровский С.Б.Об унификации алгоритмических языков. Пробл. кибернетики, вып.32, изд-во «Наука», М., 1977, 95−118.
- Курочкин В.М. Алгоритм вычисления атрибутов. Тез.докл. Всесоюзной конф. по автоматизации производства пакетов прикладных программ, Таллин, 1980, 64−66.
- Лепп М.В. Метод расслоенной трансляции, базирующийся на абстрактном синтаксисе. Тез.докл.Всесоюзн.конф. по методам трансляции, Новосибирск, 1981, 92−94.
- Лоро Б. Метод семантических атрибутов в системе DELTA. Тр.Всесоюзн.симп. по методам реализации новых алгоритмичееких языков, ч.1, Новосибирск, 1975, 29−45.
- Лучикович В.В. Формальное описание алгоритмических языков в СПТ ТУ. Тез. докл. II Всесоюзн.конф. по автоматизации производства пакетов прикладных программ и трансляторов, Таллин, 1983, 27−29.
- Макаров В.П. Атрибутные квазитранслирующие грамматики и их реализация в системе построения трансляторов САГЕТ. Программирование, № 2, 1983, 49−55.
- Пеньям Я.Э. Синтез семантического процессора по атрибутной грамматике. Программирование, № I, 1983, 50−60.
- Серебряков В.А. Основные особенности входного языка и реализации СПТ СУПЕР. -Программирование, № 1,1982,78−83.
- Чеботарь К.С. Некоторые модификации алгоритма Кнута для проверки цикличности атрибутных грамматик. Программирование, № I, 1981, 74−78.
- Публикации по материалам диссертации.
- Меристе М.Б. Методы реализации атрибутных схем в системах построения трансляторов (обзор). Программирование, № 5, 1980, 40−49.
- Вооглайд А.О., Меристз М. Б. Абстрактные атрибутные грамматики. Программирование, № 5, 1982, 17−26.
- Меристе М.Б. Реализация одновизитных абстрактных атрибутных грамматик. Тр. ВЦ Тартуского гос. унив., № 49, Тарту, 1982, 63- 75.
- Меристе М.Б. Об атрибутной технике на базе абстрактного синтаксиса. Тез. докл. Всесоюзн.конф. по автоматизации производства пакетов прикладных программ, Таллин, 1980, 63−64.
- Меристе М.Б. Совмещение вычисления атрибутов и синтаксического анализа. Тез. докл.Всесоюзн.конф. по методам трансляции, Новосибирск, 1981, 103−105.
- Меристе М.Б. Принципы реализации абстрактных атрибутных грамматик. Тез.докл.респ.конф. «350 лет математики в Тартуском университете», Тарту, 1982, 88−90.
- Вооглайд А.О., Меристе М. Б. 0 технологии применения атрибутных GnT. Тез. докл.респ.конф. «350 лет математики в Тартуском университете», Тарту, 1982, 91−93.
- Меристе М.Б. Реализация абстрактных атрибутных грамматик. Тез.докл.II Всесоюзн.конф. по автоматизации производства пакетов прикладных программ и трансляторов, Таллин, 1983, 44−46.