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 Model Predictive Vibration Control by Maribel Fernández
Cover of the book Creativity in the Digital Age by Maribel Fernández
Cover of the book Essentials of Chinese Medicine by Maribel Fernández
Cover of the book Biomedical Research by Maribel Fernández
Cover of the book Applications of Finite Element Methods for Reliability Studies on ULSI Interconnections by Maribel Fernández
Cover of the book Demand-Driven Associative Classification by Maribel Fernández
Cover of the book Coronary Artery Disease by Maribel Fernández
Cover of the book Computational Intelligence by Maribel Fernández
Cover of the book Essential Computer Animation fast by Maribel Fernández
Cover of the book Quasi-Dimensional Simulation of Spark Ignition Engines by Maribel Fernández
Cover of the book Cutaneous Drug Eruptions by Maribel Fernández
Cover of the book Topics in Physical Mathematics by Maribel Fernández
Cover of the book Atlas of the Patellofemoral Joint by Maribel Fernández
Cover of the book Men's Health by Maribel Fernández
Cover of the book Iterative Identification and Control 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