Overview
- 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 print copy
Table of contents (10 chapters)
Keywords
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
About the author
Bibliographic Information
Book Title: Foundations of Programming Languages
Authors: Kent D. Lee
Series Title: Undergraduate Topics in Computer Science
DOI: https://doi.org/10.1007/978-3-319-13314-0
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing Switzerland 2014
eBook ISBN: 978-3-319-13314-0Published: 19 January 2015
Series ISSN: 1863-7310
Series E-ISSN: 2197-1781
Edition Number: 1
Number of Pages: XIII, 354