Translator writing systems

A critical review of recent efforts to automate the writing of translators of programming languages is presented. The formal study of syntax and its application to translator writing are discussed in Section II. Various approaches to automating the postsyntactic (semantic) aspects of translator writing are discussed in Section III, and several related topics in Section IV.

[1]  Richard K. Bennett,et al.  Extension of existing compilers by sophisticated use of macros , 1964, CACM.

[2]  Philip Gilbert,et al.  Compiler generation using formal specification of procedure-oriented and machine languages , 1899, AFIPS '67 (Spring).

[3]  Friedrich L. Bauer,et al.  Sequential formula translation , 1960, CACM.

[4]  Douglas T. Ross.  The AED approach to generalized computer-aided design , 1967, ACM '67.

[5]  W. M. McKeeman.  An approach to computer language design , 1966 .

[6]  William Orchard-Hays.  Multilevel operating systems , 1966, CACM.

[7]  Peter Zilahy Ingerman,et al.  A Syntax-Oriented Translator , 1966 .

[8]  R. A. Sibley.  The SLANG system , 1961, CACM.

[9]  Peter S. Landweber,et al.  Decision Problems of Phrase-Structure Grammars , 1964, IEEE Trans. Electron. Comput..

[10]  Bruce W Arden.  Michigan algorithm decoder , 1964 .

[11]  Douglas T. Ross.  On context and ambiguity in parsing , 1964, CACM.

[12]  J. C. Reynolds.  Programming languages for non-numeric processing—2: An introduction to the COGENT programming system , 1965, ACM '65.

[13]  A. A. Grau.  A Translator-Oriented Symbolic Programming Language , 1962, JACM.

[14]  Thomas E. Cheatham,et al.  The introduction of definitional facilities into higher level programming languages , 1966, AFIPS '66 (Fall).

[15]  D. Morris,et al.  Experience with the Compiler Compiler , 1967, Comput. J..

[16]  Abraham Robinson,et al.  Random-Access Stored-Program Machines, an Approach to Programming Languages , 1964, JACM.

[17]  D. Morris,et al.  Compiler Compiler Facilities in Atlas Autocode , 1967, Comput. J..

[18]  Robert W. Floyd,et al.  On ambiguity in phrase structure languages , 1962, CACM.

[19]  Fabrizio Luccio,et al.  A comment on index register allocation , 1967, CACM.

[20]  Noam Chomsky,et al.  वाक्यविन्यास का सैद्धान्तिक पक्ष = Aspects of the theory of syntax , 1965 .

[21]  P. J. Landin,et al.  The next 700 programming languages , 1966, CACM.

[22]  J. Shepherdson,et al.  Computer programming and formal systems , 1965 .

[23]  Thomas L. Connors.  ADAM: a generalized data management system , 1966, AFIPS '66 (Spring).

[24]  A. A. Letichevskii.  The representation of context-free languages in automata with a push-down type store , 1965 .

[25]  C. William Gear,et al.  High speed compilation of efficient object code , 1965, Commun. ACM.

[26]  Jeffrey S. Rohl,et al.  The compiler compiler , 1963 .

[27]  Lewis C. Clapp.  A syntax-directed approach to automated aids for symbolic mathematics , 1966, SYMSAC '66.

[28]  Edgar T. Irons,et al.  A syntax directed compiler for ALGOL 60 , 1961, CACM.

[29]  Edsger W. Dijkstra.  On the design of machine independent programming languages , 1961 .

[30]  S. R. Petrick,et al.  On the relative efficiencies of context-free grammar , 1965, CACM.

[31]  Frederick W. Schneider,et al.  META-3 syntax-directed compiler writing compiler to generate efficient code , 1964 .

[32]  R. Karp,et al.  Properties of a model for parallel computations: determinacy , 1966 .

[33]  Jerome A. Feldman,et al.  A FORMAL SEMANTICS FOR COMPUTER-ORIENTED LANGUAGES , 1964 .

[34]  F. L. Bauer,et al.  Report on the algorithmic language ALGOL 60 , 1960, CACM.

[35]  Edgar T. Irons.  An error-correcting parse algorithm , 1963, CACM.

[36]  Jay C. Earley,et al.  Generating a recognizer for a BNF grammar , 1965 .

[37]  Rosen Saul,et al.  Programming systems and languages , 1966 .

[38]  Richard M. Karp,et al.  Index Register Allocation , 1966, JACM.

[39]  Herman F. Karreman.  Machine‐independent computer programming, by Maurice H. Halstead. Spartan Books, Washington, D. C. xii and 267 pp , 1962 .

