Foundations of Programming Languages

• Main Author: Lee, Kent D. (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2014.
• Series: Undergraduate Topics in Computer Science,
• Subjects: Computer science.; Programming languages (Electronic computers).; Computer Science.; Programming Languages, Compilers, Interpreters.

This clearly written and simple to follow textbook introduces the reader to the three styles of programming, examining object-oriented/imperative, functional, and logic programming. The focus of the text moves from highly prescriptive languages to very descriptive languages, demonstrating the many a...

Table of Contents:

• Introduction
• Syntax
• Assembly Language
• C++
• Standard ML
• Compiling Standard ML
• Prolog
• Type Inference
• The CoCo Virtual Machine Specification
• The Standard ML Basis Library.