The Study of Programming Languages
For 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.
24 pages matching Theorem in this book
Results 1-3 of 24
What people are saying - Write a review
We haven't found any reviews in the usual places.
History of programming languages
Syntax and grammars
Location reference and expressions
7 other sections not shown
abstract actual argument ALGOL 68 algorithm array assignment statement attribute grammar attribute occurrences begin beta beta reduction binding block boolean calculus called clauses combinator commands compiler Consider the following construct context-free grammar 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 meaning mini-ML Modula-3 module notation objects occurs check operator parse tree Pascal PL/I pointer polymorphism possible Post system predicate problem procedure programming language PROLOG proof rational numbers recursive regular expressions rule run-time search space SECD machine semantic functions stack static storage string subprocedure substitution subtype syntactic categories syntax Theorem true value domains variables variant record