The Resource Foundations of programming languages, Kent D. Lee
Foundations of programming languages, Kent D. Lee
Resource Information
The item Foundations of programming languages, Kent D. Lee represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri-St. Louis Libraries.This item is available to borrow from 1 library branch.
Resource Information
The item Foundations of programming languages, Kent D. Lee represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri-St. Louis Libraries.
This item is available to borrow from 1 library branch.
- 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
- Language
- eng
- Extent
- 1 online resource (xiii, 354 pages).
- Contents
-
- Introduction
- Syntax
- Assembly Language
- C++
- Standard ML
- Compiling Standard ML
- Prolog
- Type Inference
- The CoCo Virtual Machine Specification
- The Standard ML Basis Library
- Isbn
- 9783319133140
- Label
- Foundations of programming languages
- Title
- Foundations of programming languages
- Statement of responsibility
- Kent D. Lee
- Language
- eng
- 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
- Cataloging source
- GW5XE
- http://library.link/vocab/creatorName
- Lee, Kent D.
- Dewey number
- 005.13
- Illustrations
- illustrations
- Index
- no index present
- Language note
- English
- LC call number
- QA76.7
- Literary form
- non fiction
- Nature of contents
-
- dictionaries
- bibliography
- Series statement
- Undergraduate topics in computer science,
- http://library.link/vocab/subjectName
-
- Programming languages (Electronic computers)
- Programming languages (Electronic computers)
- Label
- Foundations of programming languages, Kent D. Lee
- Antecedent source
- unknown
- Bibliography note
- Includes bibliographical references
- Carrier category
- online resource
- Carrier category code
-
- cr
- Carrier MARC source
- rdacarrier
- Color
- multicolored
- Content category
- text
- Content type code
-
- txt
- Content type MARC source
- rdacontent
- Contents
- Introduction -- Syntax -- Assembly Language -- C++ -- Standard ML -- Compiling Standard ML -- Prolog -- Type Inference -- The CoCo Virtual Machine Specification -- The Standard ML Basis Library
- Control code
- 902850005
- Dimensions
- unknown
- Extent
- 1 online resource (xiii, 354 pages).
- File format
- unknown
- Form of item
- online
- Isbn
- 9783319133140
- Level of compression
- unknown
- Media category
- computer
- Media MARC source
- rdamedia
- Media type code
-
- c
- Other control number
- 10.1007/978-3-319-13314-0
- Quality assurance targets
- not applicable
- Reformatting quality
- unknown
- Sound
- unknown sound
- Specific material designation
- remote
- System control number
- (OCoLC)902850005
- Label
- Foundations of programming languages, Kent D. Lee
- Antecedent source
- unknown
- Bibliography note
- Includes bibliographical references
- Carrier category
- online resource
- Carrier category code
-
- cr
- Carrier MARC source
- rdacarrier
- Color
- multicolored
- Content category
- text
- Content type code
-
- txt
- Content type MARC source
- rdacontent
- Contents
- Introduction -- Syntax -- Assembly Language -- C++ -- Standard ML -- Compiling Standard ML -- Prolog -- Type Inference -- The CoCo Virtual Machine Specification -- The Standard ML Basis Library
- Control code
- 902850005
- Dimensions
- unknown
- Extent
- 1 online resource (xiii, 354 pages).
- File format
- unknown
- Form of item
- online
- Isbn
- 9783319133140
- Level of compression
- unknown
- Media category
- computer
- Media MARC source
- rdamedia
- Media type code
-
- c
- Other control number
- 10.1007/978-3-319-13314-0
- Quality assurance targets
- not applicable
- Reformatting quality
- unknown
- Sound
- unknown sound
- Specific material designation
- remote
- System control number
- (OCoLC)902850005
Library Links
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.umsl.edu/portal/Foundations-of-programming-languages-Kent-D./R0e1zxsaunU/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.umsl.edu/portal/Foundations-of-programming-languages-Kent-D./R0e1zxsaunU/">Foundations of programming languages, Kent D. Lee</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.umsl.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.umsl.edu/">University of Missouri-St. Louis Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data - Experimental
Data Citation of the Item Foundations of programming languages, Kent D. Lee
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.umsl.edu/portal/Foundations-of-programming-languages-Kent-D./R0e1zxsaunU/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.umsl.edu/portal/Foundations-of-programming-languages-Kent-D./R0e1zxsaunU/">Foundations of programming languages, Kent D. Lee</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.umsl.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.umsl.edu/">University of Missouri-St. Louis Libraries</a></span></span></span></span></div>