The Study of Programming LanguagesFor one-semester, senior/graduate-level courses in Programming Languages. Rigorous, thorough, and foundational, this text reveals the character of programming languages as a field of study and explores some of the interesting, important, and conceptually more challenging topics that are often ignored by other texts on the subject. |
Contents
History of programming languages 1137 | 1 |
Syntax and grammars | 39 |
Location reference and expressions | 77 |
Copyright | |
7 other sections not shown
Common terms and phrases
abstract actual argument ALGOL 68 algorithm array assignment statement attribute grammar attribute occurrences begin beta beta reduction binding block bool boolean calculus called clause combinator commands compiler Consider the following construct data structures data types declaration defined denote derived discr environment equivalence evaluation example execution Figure fixedpoint formal parameter formulas FORTRAN function symbols Hoare triple identifier implementation INTEGER keyword l-value lambda expression language design LISP logic loop mathematical mini-ML Modula-3 module notation objects occurs check operator parse tree Pascal PL/I pointer polymorphism possible Post system predicate procedure programming language PROLOG proof rational numbers recursive regular expressions rule run-time search space SECD machine semantic functions Smalltalk stack static string subprocedure subtype syntactic categories syntax Theorem true value domains variables variant record