home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #27 / NN_1992_27.iso / spool / comp / compiler / 1918 < prev    next >
Encoding:
Text File  |  1992-11-19  |  12.1 KB  |  289 lines
  1. Newsgroups: comp.compilers
  2. Path: sparky!uunet!paladin.american.edu!darwin.sura.net!ukma!cs.widener.edu!eff!world!iecc!compilers-sender
  3. From: neitzel@ips.cs.tu-bs.de (Martin Neitzel)
  4. Subject: Re: Two Level Grammars
  5. Reply-To: neitzel@ips.cs.tu-bs.de (Martin Neitzel)
  6. Organization: Inst. f. Informatik, TU Braunschweig, FRG
  7. Date: Thu, 19 Nov 1992 10:21:54 GMT
  8. Approved: compilers@iecc.cambridge.ma.us
  9. Message-ID: <92-11-109@comp.compilers>
  10. References: <92-11-037@comp.compilers>
  11. Keywords: parse, bibliography
  12. Sender: compilers-sender@iecc.cambridge.ma.us
  13. Lines: 274
  14.  
  15. > I am looking for some reference sources for "two level Grammars" and "Van
  16. > Wijngaarden form" grammars.  [...]  Can anyone point me to other
  17. > references which describe these grammars?
  18.  
  19. I guess it's the third time I'm recommending the following book about
  20. vW grammars in comp.compilers in the past 5 years:
  21.  
  22.     Cleaveland, J. C. and Uzgalis, R. C.:
  23.     "Grammars for Programming Languages"
  24.     Elsevier North-Holland, New York
  25.     ISBN 0-444-00187-5
  26.  
  27. I've appended some more related references below.  (I hope you don't
  28. mind the German annotations (and their incorrect capitalisations.)
  29.  
  30.                         Martin Neitzel
  31.  
  32. @book{infbib-7201,
  33.   author     = "Wijngaarden, A. Van and Mailloux, B. J. and Peck, J. E. L. 
  34.                and Koster, C. H. A.",
  35.   title      = "Report on the Algorithmic Language Algol 68",
  36.   publisher  = "Springer",
  37.   address    = "Berlin",
  38.   year       = 1969,
  39.   descriptor = "Algol 68, Programmiersprache, Report, Sprachbeschreibung, 
  40.                Syntax von Algol 68",
  41.   annote     = "Algol 68 Report",
  42. }
  43.  
  44. @book{infbib-7207,
  45.   author     = "Lindsey, C. H. and Meulen, S. G. Van der",
  46.   title      = "Informal Introduction to Algol 68",
  47.   publisher  = "North-holland",
  48.   address    = "Amsterdam",
  49.   year       = 1971,
  50.   isbn       = "07204-20482",
  51.   descriptor = "Algol 68",
  52.   annote     = "Auf der Grundlage Des Algol 68-reports Wird eine 
  53.                Informelle Beschreibung der Sprache Gegeben. Dieses Buch 
  54.                Duerfte Als Bester Einstieg in die Sprache fuer einen 
  55.                Nicht Vorbelasteten Interessenten Gelten",
  56. }
  57.  
  58. @techreport{infbib-73225,
  59.   author     = "Peck, J. E. L.",
  60.   title      = "An Algol 68 Companion",
  61.   address    = "Vancouver",
  62.   year       = 1972,
  63.   descriptor = "Algol 68, Programmiersprache",
  64. }
  65.  
  66. @book{infbib-75372,
  67.   author     = "Stiller, Gerd",
  68.   title      = "Algol 68. Begriffe und Ausdrucksmittel",
  69.   publisher  = "R. Oldenbourg",
  70.   address    = "Muenchen",
  71.   year       = 1976,
  72.   isbn       = "3-486-34761-6",
  73.   descriptor = "Algol 68, Programmiersprache",
  74. }
  75.  
  76. @proceedings{infbib-A7298,
  77.   editor     = "Peck, J. E. L.",
  78.   title      = "Algol 68 Implementation",
  79.   address    = "Amsterdam",
  80.   year       = 1971,
  81.   isbn       = "0-7204-2045-8",
  82.   descriptor = "Algol 68, Programmiersprache",
  83.   annote     = "Proceedings of the Ifip Working Conference on Algol 68 
  84.                Implementation, July 1970. Seventeen of the Papers 
  85.                Presented at the Conference Are Contained in This Book. 
  86.                Various Aspects of Implementation Were Discussed and the 
  87.                Papers Ranged in Scope From An Examination of Detailed 
  88.                Pacets of Compiler Costruction to the More General 
  89.                Questions Concerning Implementation Methods, Language 
  90.                Design Or Sublanguage Specification.",
  91. }
  92.  
  93. @book{infbib-A74150,
  94.   author     = "Wijngaarden, A. Van and Mailloux, B. J. and Peck, J. E. L. 
  95.                and Koster, C. H. A. and Sintzoff, M. and Lindsey, C. H. 
  96.                and Meertens, L. G. L. T. and Fisker, R. G.",
  97.   title      = "Revised Report on the Algorithmic Language Algol 68",
  98.   publisher  = "Department of Computing Science of the University of 
  99.                Alberta",
  100.   address    = "Edmonton",
  101.   year       = 1974,
  102.   descriptor = "Algol 68, Compilerbau, Grammatik, Programmiersprache, 
  103.                Syntax, Uebersetzerbau, Wijngaarden-grammatik",
  104. }
  105.  
  106. @proceedings{infbib-A76084,
  107.   editor     = "Universitaet Dortmund",
  108.   title      = "Tagung ueber Automatentheorie und Formale Sprachen vom 
  109.                27.3-29.3.1974, Dortmund",
  110.   address    = "Dortmund",
  111.   year       = 1974,
  112.   descriptor = "Ableitungssprache, Automatentheorie, Flussdiagramm, 
  113.                Formale Sprache, Grammatik, Komplexitaet, Kontextsensitiv, 
  114.                Lba Problem, Lernender Automat, Lindenmayer-system, Lisp, 
  115.                Sprache, Stochastische Sprache",
  116.   annote     = "Ableitungssprachen Crossing-bounded Automata and Their 
  117.                Relation to the Lba Problem Lernende F-s Automaten Data 
  118.                Aggregations in Algorithms Bemerkungen ueber Van 
  119.                Wijngaarden Grammatiken Anwendungen der Kategoriellen 
  120.                Theorie von Automaten ueber Rationale Stochastische 
  121.                Sprachen: Ihre Darstellung, Ihre Beziehung Zu den Klassen 
  122.                R, Rquer von Schnetzenberger und Ihre Lage in der 
  123.                Chomskyhierarchie Automatentheorie und Dynamische Systeme 
  124.                ueber Flussdiagramme mit Beschraenkter Schleifenstruktur 
  125.                Akzeptoren und Ihre Monoide on the Most Recent Property of 
  126.                Algol-like Programs ueber Cons-freies Programmieren in 
  127.                Lisp ueber Baumautomaten mit Kellerspeicher Tensor 
  128.                Calculus in Semimodule Categories Applied to Automata and 
  129.                Networks Chomsky-klassifikation von Diagramm-sprachen mit 
  130.                Regulaeren Grundbegriffen Definierbare Praedikate 
  131.                Boole'sche Minimalpolynome und Ueberdeckungsprobleme Left 
  132.                Context-sensitive Grammars Some Methods For Bounding the 
  133.                Combinatorial Complexity of Functions Characterization of 
  134.                Growth in Deterministic Lindenmayer Systems Realisierungen 
  135.                von Systemen Parameterisierungen Allgemeiner Zeitsysteme 
  136.                on Locally Regular Languages Programmschemata mit 
  137.                Zaehlern, die Nicht Helfen",
  138. }
  139.  
  140. @techreport{infbib-A77468,
  141.   author     = "Hesse, W.",
  142.   title      = "A Correspondence Between W-grammars and Formal Systems of 
  143.                Logic and Its Application to Formal Language Description",
  144.   address    = "Muenchen",
  145.   year       = 1977,
  146.   descriptor = "G-system, Grammatik, Pw-grammatik, W-grammatik",
  147.   annote     = "Es Werden Zusammenhaenge Zwischen Wijngaarden 
  148.                Grammatiken,praedikative Wijngaarden Grammatiken und 
  149.                Formallogischen Systemen Gezeigt.",
  150. }
  151.  
  152. @book{infbib-A78395,
  153.   author     = "Feldmann, Harry",
  154.   title      = "Einfuehrung in Algol 68",
  155.   publisher  = "Vieweg",
  156.   edition    = 1,
  157.   address    = "Braunschweig",
  158.   year       = 1978,
  159.   isbn       = "3-528-03329-0",
  160.   descriptor = "Algol 68, Grammatik, Programm, Programmiersprache, 
  161.                Zweischichtige Grammatik",
  162.   annote     = "Vorlesungsskriptum ueber Algol 68 mit Vielen Beispielen 
  163.                und Angabe der Zweistufigen Syntax",
  164. }
  165.  
  166. @mastersthesis{infbib-A79125,
  167.   author     = "Uden, Hermann",
  168.   title      = "Darstellung Verschiedener Ansaetze Zur Formalen 
  169.                Beschreibung Kontextabhaengiger Eigenschaften in 
  170.                Programmiersprachen und Deren Automatische Analyse",
  171.   address    = "Braunschweig",
  172.   year       = 1975,
  173.   descriptor = "Affix-grammatik, Attribut-grammatik, Compiler, Semantische 
  174.                Analyse, Van Wijngaarden-grammatik",
  175.   annote     = "Gegenueberstellung der von Wijngaarden-grammatik,der 
  176.                Attribut-grammatik (knuth) und der Affix-grammatik 
  177.                (koster) und der Resultierenden Erkennungsalgorithmen.",
  178. }
  179.  
  180. @techreport{infbib-A79261,
  181.   author     = "Hesse, W.",
  182.   title      = "Two-level Graph Grammars",
  183.   address    = "Muenchen",
  184.   year       = 1978,
  185.   descriptor = "Formale Sprachdefinition, Graphgrammatik, Lisp, 
  186.                Zweischichtige Grammatik, Zweischichtige Graph-grammatik",
  187.   annote     = "Two-level Graph Grammar (2ggs) Verbinden Graph-grammatiken 
  188.                (in der Form,wie Sie Pratt Definierte) und Zweischichtige 
  189.                Grammatiken (wie Sie im Algol 68-report Verwendet 
  190.                Werden).in der Vorliegenden Arbeit Werden 2ggs Definiert 
  191.                und Ihre Beziehungen Zu Anmderen Grammatiktypen 
  192.                (insbesondere Varianten von 2ggs) Betrachtet.die 
  193.                Anwendbarkeit von 2ggs Zur Formalen Beschreibung von 
  194.                Programmiersprachen Wird Am Beispiel der Sprache Lisp 
  195.                Erlaeutert.",
  196. }
  197.  
  198. @proceedings{infbib-A79277,
  199.   editor     = "Iria",
  200.   title      = "Le Point Sur La Compilation",
  201.   address    = "Le Chesnay",
  202.   year       = 1978,
  203.   isbn       = "2-7261-0185-2",
  204.   descriptor = "Codeerzeugung, Compiler, Fehlererkennung, 
  205.                Programmiersprache, Syntaxanalyse",
  206.   annote     = "Tagungsband Eines Compiler-kurses im Januar 1978 in 
  207.                Toulouse.die Beitraege Sind (trotz Des Titels) in 
  208.                Englisch.beitraege Von:u. Ammann, D. Bjoerner, C. Jones, 
  209.                K. Kennedy, O. Lecarme, B. Lorho, K. Ripleen, A. V. 
  210.                Wijngaarden, J. Voiron, R. Wilhelm.",
  211. }
  212.  
  213. @techreport{infbib-A80129,
  214.   author     = "Janssen, T. M. V.",
  215.   title      = "on Problems Concerning the Quantification Rules in 
  216.                Montague Grammars",
  217.   address    = "Amsterdam",
  218.   year       = 1979,
  219.   descriptor = "Montague Grammatik, Van Wijngaarden-grammatik",
  220.   annote     = "Bericht Nr. Zw 124/79 Variable Wie He1,he2,... Geben 
  221.                Anlass Zu Problemen Folgender Art in Montague-grammatiken: 
  222.                -dort Wo Sie Erwuenscht Sind,koennen Sie Fehlen und -dort 
  223.                Wo Sie Unerwuenschtsind,koennen Sie Auftreten.dieser 
  224.                Bericht Liefert Verschiedene Vorschlaege,diesen Problemen 
  225.                Zu Begegnen.",
  226. }
  227.  
  228. @book{infbib-A81099,
  229.   author     = "Mcgettrick, A. D.",
  230.   title      = "the Definition of Programming Languages",
  231.   publisher  = "Cambridge University Press",
  232.   edition    = 1,
  233.   address    = "Cambridge",
  234.   year       = 1980,
  235.   isbn       = "0521-29585-8",
  236.   descriptor = "Algol, Algol 68, Attributierte Grammatik, Axiomatisch, 
  237.                Cobol, Denotational Semantics, Fortran, Lisp, Pascal, 
  238.                Pl/i, Semantik, Syntax, Vienna Definition Language, 
  239.                Zweischichtige Grammatik",
  240.   annote     = "Es Werden Verschiedene Moeglichkeiten Betrachtet, die 
  241.                Syntax und Semantik von Programmiersprachen Zu Definieren. 
  242.                Verschiedene Existierende Sprachen Werden Als Beispiele 
  243.                Herangezogen.",
  244. }
  245.  
  246. @techreport{infbib-A83164,
  247.   author     = "Friede, D.",
  248.   title      = "on Partitioned Van Wijngaarden Grammars",
  249.   address    = "Muenchen",
  250.   year       = 1982,
  251.   descriptor = "Van Wijngaarden-grammatik, Zweischichtige Grammatik",
  252.   annote     = "An Attempt Is Made to Specify Direct Properties of 
  253.                Wijngaarden-grammars Allowing to Parse 
  254.                Wijngaarden-grammars Directlyin One Pass.",
  255. }
  256.  
  257. @proceedings{infbib-B76375,
  258.   editor     = "Aguilar, R.",
  259.   title      = "Formal Languages and Programming",
  260.   address    = "Amsterdam",
  261.   year       = 1976,
  262.   isbn       = "0-7204-0436-3",
  263.   descriptor = "Dialogprogramm, Dialogsprache, Formale Sprache, 
  264.                Mathematische Linguistik, Methoden der Sprachdefinition, 
  265.                Programmiersprache, Programmiertheorie, Programmierung, 
  266.                Spracheigenschaft, Sprachklassifikation",
  267.   annote     = "Tagungsband Eines Seminars im April 1975 in Madrid ueber 
  268.                Formale Sprachen, Interaktive Programmierung und Theorie 
  269.                der Programmierung Beitraege von Indermark, Van 
  270.                Wijngaarden, Pair, Melkanoff, Kupka, Falkoff, 
  271.                Schuetzenberger, Nivat, Ginsburg, Salomaa",
  272. }
  273.  
  274. @techreport{infbib-B77181,
  275.   author     = "Ammeraal, L.",
  276.   title      = "A W-grammar For the Semantics of Integer Expressions",
  277.   address    = "Amsterdam",
  278.   year       = 1976,
  279.   descriptor = "Grammatik, Semantik, Van Wijngaarden-grammatik, 
  280.                W-grammatik",
  281.   annote     = "Bericht Nr. Iw 66/76 Abstract: For Parenthesised Integer 
  282.                Expressions With Operators + and * A W-grammar Is 
  283.                Presented Which Not Only Defines Their Syntactic Structure 
  284.                But Also Prescribes Their (semantic) Value.",
  285. }
  286. -- 
  287. Send compilers articles to compilers@iecc.cambridge.ma.us or
  288. {ima | spdcc | world}!iecc!compilers.  Meta-mail to compilers-request.
  289.