000 03484nam a22004815i 4500
001 978-3-319-13314-0
003 DE-He213
005 20200421112222.0
007 cr nn 008mamaa
008 150119s2014 gw | s |||| 0|eng d
020 _a9783319133140
_9978-3-319-13314-0
024 7 _a10.1007/978-3-319-13314-0
_2doi
050 4 _aQA76.7-76.73
050 4 _aQA76.76.C65
072 7 _aUMX
_2bicssc
072 7 _aUMC
_2bicssc
072 7 _aCOM051010
_2bisacsh
072 7 _aCOM010000
_2bisacsh
082 0 4 _a005.13
_223
100 1 _aLee, Kent D.
_eauthor.
245 1 0 _aFoundations of Programming Languages
_h[electronic resource] /
_cby Kent D. Lee.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2014.
300 _aXIII, 354 p.
_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 -- C++ -- Standard ML -- Compiling Standard ML -- Prolog -- Type Inference -- The CoCo Virtual Machine Specification -- The Standard ML Basis Library.
520 _aThis 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.
650 0 _aComputer science.
650 0 _aProgramming languages (Electronic computers).
650 1 4 _aComputer Science.
650 2 4 _aProgramming Languages, Compilers, Interpreters.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783319133133
830 0 _aUndergraduate Topics in Computer Science,
_x1863-7310
856 4 0 _uhttp://dx.doi.org/10.1007/978-3-319-13314-0
912 _aZDB-2-SCS
942 _cEBK
999 _c57469
_d57469