Programming Language Fundamentals: A Metalanguage Approach in Elm

Přední strana obálky
John Wiley & Sons, 23. 4. 2024 - Počet stran: 224
PROGRAMMING LANGUAGE FUNDAMENTALS

Understand the key principles of programming languages

Programming languages are the tools needed to let algorithms run on electronic computers. As they form the linguistic interface between humans and machines, the understanding of programming languages is essential for being able to control machine behavior. Programming Language Fundamentals offers a precise, comprehensive introduction to the principles that are the basis of most programming languages. Explaining both functional programming and logic programming, it presents a broad perspective on programming and constitutes an indispensable introduction to the foundations of programming languages.

Programming Language Fundamentals readers will also find:

  • Introduction to Elm as a metalanguage to encourage thinking and experimenting with programming languages in a formal way
  • Detailed discussion of topics including abstract syntax, semantics, types, and more
  • In-depth explanations of key concepts such as scope and parameter passing

Programming Language Fundamentals is ideal for undergraduate students in computer science, as well as researchers and practitioners working with programming languages who are looking to broaden their understanding of the field.

 

Vybrané stránky

Obsah

Introduction
1
Denotational Semantics
4
8
8
1
35
Syntax
49
Types
97
Scope
123
Parameter Passing
140
Logic Programming with Prolog
153
8
193
153
209
Autorská práva

Další vydání - Zobrazit všechny

Programming Language Fundamentals: A Metalanguage Approach in Elm
Martin Erwig
Omezený náhled - 2024

Běžně se vyskytující výrazy a sousloví

abstract syntax abstract syntax tree alice applied argument binary bindings block Bool call-by-name call-by-reference call-by-value computation concrete syntax Cond Consider the following contain data structure data type Define the semantic denotational semantics dynamic typing element Elm interpreter empty list Erwig eval evaluation example Exercise Expr Expr fact Figure foldr function application function call function definition functional programming goal grade grammar higher-order function hobby imperative languages imperative programming implementation inference rules integer left recursion let expression let x=1 List Int loop Martin Erwig metalanguage Node non-empty list non-terminal notation operation pair parameter passing schema params parse tree pattern matching predicate productions Prolog query recursive represent representation runtime stack Section semantic domain semantic function sentential form specific static type Stmt subgoal symbol terminal symbols trace true tuple type alias type checker type constructors type error type Int type system typing rules undefined variable

O autorovi (2024)

Martin Erwig, PhD, is the Stretch Professor of Computer Science in the School of Electrical Engineering and Computer Science at Oregon State University, USA. He is the author of the award-winning book Once Upon an Algorithm: How Stories Explain Computing. He serves as an Editorial Board Member of the Journal of Computer Languages and as an Associate Editor of the Journal of Visual Language and Computing.

Bibliografické údaje

NázevProgramming Language Fundamentals: A Metalanguage Approach in Elm
AutorMartin Erwig
VydavatelJohn Wiley & Sons, 2024
ISBN139425153X, 9781394251537
DélkaPočet stran: 224
  
Exportovat citaciBiBTeX EndNote RefMan