Study of Programming Languages, The

Study of Programming Languages, The, 1/e

Ryan Stansifer, University of North Texas

Published July, 1994 by Prentice Hall Engineering/Science/Mathematics

See other books about:
Theory of Programming Languages-Computer Science

Summary

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.

Features

includes an historical overview of language, showing where programming languages fit into the picture.
presents the “science” of programming languages — e.g., definitions, theorems, and proofs.
covers several interesting and important topics often overlooked in other texts on the subject — e.g., attribute grammars, type reconstruction, term rewriting, formal semantics, Hoare logic, lambda calculus, combinators, and Post systems.
features many programming examples from Ada, Modula-3, and ML.
offers exercises and opportunities for using languages.

1. History of Programming Languages.
2. Syntax and Grammars.
3. Location, Reference, and Expressions.
4. Data Types.
5. Blocks, Procedures, and Modules.
6. PROLOG.
7. Lambda Calculus.
8. Denotational Semantics.
9. Axiomatic Approach of Hoare.
Index.