cam a22 5 4500 317159283 CHVBK 20201009192933.0 m d cr |n |||||||| 140625s2014 xxk|||| s 0 0|eng d 978-1-4471-6368-8 978-1-4471-6367-1 (print) 10.1007/978-1-4471-6368-8 doi (SERSOL)ssj0001186556 (NEBIS)010157812 (IDSSG)000655356 (WaSeSS)ssj0001186556 WaSeSS QA76.758 UMZ bicssc UL bicssc COM051230 bisacsh 005.1 23 CH00102D2058A5B8D05D3C1257F07007013AC iCapture Fernández Maribel author Programming Languages and Operational Semantics [Elektronische Daten] A Concise Overview by Maribel Fernández London Springer London Imprint: Springer 2014 1 online resource (IX, 209 p. 10 illus.) online resource text file PDF rda Undergraduate Topics in Computer Science 1863-7310 Introduction -- 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. Lizenzbedingungen können den Zugang einschränken. License restrictions may limit access. Providing 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. FACHLICHE NACHSCHLAGEWERKE + FACHLEXIKA + HANDBÜCHER (DOKUMENTENTYP) ger (ETHUDK)000009236 ethudk SEMANTIK VON PROGRAMMIERSPRACHEN + SYNTAX VON PROGRAMMIERSPRACHEN ger (ETHUDK)000013701 ethudk Computer science Software engineering Information theory Logic design Online-Ressource gnd-carrier u SEMANTIK VON PROGRAMMIERSPRACHEN + SYNTAX VON PROGRAMMIERSPRACHEN ger 004*04*05*02*01 nebis E1 u FACHLICHE NACHSCHLAGEWERKE + FACHLEXIKA + HANDBÜCHER (DOKUMENTENTYP) ger (032) nebis E1 u SEMANTICS OF PROGRAMMING LANGUAGES + SYNTAX OF PROGRAMMING LANGUAGES eng 004*04*05*02*01 nebis E1 u SYNTAXE ET SÉMANTIQUE DES LANGAGES DE PROGRAMMATION fre 004*04*05*02*01 nebis E1 u OUVRAGES DE RÉFÉRENCE SPÉCIALISÉS + ENCYCLOPÉDIES SPÉCIALISÉES + MANUELS (TYPE DE DOCUMENT) fre (032) nebis E1 u SPECIALIZED REFERENCE WORKS + SPECIALIZED ENCYCLOPAEDIAS + HANDBOOKS (DOCUMENT TYPE) eng (032) nebis E1 SpringerLink (Online service) Printed edition 9781447163671 https://link.springer.com/10.1007/978-1-4471-6368-8 Uni Basel: Volltext BK020053 XK020053 XK020000 Springer Computer Science eBooks 2014 English/International E-Books von 360MarcUpdates EText nebis ED Computer Science (Springer-11645) nebis ER E01-Springer201406 nebis ER ebphzh eb-Springer idsuzh U2 Update201606 idsuzh U2 E65-Springer201606 nebis ER noalma ids I 094 E01-20141020 UPHZHEBO UPHZH-201606 NEBIS UPHZH UPHZH ULONL IDSSG HSG HSG ONL HONL000655356 IDSBB A145 A145 145VT IDSBB 100 1- Fernández Maribel author IDSBB 490 1- Undergraduate Topics in Computer Science 1863-7310 IDSBB 710 2- SpringerLink (Online service) IDSBB 776 08 Printed edition 9781447163671 IDSBB 856 40 https://link.springer.com/10.1007/978-1-4471-6368-8 Uni Basel: Volltext NEBIS 490 -- Undergraduate topics in computer science NEBIS 700 1- Fernández Maribel NEBIS 856 -- http://sfx.ethz.ch/sfx_locater?sid=ALEPH:EBI01&genre=book&isbn=9781447163671 Online via SFX Volltext IDSSG 490 0- Undergraduate Topics in Computer Science IDSSG 700 1- Fernández Maribel IDSSG 856 4- https://doi.org/10.1007/978-1-4471-6368-8 Full text for the University of St. Gallen SWISSBIB 317159283