000 04444nam a22005415i 4500
001 978-3-319-70790-7
003 DE-He213
005 20200712171038.0
007 cr nn 008mamaa
008 171210s2017 gw | s |||| 0|eng d
020 _a9783319707907
_9978-3-319-70790-7
024 7 _a10.1007/978-3-319-70790-7
_2doi
050 4 _aQA76.7-76.73
050 4 _aQA76.76.C65
072 7 _aUMX
_2bicssc
072 7 _aCOM051010
_2bisacsh
072 7 _aUMX
_2thema
072 7 _aUMC
_2thema
082 0 4 _a005.13
_223
100 1 _aLee, Kent D.
_eauthor.
_4aut
_4http://id.loc.gov/vocabulary/relators/aut
245 1 0 _aFoundations of Programming Languages
_h[electronic resource] /
_cby Kent D. Lee.
250 _a2nd ed. 2017.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2017.
300 _aXIV, 370 p. 189 illus., 39 illus. in color.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aUndergraduate Topics in Computer Science,
_x1863-7310
505 0 _aIntroduction -- 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 _aThis 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 _aProgramming languages (Electronic computers).
650 0 _aMicroprogramming .
650 0 _aApplied mathematics.
650 0 _aEngineering mathematics.
650 1 4 _aProgramming Languages, Compilers, Interpreters.
_0http://scigraph.springernature.com/things/product-market-codes/I14037
650 2 4 _aControl Structures and Microprogramming.
_0http://scigraph.springernature.com/things/product-market-codes/I12018
650 2 4 _aMathematical and Computational Engineering.
_0http://scigraph.springernature.com/things/product-market-codes/T11006
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783319707891
776 0 8 _iPrinted edition:
_z9783319707914
830 0 _aUndergraduate Topics in Computer Science,
_x1863-7310
856 4 0 _uhttps://doi.org/10.1007/978-3-319-70790-7
912 _aZDB-2-SCS
999 _c17971
_d17971
942 _cebook