Foundations of Programming Languages (Record no. 57469)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 03484nam a22004815i 4500 |
| 001 - CONTROL NUMBER | |
| control field | 978-3-319-13314-0 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20200421112222.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 150119s2014 gw | s |||| 0|eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| ISBN | 9783319133140 |
| -- | 978-3-319-13314-0 |
| 082 04 - CLASSIFICATION NUMBER | |
| Call Number | 005.13 |
| 100 1# - AUTHOR NAME | |
| Author | Lee, Kent D. |
| 245 10 - TITLE STATEMENT | |
| Title | Foundations of Programming Languages |
| 300 ## - PHYSICAL DESCRIPTION | |
| Number of Pages | XIII, 354 p. |
| 490 1# - SERIES STATEMENT | |
| Series statement | Undergraduate Topics in Computer Science, |
| 505 0# - FORMATTED CONTENTS NOTE | |
| Remark 2 | Introduction -- Syntax -- Assembly Language -- C++ -- Standard ML -- Compiling Standard ML -- Prolog -- Type Inference -- The CoCo Virtual Machine Specification -- The Standard ML Basis Library. |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc | 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 stude nts 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. |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | http://dx.doi.org/10.1007/978-3-319-13314-0 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | eBooks |
| 264 #1 - | |
| -- | Cham : |
| -- | Springer International Publishing : |
| -- | Imprint: Springer, |
| -- | 2014. |
| 336 ## - | |
| -- | text |
| -- | txt |
| -- | rdacontent |
| 337 ## - | |
| -- | computer |
| -- | c |
| -- | rdamedia |
| 338 ## - | |
| -- | online resource |
| -- | cr |
| -- | rdacarrier |
| 347 ## - | |
| -- | text file |
| -- | |
| -- | rda |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Computer science. |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Programming languages (Electronic computers). |
| 650 14 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Computer Science. |
| 650 24 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Programming Languages, Compilers, Interpreters. |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
| -- | 1863-7310 |
| 912 ## - | |
| -- | ZDB-2-SCS |
No items available.