000 03180nam a22005175i 4500
001 978-1-4471-6368-8
003 DE-He213
005 20170628033711.0
007 cr nn 008mamaa
008 140306s2014 xxk| s |||| 0|eng d
020 _a9781447163688
_9978-1-4471-6368-8
024 7 _a10.1007/978-1-4471-6368-8
_2doi
050 4 _aQA76.758
072 7 _aUMZ
_2bicssc
072 7 _aUL
_2bicssc
072 7 _aCOM051230
_2bisacsh
082 0 4 _a005.1
_223
100 1 _aFernández, Maribel.
_eauthor.
245 1 0 _aProgramming Languages and Operational Semantics
_h[electronic resource] :
_bA Concise Overview /
_cby Maribel Fernández.
264 1 _aLondon :
_bSpringer London :
_bImprint: Springer,
_c2014.
300 _aIX, 209 p. 10 illus.
_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 -- 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.
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.
650 0 _aComputer science.
650 0 _aSoftware engineering.
650 0 _aInformation theory.
650 0 _aLogic design.
650 1 4 _aComputer Science.
650 2 4 _aSoftware Engineering/Programming and Operating Systems.
650 2 4 _aProgramming Techniques.
650 2 4 _aProgramming Languages, Compilers, Interpreters.
650 2 4 _aTheory of Computation.
650 2 4 _aLogics and Meanings of Programs.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9781447163671
830 0 _aUndergraduate Topics in Computer Science,
_x1863-7310
856 4 0 _uhttp://dx.doi.org/10.1007/978-1-4471-6368-8
912 _aZDB-2-SCS
999 _c16421
_d16421