[40]  Terrence W. Pratt,et al.  A processor-building system for experimental programming languages , 1966, AFIPS '66 (Fall).

[41]  R. B. Talmadge.  Design of an Integrated Programming an Operating System Part II: The Assembly Program and Its Language , 1963, IBM Syst. J..

[42]  Walter H. Burkhardt.  Universal programming languages and processors: a brief survey and new concepts , 1965, AFIPS '65 (Fall, part I).

[43]  S. Schlesinger,et al.  POSE: a language for posing problems to a computer , 1967, CACM.

[44]  Burt M. Leavenworth,et al.  FORTRAN IV as a syntax language , 1964, CACM.

[45]  Robert W. Floyd,et al.  Bounded context syntactic analysis , 1964, CACM.

[46]  Herbert Schorr.  Analytic Differentiation Using a Syntax-Directed Compiler , 1965, Comput. J..

[47]  Gene F. Leonard,et al.  More on extensible machines , 1966, CACM.

[48]  Manfred Paul,et al.  ALGOL 60 Processors and a Processor Generator , 1962, IFIP Congress.

[49]  Julien Green.  Symposium on Languages for Processor Construction , 1962, IFIP Congress.

[50]  Irving N. Rabinowitz,et al.  Report on the algorithmic language FORTRAN II , 1962, Commun. ACM.

[51]  Stephen A. Schuman,et al.  THE TRANGEN SYSTEM ON THE M460 COMPUTER. , 1966 .

[52]  Emil L. Post.  Formal Reductions of the General Combinatorial Decision Problem , 1943 .

[53]  Bernard A. Galler,et al.  A proposal for definitions in ALGOL , 1967, CACM.

[54]  Tony Hoare.  A Programming Language for Processor Construction , 1965 .

[55]  Stephen Warshall,et al.  A General-Purpose Table-Driven Compiler , 1899 .

[56]  John C. Reynolds.  An Introduction to the Cogent Programming System , 1965 .

[57]  Robert W. Floyd,et al.  A Descriptive Language for Symbol Manipulation , 1961, JACM.

[58]  Kleber S. Masterson.  Compilation for two computers with NELIAC , 1960, CACM.

[59]  James Allan Painter.  Semantic correctness of a compiler for an algol-like language , 1967 .

[60]  Friedrich L. Bauer,et al.  A syntax controlled generator of formal language processors , 1963, CACM.

[61]  Harvey Bratman.  A alternate form of the “UNCOL diagram” , 1961, CACM.

[62]  Robert V. Zara.  A semantic model for a language processor , 1967, ACM '67.

[63]  Gerald Estrin,et al.  Models of Computations and Systems—Evaluation of Vertex Probabilities in Graph Models of Computations , 1967, JACM.

[64]  Robert G. Trout,et al.  A compiler—compiler system , 1967, ACM '67.

[65]  Brian Randall,et al.  ALGOL 60 implementation , 1964 .

[66]  Thomas A. Standish,et al.  A Data Definition Facility for Programming Languages , 1967, Outstanding Dissertations in the Computer Sciences.

[67]  Saul Gorn.  Detection of Generative Ambiguities in Context-Free Mechanical Languages , 1963, JACM.

[68]  R. A. Brooker,et al.  A Description of Mercury Autocode in Terms of a Phrase Structure Language , 1961 .

[69]  Peter Wegner,et al.  Introduction to systems programming , 1962 .

[70]  Paul Rovner,et al.  AN ASSOCIATIVE PROCESSING SYSTEM FOR CONVENTIONAL DIGITAL COMPUTERS , 1967 .

[71]  A. P. Ershov.  ALPHA - an automatic programming system of high efficiency , 1965 .

[72]  Marcel Paul Schützenberger,et al.  On Context-Free Languages and Push-Down Automata , 1963, Inf. Control..

[73]  Rohit Parikh,et al.  On Context-Free Languages , 1966, JACM.

[74]  John McCarthy,et al.  Recursive functions of symbolic expressions and their computation by machine, Part I , 1959, Commun. ACM.

[75]  Yehoshua Bar-Hillel,et al.  Language and Information , 1964 .

[76]  Donald E. Knuth,et al.  The remaining trouble spots in ALGOL 60 , 1967, Commun. ACM.

[77]  Seymour Ginsburg,et al.  The mathematical theory of context free languages , 1966 .

[78]  A. Church.  The calculi of lambda-conversion , 1941 .

[79]  David G. Cantor,et al.  On The Ambiguity Problem of Backus Systems , 1962, JACM.

[80]  Klaus Samelson.  Programming Languages and their Processing , 1962, IFIP Congress.

[81]  David Gries.  Use of transition matrices in compiling , 1968, CACM.

