A New Method of Checking the Consistency of Precedence Matrices
Journal of the ACM (JACM)
An Algorithm for Translating Boolean Expressions
Journal of the ACM (JACM)
Two Families of Languages Related to ALGOL
Journal of the ACM (JACM)
Some Recursively Unsolvable Problems in ALGOL-Like Languages
Journal of the ACM (JACM)
Operations Which Preserve Definability in Languages
Journal of the ACM (JACM)
Syntactic Analysis and Operator Precedence
Journal of the ACM (JACM)
Quotients of Context-Free Languages
Journal of the ACM (JACM)
Experiments with a Heuristic Compiler
Journal of the ACM (JACM)
SNOBOL , A String Manipulation Language
Journal of the ACM (JACM)
Single-Scan Techniques for the Translation of Arithmetic Expressions in ALGOL 60
Journal of the ACM (JACM)
A Programming Language for Simulating Digital Systems
Journal of the ACM (JACM)
A New Normal-Form Theorem for Context-Free Phrase Structure Grammars
Journal of the ACM (JACM)
ALPHA—An Automatic Programming System of High Efficiency
Journal of the ACM (JACM)
On the Syntax of Algorithmic Languages
Journal of the ACM (JACM)
NPL: highlights of a new programming language
Communications of the ACM
A class of unambiguous computer languages
Communications of the ACM
Bounded context syntactic analysis
Communications of the ACM
FORTRAN IV as a syntax language
Communications of the ACM
Formalism in programming languages
Communications of the ACM
A note on some compiling algorithms
Communications of the ACM
On declaring arbitrarily coded alphabets
Communications of the ACM
Communications of the ACM
On the relative efficiencies of context-free grammar
Communications of the ACM
Constraint-type statements in programming languages
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
EULER: a generalization of ALGOL and it formal definition: Part 1
Communications of the ACM
ELIZA—a computer program for the study of natural language communication between man and machine
Communications of the ACM
TRAC, a procedure-describing language for the reactive typewriter
Communications of the ACM
High speed compilation of efficient object code
Communications of the ACM
On reversible subroutines and computers that run backwards
Communications of the ACM
Survey of formula manipulation
Communications of the ACM
Communications of the ACM
Communications of the ACM
Communications of the ACM
A syntactic description of BC NELIAC
Communications of the ACM
Design of a separable transition-diagram compiler
Communications of the ACM
A syntax controlled generator of formal language processors
Communications of the ACM
Communications of the ACM
Report on the algorithmic language FORTRAN II
Communications of the ACM
An error-correcting parse algorithm
Communications of the ACM
On the nonexistence of a phrase structure grammar for ALGOL 60
Communications of the ACM
Communications of the ACM
Invited papers—3: A new programming language: PL/1
ACM '65 Proceedings of the 1965 20th national conference
A computer program for discovering and proving recognition rules for Backus Normal Form grammars
ACM '64 Proceedings of the 1964 19th ACM national conference
META II a syntax-oriented compiler writing language
ACM '64 Proceedings of the 1964 19th ACM national conference
Report on Input-Output Procedures for ALGOL 60
Communications of the ACM
Survey of programming languages and processors
Communications of the ACM
A programming language
A survey of the literature in computer science education since curriculum '68
Communications of the ACM
Computer Science Programs at Universities Awarding the Ph.D. Degree
SIGCPR '74 Proceedings of the twelfth annual SIGCPR conference
Hi-index | 48.24 |
In this general paper the role of programming in advanced graduate training is discussed. Subject matter related to programming as well as programming per se is considered. The importance and application of formalism are considered and also the need for good empirical experimentation. A brief outline for a sequence of courses is included, and subject headings that have been obtained from an extensive bibliography are given. A bibliography of programming references is included.