Bertrand Meyer

Software engineering, programming methodology, languages, verification, general technology, publication culture, and more

Popular posts: 3
Total points: 472
HN comments: 267
Rank: #5,501 personal

Visit bertrandmeyer.com → RSS feedOn Hacker News Jul 2018 – Mar 2026

Software Engineering 3 Programming Languages 1 History & Retro Computing 1 Tech Industry & Business 1

Most points Most discussed Most cited Newest

Introduction to the Theory of Programming Languages (1991)

2022199 points54 comments Programming Languages details

Short version: the full text of my Introduction to the Theory of Programming Languages book (second printing, 1991) is now available. This page has more details including the table of chapters, and a link to the PDF (3.3MB, 448 + xvi pages). The book is a survey of methods for language description, particularly…