Formal syntax and semantics of programming languages
by Kenneth Slonneger · first published 1994
5mentions
2recommended by
3HN commenters
2019–2025first – last mentioned
67% recommend33% neutral
Affiliate links. As an Amazon Associate I earn from qualifying purchases.
Mentions per year
What Hacker News says
Related books
Software FoundationsBenjamin C. Pierce2011–2026
Software Foundations
Benjamin C. Pierce
Recommended by 58 · mentioned by 6058 recommend · 60 mention58 recommend · 6058 recommend
2008–2026Types and Programming Languages
Benjamin C. Pierce
Recommended by 132 · mentioned by 226132 recommend · 226 mention132 recommend · 226132 recommend
1) Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approach by Kenneth Slonneger and Barry Kurtz - https://homepage.divms.uiowa.edu/~slonnegr/ (PDFs are available on the web). 2) You may also find Cliff B. Jones' book Understanding…
on “Introduction to the Theory of Programming Languages (1991)” ↗…Computation from a formal system (i.e. language) pov and that is what needs to be communicated with the needed logical/mathematical knowledge inline. I have found the following useful in my study of PLT; Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approach by Ken Slonneger and Barry Kurtz - https://homepage.divms.uiowa.edu/~slonnegr/ and https://homepage.divms.uiowa.edu/~slonnegr/plf/Book/ Understanding Formal Methods by Jean-Francois…
on “Programming Language Theory has a public relations problem” ↗…from historical perspective. The Tiger book, "Compiling with Continuations" and "Lisp in Small Pieces" are some of my favourite ones. Then if you want to learn about language semantics validation, "Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approach".
on “Language Server Protocol implementation for Swift and C-based languages” ↗…not too familiar with Prolog, i have been intending to study it in depth given that it can be used to design Languages/DSLs/Expert Systems/ML. Here are some resources which i have been collecting; 1) Formal Syntax and Semantics of Programming Languages: A Laboratory-Based Approach by Ken Slonneger uses Prolog to design/implement languages - http://homepage.divms.uiowa.edu/~slonnegr/ and https://homepage.cs.uiowa.edu/~slonnegr/plf/Book/ 2) Defining…
on “Programming languages that blew my mind (2023)” ↗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…
on “Syntax and Semantics of Programming Languages (1995)” ↗