Action Semantics

Más información sobre el libro

Focusing on the formal description of programming languages, this book introduces Action Semantics, positioned between denotational and operational semantics. It emphasizes comprehensibility and accessibility while offering practical semantic descriptions of real programming languages. Dr. Peter Mosses provides a thorough introduction alongside substantial illustrations, making it a valuable resource for computer science or mathematics graduates interested in the semantics of programming languages.