[82]  Christopher J. Shaw.  A specification of JOVIAL , 1963, CACM.

[83]  Edgar T. Irons,et al.  “Structural connections” in formal languages , 1964, CACM.

[84]  Heinz Zemanek,et al.  Semiotics and programming languages , 1966, CACM.

[85]  Maurice V. Wilkes,et al.  An Experiment with a Self-compiling Compiler for a Simple List-processing Language , 1964 .

[86]  R. S. Barton.  A critical review of the state of the programming art , 1963, AFIPS '63 (Spring).

[87]  Mark I. Halpern.  Programming Languages: Toward a general processor for programming languages , 1968, CACM.

[88]  Robert P. Futrelle,et al.  Syntactic analysis by digital computer , 1962, CACM.

[89]  Peter J. Brown,et al.  The ML/I macro processor , 1967, Commun. ACM.

[90]  Frederick B. Thompson,et al.  English for the Computer , 1899 .

[91]  John McCarthy,et al.  Correctness of a compiler for arithmetic expressions , 1966 .

[92]  Richard J. Orgass,et al.  A mathematical theory of computing machine structure and programming , 1967 .

[93]  Christopher Strachey,et al.  A general purpose macrogenerator , 1965, Computer/law journal.

[94]  Peter Naur.  Documentation problems: ALGOL 60 , 1963, CACM.

[95]  Saul Gorn,et al.  Specification languages for mechanical languages and their processors a baker's dozen , 1961, Commun. ACM.

[96]  Stephen Warshall.  A syntax directed generator , 1961, AFIPS '61 (Eastern).

[97]  P. J. Landin,et al.  Correspondence between ALGOL 60 and Church's Lambda-notation , 1965, Commun. ACM.

[98]  Robert W. Floyd,et al.  On the nonexistence of a phrase structure grammar for ALGOL 60 , 1962, CACM.

[99]  Donald E. Knuth,et al.  On the Translation of Languages from Left to Right , 1965, Inf. Control..

[100]  Owen R. Mock,et al.  The problem of programming communication with changing machines: a proposed solution , 1958, CACM.

[101]  Arthur Evans,et al.  An ALGOL 60 compiler , 1964 .

[102]  F. W. Abrahams.  The LISP 2 Programming Language and System , 1899 .

[103]  William M. Waite,et al.  A language independent macro processor , 1967, Commun. ACM.

[104]  Daniel Teichroew,et al.  Computer simulation—discussion of the technique and comparison of languages , 1966, CACM.

[105]  Gerald S. Shedler,et al.  Parallel numerical methods for the solution of equations , 1967, CACM.

[106]  Melvin E. Conway,et al.  Design of a separable transition-diagram compiler , 1963, CACM.

[107]  Renato Iturriaga,et al.  Techniques and advantages of using the formal compiler writing system FSL to implement a Formula Algol compiler , 1966, AFIPS '66 (Spring).

[108]  R. A. Brooker,et al.  An Assembly Program for a Phrase Structure Language , 1960, Comput. J..

[109]  Stephen Warshall,et al.  A general-purpose table-driven compiler , 1964, AFIPS '64 (Spring).

[110]  Brian H. Mayoh.  Letter to the editor: Irons' procedure DIAGRAM , 1961, CACM.

[111]  D. Morris,et al.  A General Translation Program for Phrase Structure Languages , 1962, JACM.

[112]  Robert W. Floyd,et al.  The Syntax of Programming Languages-A Survey , 1964, IEEE Trans. Electron. Comput..

[113]  M. Douglas McIlroy.  Macro instruction extensions of compiler languages , 1960, CACM.

[114]  Niklaus Wirth,et al.  EULER: A generalization of ALGOL and its formal definition: Part 1 , 1966, Commun. ACM.

[115]  Philip Gilbert,et al.  On the Syntax of Algorithmic Languages , 1966, JACM.

[116]  Thomas G. Evans,et al.  On-line debugging techniques: a survey , 1966, AFIPS '66 (Fall).

[117]  Friedrich L. Bauer,et al.  Report on the algorithmic language ALGOL 60 , 1960, Commun. ACM.

[118]  W. H. Landen,et al.  Automatic programming and compilers III: On the efficient construction of automatic programming systems , 1962, ACM '62.

[119]  Bernard A. Galler,et al.  An algorithm for equivalence declarations , 1961, CACM.

[120]  S. A. Brown,et al.  A description of the APT language , 1963, CACM.

[121]  John W. Backus,et al.  The syntax and semantics of the proposed international algebraic language of the Zurich ACM-GAMM Conference , 1959, IFIP Congress.

