Algebraic Approaches to Program Semantics (Monographs in Computer Science)
by Ernest G. Manes, Michael A. Arbib
Explores algebraic methods for modeling and analyzing the semantics of programming languages within a formal mathematical framework.
About This Book
This monograph presents algebraic techniques for modeling and analyzing the semantics of computer programs.
It provides a rigorous mathematical framework that connects abstract algebra with the formal study of programming languages.
The work is intended for researchers and advanced students interested in the theoretical foundations of computer science.
Reviews
No reviews yet. Be the first to review this book!