Skip to main content
  • Textbook
  • © 2014

Foundations of Programming Languages

Authors:

  • Focuses on the three paradigms of programming: imperative, functional, and logic programming
  • Demonstrates not only how programming language concepts are used in language, but also how these concepts are implemented
  • Covers assembly language programming, C++, Standard ML, and Prolog
  • Includes supplementary material: sn.pub/extras

Part of the book series: Undergraduate Topics in Computer Science (UTICS)

Buy it now

Buying options

eBook USD 44.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (10 chapters)

  1. Front Matter

    Pages i-xiii
  2. Introduction

    • Kent D. Lee
    Pages 1-26
  3. Syntax

    • Kent D. Lee
    Pages 27-52
  4. Assembly Language

    • Kent D. Lee
    Pages 53-92
  5. C++

    • Kent D. Lee
    Pages 93-171
  6. Standard ML

    • Kent D. Lee
    Pages 173-226
  7. Compiling Standard ML

    • Kent D. Lee
    Pages 227-266
  8. Prolog

    • Kent D. Lee
    Pages 267-293
  9. Type Inference

    • Kent D. Lee
    Pages 295-323
  10. Appendix B: The Standard ML Basis Library

    • Kent D. Lee
    Pages 335-352
  11. Back Matter

    Pages 353-354

About this book

This clearly written 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 and varied ways in which we can think about programming. Designed for interactive learning both inside and outside of the classroom, each programming paradigm is highlighted through the implementation of a non-trivial programming language, demonstrating when each language may be appropriate for a given problem. Features: includes review questions and solved practice exercises, with supplementary code and support files available from an associated website; provides the foundations for understanding how the syntax of a language is formally defined by a grammar; examines assembly language programming using CoCo; introduces C++, Standard ML, and Prolog; describes the development of a type inference system for thelanguage Small.

Reviews

“Undergraduates studying programming languages will find this book to be a skillful and informative introduction to the subject.” (Marlin Thomas, Computing Reviews, July, 2015)

Authors and Affiliations

  • Luther College, Decorah, USA

    Kent D. Lee

About the author

Dr. Kent D. Lee is Professor of Computer Science at Luther College, Decorah, Iowa, USA. He is the author of the successful Springer textbook Python Programming Fundamentals and the forthcoming Data Structures and Algorithms with Python.

Bibliographic Information

Buy it now

Buying options

eBook USD 44.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Other ways to access