國立虎尾科技大學 |

Foundations of programming languages

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Foundations of programming languages/ by Kent D. Lee.
Author:	Lee, Kent D.
Published:	Cham :Springer International Publishing : : 2017.,
Description:	xiv, 370 p. :ill. (some col.), digital ; : 24 cm.;
Contained By:	Springer eBooks
Subject:	Programming languages (Electronic computers) -
Online resource:	http://dx.doi.org/10.1007/978-3-319-70790-7
ISBN:	9783319707907

Foundations of programming languages
Lee, Kent D.

Foundations of programming languages[electronic resource] /by Kent D. Lee. - 2nd ed. - Cham :Springer International Publishing :2017. - xiv, 370 p. :ill. (some col.), digital ;24 cm. - Undergraduate topics in computer science,1863-7310. - Undergraduate topics in computer science..

Introduction -- Syntax -- Assembly Language -- Object-Oriented Programming -- Functional Programming -- Compiling Standard ML -- Logic Programming -- Standard ML Type Inference -- Appendix A: The JCoCo Virtual Machine Specification -- Appendix B: The Standard ML Basis Library.

This clearly written textbook provides an accessible introduction to the three programming paradigms of object-oriented/imperative, functional, and logic programming. Highly interactive in style, the text encourages learning through practice, offering test exercises for each topic covered. Review questions and programming projects are also presented, to help reinforce the concepts outside of the classroom. This updated and revised new edition features new material on the Java implementation of the JCoCo virtual machine. Topics and features: Includes review questions and solved practice exercises, with supplementary code and support files available from an associated website Presents an historical perspective on the models of computation used in implementing the programming languages used today Provides the foundations for understanding how the syntax of a language is formally defined by a grammar Illustrates how programs execute at the level of assembly language, through the implementation of a stack-based Python virtual machine called JCoCo and a Python disassembler Introduces object-oriented languages through examples in Java, functional programming with Standard ML, and programming using the logic language Prolog Describes a case study involving the development of a compiler for the high level functional language Small, a robust subset of Standard ML Undergraduate students of computer science will find this engaging textbook to be an invaluable guide to the skills and tools needed to become a better programmer. While the text assumes some background in an imperative language, and prior coverage of the basics of data structures, the hands-on approach and easy to follow writing style will enable the reader to quickly grasp the essentials of programming languages, frameworks, and architectures. Dr. Kent D. Lee is Professor of Computer Science at Luther College, Decorah, Iowa, USA. He is the author of the successful Springer textbooks Python Programming Fundamentals and Data Structures and Algorithms with Python.

ISBN: 9783319707907

Standard No.: 10.1007/978-3-319-70790-7doiSubjects--Topical Terms:

596941
Programming languages (Electronic computers)

LC Class. No.: QA76.7

Dewey Class. No.: 005.13

Foundations of programming languages
LDR:03397nam a2200361 a 4500 001 922364
003 DE-He213
005 20171210202656.0
006 m d
007 cr nn 008maaau
008 190624s2017 gw s 0 eng d
020 $a 9783319707907 $q (electronic bk.)
020 $a 9783319707891 $q (paper)
024 7 $a 10.1007/978-3-319-70790-7 $2 doi
035 $a 978-3-319-70790-7
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.7
072 7 $a UMX $2 bicssc
072 7 $a UMC $2 bicssc
072 7 $a COM051010 $2 bisacsh
072 7 $a COM010000 $2 bisacsh
082 0 4 $a 005.13 $2 23
090 $a QA76.7 $b .L478 2017
100 1 $a Lee, Kent D. $3 782256
245 1 0 $a Foundations of programming languages $h [electronic resource] / $c by Kent D. Lee.
250 $a 2nd ed.
260 $a Cham : $c 2017. $b Springer International Publishing : $b Imprint: Springer,
300 $a xiv, 370 p. : $b ill. (some col.), digital ; $c 24 cm.
490 1 $a Undergraduate topics in computer science, $x 1863-7310
505 0 $a Introduction -- Syntax -- Assembly Language -- Object-Oriented Programming -- Functional Programming -- Compiling Standard ML -- Logic Programming -- Standard ML Type Inference -- Appendix A: The JCoCo Virtual Machine Specification -- Appendix B: The Standard ML Basis Library.
520 $a This clearly written textbook provides an accessible introduction to the three programming paradigms of object-oriented/imperative, functional, and logic programming. Highly interactive in style, the text encourages learning through practice, offering test exercises for each topic covered. Review questions and programming projects are also presented, to help reinforce the concepts outside of the classroom. This updated and revised new edition features new material on the Java implementation of the JCoCo virtual machine. Topics and features: Includes review questions and solved practice exercises, with supplementary code and support files available from an associated website Presents an historical perspective on the models of computation used in implementing the programming languages used today Provides the foundations for understanding how the syntax of a language is formally defined by a grammar Illustrates how programs execute at the level of assembly language, through the implementation of a stack-based Python virtual machine called JCoCo and a Python disassembler Introduces object-oriented languages through examples in Java, functional programming with Standard ML, and programming using the logic language Prolog Describes a case study involving the development of a compiler for the high level functional language Small, a robust subset of Standard ML Undergraduate students of computer science will find this engaging textbook to be an invaluable guide to the skills and tools needed to become a better programmer. While the text assumes some background in an imperative language, and prior coverage of the basics of data structures, the hands-on approach and easy to follow writing style will enable the reader to quickly grasp the essentials of programming languages, frameworks, and architectures. Dr. Kent D. Lee is Professor of Computer Science at Luther College, Decorah, Iowa, USA. He is the author of the successful Springer textbooks Python Programming Fundamentals and Data Structures and Algorithms with Python.
650 0 $a Programming languages (Electronic computers) $3 596941
650 1 4 $a Computer Science. $3 593922
650 2 4 $a Programming Languages, Compilers, Interpreters. $3 669782
650 2 4 $a Control Structures and Microprogramming. $3 669788
650 2 4 $a Mathematical and Computational Engineering. $3 1139415
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer eBooks
830 0 $a Undergraduate topics in computer science. $3 791852
856 4 0 $u http://dx.doi.org/10.1007/978-3-319-70790-7
950 $a Computer Science (Springer-11645)