[122]  Seymour Ginsburg,et al.  Deterministic Context Free Languages , 1966, Inf. Control..

[123]  W. Burge.  The evaluation, classification and interpretation of expressions , 1964, ACM National Conference.

[124]  J. W. Backus,et al.  The FORTRAN automatic coding system , 1899, IRE-AIEE-ACM '57 (Western).

[125]  H. Langmaack,et al.  Präzisierung der Begriffe Phrasenstruktur und Strukturelle Mehrdeutigkeit in Chomsky-Sprachen , 1967 .

[126]  Jan V. Garwick.  GARGOYLE: a language for compiler writing , 1964, CACM.

[127]  A E Glennie.  ON THE SYNTAX MACHINE AND THE CONSTRUCTION OF A UNIVERSAL COMPILER , 1960 .

[128]  P. J. Landin.  The Mechanical Evaluation of Expressions , 1964, Comput. J..

[129]  Niklaus Wirth.  A programming language for the 360 computers , 1966 .

[130]  Kirk Sattley,et al.  Syntax-directed compiling , 1964, AFIPS '64 (Spring).

[131]  Marvin Minsky,et al.  Perceptrons and Pattern Recognition , 1967 .

[132]  Howard Bromberg.  Survey of programming languages and processors , 1963, CACM.

[133]  Howard H Metcalfe.  A parameterized compiler based on mechanical linguistics , 1964 .

[134]  Richard Berman,et al.  Syntactical charts of COBOL 61 , 1962, CACM.

[135]  Saul Rosen.  A compiler-building system developed by Brooker and Morris: including a comprehensive discussion of the major features of the system , 1964, CACM.

[136]  R. M. McClure.  Programming languages for non-numeric processing—1: TMG—a syntax directed compiler , 1965, ACM '65.

[137]  David E. Ferguson.  Evolution of the meta-assembly program , 1966, CACM.

[138]  Harold S. Stone,et al.  One-Pass compilation of arithmetic expressions for a parallel processor , 1967, CACM.

[139]  Lawrence G. Roberts.  A graphical service system with variable syntax , 1966, CACM.

[140]  R. Narasimhan,et al.  Syntax-directed interpretation of classes of pictures , 1966, CACM.

[141]  Jerome A. Feldman.  A formal semantics for computer languages and its application in a compiler-compiler , 1966, CACM.

[142]  Jacques Cohen,et al.  A use of fast and slow memories in list-processing languages , 1967, CACM.

[143]  Joseph S. Ullian,et al.  Ambiguity in context free languages , 1966, JACM.

[144]  Heinz Rutishauser.  Panel on Techniques for Processor Construction , 1962, IFIP Congress.

[145]  Ellen R. Clark,et al.  The CLIP translator , 1961, CACM.

[146]  Vincent Tixier.  Recursive functions of regular expressions in language analysis , 1967 .

[147]  Noam Chomsky,et al.  Aspects of the Theory of Syntax , 1970 .

[148]  Warren Taylor,et al.  A syntactical chart of ALGOL 60 , 1961, CACM.

[149]  G. H. Mealy.  A GENERALIZED ASSEMBLY SYSTEM , 1963 .

[150]  Friedrich L. Bauer,et al.  Revised report on the algorithm language ALGOL 60 , 1963, CACM.

[151]  Jean E. Sammet.  A definition of the cobol procedure division using algol metalinguistics , 1961 .

[152]  Maurice V. Wilkes.  Constraint-type statements in programming languages , 1964, CACM.

[153]  Burt M. Leavenworth,et al.  Syntax macros and extended translation , 1966, CACM.

[154]  Robert W. Floyd,et al.  Syntactic Analysis and Operator Precedence , 1963, JACM.

[155]  D. E. Knuth.  Invited papers: History of writing compilers , 1962, ACM '62.

[156]  E. T. Irons,et al.  The structure and use of the syntax directed compiler , 1963 .

[157]  Jr. T. B. Steel,et al.  A first version of UNCOL , 1899, IRE-AIEE-ACM '61 (Western).

[158]  Jack B. Dennis,et al.  Segmentation and the Design of Multiprogrammed Computer Systems , 1965, JACM.

[159]  Jeffrey S. Rohl,et al.  Trees and Routines , 1962, Comput. J..

[160]  D. V. Schorre.  META II a syntax-oriented compiler writing language , 1964 .

[161]  Mark Halpern,et al.  Foundations of the case for natural-language programming , 1966, IEEE Spectrum.

[162]  David Gries,et al.  Some techniques used in the ALCOR ILLINOIS 7090 , 1965, CACM.

[163]  Robert M. Graham.  Bounded context translation , 1964, AFIPS '64 (Spring).