Utvidet returrett til 31. januar 2025

Programming Languages and Operational Semantics

- An Introduction

Om 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.

Vis mer
  • Språk:
  • Engelsk
  • ISBN:
  • 9780954300630
  • Bindende:
  • Paperback
  • Sider:
  • 156
  • Utgitt:
  • 30. januar 2004
  • Dimensjoner:
  • 153x229x10 mm.
  • Vekt:
  • 244 g.
  • BLACK NOVEMBER
Leveringstid: 2-4 uker
Forventet levering: 19. desember 2024

Beskrivelse av 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.

Brukervurderinger av Programming Languages and Operational Semantics



Finn lignende bøker
Boken Programming Languages and Operational Semantics finnes i følgende kategorier:

Gjør som tusenvis av andre bokelskere

Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.