Action Semantics

Autor*innen

• Peter D. Mosses

Reihen

• Cambridge Tracts in Theoretical Computer Science

Parameter

• 396 Seiten
• 14 Lesestunden

• Informatik & Programmierung

Mehr zum Buch

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.

• Sprache: Englisch
• Erscheinungsdatum: 2004
• Einband: Paperback