Foundations of programming languages [electronic resource] / Kent D. Lee.
2014
QA76.7
Linked e-resources
Linked Resource
Online Access
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks
Details
Title
Foundations of programming languages [electronic resource] / Kent D. Lee.
ISBN
9783319133140 electronic book
3319133144 electronic book
9783319133133
3319133144 electronic book
9783319133133
Published
Cham : Springer, 2014.
Language
English
Description
1 online resource (xiii, 354 pages).
Item Number
10.1007/978-3-319-13314-0 doi
Call Number
QA76.7
Dewey Decimal Classification
005.13
Summary
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 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. Topics and features: Includes review questions and solved practice exercises, with supplementary code and support files available from an associated website Discusses the historical background to the models of computation used in implementing the programming languages we use today Provides the foundations for understanding how the syntax of a language is formally defined by a grammar Examines assembly language programming through a series of examples, using a Python Virtual Machine implementation called CoCo Introduces object-oriented languages through examples in C++, functional programming with Standard ML, and programming using the logic language Prolog Describes the development and implementation of a type inference system for the full-featured functional language Small Suitable for students of computer science at the undergraduate level, this engaging textbook takes an active learning approach to the next stage in understanding programming languages, once the reader has established some familiarity with an imperative language and the basics of data structures.
Bibliography, etc. Note
Includes bibliographical references.
Access Note
Access limited to authorized users.
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed February 6, 2015).
Series
Undergraduate topics in computer science, 1863-7310
Available in Other Form
Print version: 9783319133133
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
All Resources
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.
Syntax
Assembly Language
C++
Standard ML
Compiling Standard ML
Prolog
Type Inference
The CoCo Virtual Machine Specification
The Standard ML Basis Library.