[HN Gopher] Syntax and Semantics of Programming Languages
___________________________________________________________________
Syntax and Semantics of Programming Languages
Author : nill0
Score : 54 points
Date : 2025-11-01 16:02 UTC (7 days ago)
(HTM) web link (homepage.cs.uiowa.edu)
(TXT) w3m dump (homepage.cs.uiowa.edu)
| ks2048 wrote:
| It looks like this is the following book, if you want to read a
| two paragraph description (also a google search you lead you to a
| full-book PDF):
|
| https://www.amazon.com/-/es/Formal-Syntax-Semantics-Programm...
| froh wrote:
| Slonneger, Kenneth, and Kurtz, Barry L.. Formal syntax and
| semantics of programming languages : a laboratory based
| approach. United Kingdom, Addison-Wesley Publishing Company,
| 1995.
|
| as the Amazon app wants to switch country and closes if I
| don't. (party pooper).
|
| from the Preface:
|
| Laboratory Activities
|
| Chapter 2: Scanning and parsing Wren
|
| Chapter 3: Context checking Wren using an attribute grammar
|
| Chapter 4: Context checking Hollerith literals using a two-
| level grammar
|
| Chapter 5: Evaluating the lambda calculus using its reduction
| rules
|
| Chapter 6: Self-definition of Scheme (Lisp) Self-definition of
| Prolog
|
| Chapter 7: Translating (compiling) Wren programs following an
| attribute grammar
|
| Chapter 8: Interpreting the lambda calculus using the SECD
| machine Interpreting Wren according to a definition using
| structural operational semantics
|
| Chapter 9: Interpreting Wren following a denotational
| specification
|
| Chapter 10: Evaluating a lambda calculus that includes
| recursive defini- tions
|
| Chapter 12: Interpreting Wren according to an algebraic
| specification of the language
|
| Chapter 13: Translating Pelican programs into action notation
| following a specification in action semantics.
___________________________________________________________________
(page generated 2025-11-08 23:00 UTC)