A formal system for the specification of the syntax and translation of computer languages

Authors:
John J. Donovan;Henry F. Ledgard
Affiliations:
Massachusetts Institute of Technology, Cambridge, Massachusetts;Massachusetts Institute of Technology, Cambridge, Massachusetts
Venue:
AFIPS '67 (Fall) Proceedings of the November 14-16, 1967, fall joint computer conference
Year:
1967

Citing 14
Cited 3

A General Translation Program for Phrase Structure Languages

Journal of the ACM (JACM)
SNOBOL , A String Manipulation Language

Journal of the ACM (JACM)
On the Syntax of Algorithmic Languages

Journal of the ACM (JACM)
Metalanguage and syntax specification

Communications of the ACM
A method of syntax specification

Communications of the ACM
backus normal form vs. Backus Naur form

Communications of the ACM
A formal semantics for computer languages and its application in a compiler-compiler

Communications of the ACM
ELIZA—a computer program for the study of natural language communication between man and machine

Communications of the ACM
EULER: a generalization of ALGOL, and its formal definition: Part II

Communications of the ACM
TRAC, a procedure-describing language for the reactive typewriter

Communications of the ACM
A syntax directed compiler for ALGOL 60

Communications of the ACM
Some remarks on the syntax of symbolic programming languages

Communications of the ACM
Syntax-directed compiling

AFIPS '64 (Spring) Proceedings of the April 21-23, 1964, spring joint computer conference
The design and implementation of a table driven compiler system

AFIPS '67 (Spring) Proceedings of the April 18-20, 1967, spring joint computer conference

An application of a generalized management information system to energy policy and decision making: the user's view

AFIPS '75 Proceedings of the May 19-22, 1975, national computer conference and exposition
Automatic generation of test cases

IBM Systems Journal
Methods for specifying static semantics

Computer Languages

Quantified Score

Hi-index	0.01

Visualization

Abstract

This paper presents two basic results: the use of established methods of recursive definition to present a single method to 1. specify the syntax of computer languages (including context sensitive requirements, such as the restrictions implied by declaration statements), 2. specify the translation of programs in one computer language into programs in another language.