Programming Languages and Operational Semantics

This Book Provides A Concise Introduction To The Essential Concepts In Programming Languages Using Techniques From Operational Semantics. It Is Addressed To Undergraduate Students As A Complement To Programming Languages Or Operational Semantics Courses. There Are Three Parts In The Book Highlighting Three Major Programming Paradigms: - Imperative Languages: The Main Features Of These Languages Are Illustrated Using Java C Pascal - 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. After A General Description Of Each Family Of Languages Their Semantics Are Studied Using Abstract Machines And Structural Operational Semantics. The Book Gives An In-Depth Analysis Of The Basic Concepts In Programming Languages Instead Of A Mere Survey Of Languages Privileging The Understanding Of The Basic Techniques Underlying The Semantics Of Languages Over Simply Describing Their Properties.