000722896 000__ 03494cam\a2200445Ii\4500
000722896 001__ 722896
000722896 005__ 20230306140431.0
000722896 006__ m\\\\\o\\d\\\\\\\\
000722896 007__ cr\cn\nnnunnun
000722896 008__ 150206s2014\\\\sz\a\\\\ob\\\\000\0\eng\d
000722896 020__ $$a9783319133140$$qelectronic book
000722896 020__ $$a3319133144$$qelectronic book
000722896 020__ $$z9783319133133
000722896 0247_ $$a10.1007/978-3-319-13314-0$$2doi
000722896 035__ $$aSP(OCoLC)ocn902850005
000722896 035__ $$aSP(OCoLC)902850005
000722896 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dYDXCP$$dVT2$$dCOO
000722896 049__ $$aISEA
000722896 050_4 $$aQA76.7
000722896 08204 $$a005.13$$223
000722896 1001_ $$aLee, Kent D.$$q(Kent Derek),$$eauthor.
000722896 24510 $$aFoundations of programming languages$$h[electronic resource] /$$cKent D. Lee.
000722896 264_1 $$aCham :$$bSpringer,$$c2014.
000722896 300__ $$a1 online resource (xiii, 354 pages).
000722896 336__ $$atext$$btxt$$2rdacontent
000722896 337__ $$acomputer$$bc$$2rdamedia
000722896 338__ $$aonline resource$$bcr$$2rdacarrier
000722896 4901_ $$aUndergraduate topics in computer science,$$x1863-7310
000722896 504__ $$aIncludes bibliographical references.
000722896 5050_ $$aIntroduction -- Syntax -- Assembly Language -- C++ -- Standard ML -- Compiling Standard ML -- Prolog -- Type Inference -- The CoCo Virtual Machine Specification -- The Standard ML Basis Library.
000722896 506__ $$aAccess limited to authorized users.
000722896 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 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.
000722896 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed February 6, 2015).
000722896 650_0 $$aProgramming languages (Electronic computers)
000722896 77608 $$iPrint version:$$z9783319133133
000722896 830_0 $$aUndergraduate topics in computer science,$$x1863-7310
000722896 852__ $$bebk
000722896 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-13314-0$$zOnline Access$$91397441.1
000722896 909CO $$ooai:library.usi.edu:722896$$pGLOBAL_SET
000722896 980__ $$aEBOOK
000722896 980__ $$aBIB
000722896 982__ $$aEbook
000722896 983__ $$aOnline
000722896 994__ $$a92$$bISE