000722623 000__ 03156cam\a2200469Ki\4500
000722623 001__ 722623
000722623 005__ 20230306140232.0
000722623 006__ m\\\\\o\\d\\\\\\\\
000722623 007__ cr\n|unnnunnun
000722623 008__ 140429t20142014enk\\\\\ob\\\\001\0\eng\d
000722623 020__ $$a9781447163688electronic book
000722623 020__ $$a1447163680electronic book
000722623 020__ $$z9781447163671
000722623 020__ $$z1447163672
000722623 0247_ $$a10.1007/978-1-4471-6368-8$$2doi
000722623 035__ $$aSP(OCoLC)ocn878560395
000722623 035__ $$aSP(OCoLC)878560395
000722623 040__ $$aGZM$$beng$$erda$$epn$$cGZM$$dGW5XE$$dUWO$$dOCLCF$$dVT2$$dCOO$$dYDXCP
000722623 049__ $$aISEA
000722623 050_4 $$aQA76.7
000722623 08204 $$a005.13$$223
000722623 1001_ $$aFernández, Maribel,$$eauthor.
000722623 24510 $$aProgramming languages and operational semantics$$h[electronic resource] :$$ba concise overview /$$cMaribel Fernández.
000722623 264_1 $$aBerlin :$$bSpringer,$$c[2014].
000722623 264_4 $$c©2014
000722623 300__ $$a1 online resource (ix, 209 pages).
000722623 336__ $$atext$$btxt$$2rdacontent
000722623 337__ $$acomputer$$bc$$2rdamedia
000722623 338__ $$aonline resource$$bcr$$2rdacarrier
000722623 4901_ $$aUndergraduate topics in computer science
000722623 504__ $$aIncludes bibliographical references and index.
000722623 5050_ $$aIntroduction -- Mathematical Background -- General Features of Imperative Languages -- Operational Semantics of Imperative Languages -- General Features of Functional Languages -- Operational Semantics of Functional Languages -- General Features of Logic Programming Languages -- Operational Semantics of Prolog -- Answers to Selected Exercises.
000722623 506__ $$aAccess limited to authorized users.
000722623 520__ $$aProviding a concise introduction to the essential concepts in programming languages, using techniques from operational semantics, this book highlights three major programming paradigms: - Imperative languages: the main features of these languages are illustrated with examples in Java, Python, C; - Functional languages: modern languages such as ML and Haskell are used to describe the functional style of programming; - Logic languages: the last part of the book gives an overview of logic programming using Prolog. Following a general description of each family of languages, their semantics are studied using abstract machines and structural operational semantics. Programming Languages and Operational Semantics gives an in-depth analysis of the basic concepts in programming languages instead of a mere survey of languages, assisting the understanding of the fundamental notions in programming languages over simply describing their properties. It is addressed to undergraduate students, as a complement to programming courses.
000722623 588__ $$aDescription based on print version record.
000722623 650_0 $$aProgramming languages (Electronic computers)$$xSemantics.
000722623 77608 $$iPrint version:$$aFernández, Maribel.$$tProgramming languages and operational semantics.$$dBerlin : Springer, 2014$$z9781447163671$$w(OCoLC)872711098
000722623 830_0 $$aUndergraduate topics in computer science.
000722623 852__ $$bebk
000722623 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-1-4471-6368-8$$zOnline Access$$91397441.1
000722623 909CO $$ooai:library.usi.edu:722623$$pGLOBAL_SET
000722623 980__ $$aEBOOK
000722623 980__ $$aBIB
000722623 982__ $$aEbook
000722623 983__ $$aOnline
000722623 994__ $$a92$$bISE