Formal Semantics of Programming Languages
I will be using this book for:
1 total vote
Log in to remove ads

Formal Semantics of Programming Languages

by Glynn Winskel

Mathematics Computer Science
1 Star 2 Star 3 Star 4 Star 5 Star
0.0 out of 5 stars (0 ratings)
View on Amazon View on BAM Trade it in for cash!

An introduction to the mathematical foundations and techniques for giving precise meaning to programming languages.

ISBN-13 9780262731034 ASIN 0262731037 Views 122 Publisher The MIT Press Year 1993 Format Paperback Product Group Book Pages 384 Adult No Created February 11, 2026 Updated October 04, 2026
About This Book

This book presents the core ideas of formal semantics for programming languages.

It introduces key mathematical structures and methods for defining language meaning.

Readers gain a systematic understanding of how programs can be rigorously specified and analyzed.

Reviews

No reviews yet. Be the first to review this book!

Write a Review
I will be using this book for:
1 total vote