Programming Languages and Operational Semantics

A Concise Overview

Nonfiction, Computers, Programming, Software Development, General Computing
Cover of the book Programming Languages and Operational Semantics by Maribel Fernández, Springer London
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: Maribel Fernández ISBN: 9781447163688
Publisher: Springer London Publication: July 8, 2014
Imprint: Springer Language: English
Author: Maribel Fernández
ISBN: 9781447163688
Publisher: Springer London
Publication: July 8, 2014
Imprint: Springer
Language: English

This book provides an introduction to the essential concepts in programming languages, using operational semantics techniques. It presents alternative programming language paradigms and gives an in-depth analysis of the most significant constructs in modern imperative, functional and logic programming languages. The book is designed to accompany lectures on programming language design for undergraduate students. Each chapter includes exercises which provide the opportunity to apply the concepts and techniques presented.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

This book provides an introduction to the essential concepts in programming languages, using operational semantics techniques. It presents alternative programming language paradigms and gives an in-depth analysis of the most significant constructs in modern imperative, functional and logic programming languages. The book is designed to accompany lectures on programming language design for undergraduate students. Each chapter includes exercises which provide the opportunity to apply the concepts and techniques presented.

More books from Springer London

Cover of the book Analysis for Computer Scientists by Maribel Fernández
Cover of the book Guide to Biometrics for Large-Scale Systems by Maribel Fernández
Cover of the book Advances in Laparoscopy of the Abdominal Wall Hernia by Maribel Fernández
Cover of the book Therapeutic Management of Incontinence and Pelvic Pain by Maribel Fernández
Cover of the book Stability Theory of Switched Dynamical Systems by Maribel Fernández
Cover of the book Multiphysics Simulation by Maribel Fernández
Cover of the book Sexually Transmitted Diseases and AIDS by Maribel Fernández
Cover of the book Guide to Medical Image Analysis by Maribel Fernández
Cover of the book Engineering Asset Management and Infrastructure Sustainability by Maribel Fernández
Cover of the book Levodopa-Induced Dyskinesia in Parkinson's Disease by Maribel Fernández
Cover of the book Biologically Inspired Design by Maribel Fernández
Cover of the book Structural Health Monitoring Using Genetic Fuzzy Systems by Maribel Fernández
Cover of the book Making the e-Business Transformation by Maribel Fernández
Cover of the book Condition Monitoring Using Computational Intelligence Methods by Maribel Fernández
Cover of the book Guide to Cisco Routers Configuration by Maribel Fernández
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy