Coverart for item
The Resource Foundations of programming languages, Kent D. Lee

Foundations of programming languages, Kent D. Lee

Label
Foundations of programming languages
Title
Foundations of programming languages
Statement of responsibility
Kent D. Lee
Creator
Author
Subject
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
Member of
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
Instantiates
Publication
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
9783319133133
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
Publication
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
9783319133133
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 Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
Processing Feedback ...