Opening book details…
Can I read Action Semantics (Cambridge Tracts in Theoretical Computer Science, Series Number 26) on EtoBox?
Action Semantics (Cambridge Tracts in Theoretical Computer Science, Series Number 26) by Peter D. Mosses is a computer science book available to read on EtoBox.
What is Action Semantics (Cambridge Tracts in Theoretical Computer Science, Series Number 26) about?
Action Semantics is a novel approach to the formal description of programming languages. Its abstractness is at an intermediate level, between that of denotational and operational semantics. Action Semantics has considerable pragmatic advantages over all previous approaches, in its comprehensibility and accessibility, and especially in the usefulness of its semantic descriptions of realistic programming languages. In this volume, Dr Peter Mosses gives a thorough introduction to action semantics,
Who reads Action Semantics (Cambridge Tracts in Theoretical Computer Science, Series Number 26)?
It is typically read by working professionals who need an authoritative practice reference.
Common subject areas: medicine, law, business, engineering.
- Author
- Peter D. Mosses
- Publisher
- Cambridge University Press (Virtual Publishing)
- Published
- 1992
- Language
- EN
- ISBN
- 9780521403474
- Category
- computer science
- Subjects
- Mathematics, Engineering, Language Learning
- Updated
- 2026-03-25
More by Peter D. Mosses
Browse all works by Peter D. Mosses
Similar books
- Nominal Sets: Names and Symmetry in Computer Science (Cambridge Tracts in Theoretical Computer Science, Series Number 57) — Pitts, A. M. (Andrew M.) (2013)
- Domains and Lambda-Calculi (Cambridge Tracts in Theoretical Computer Science, Series Number 46) — Roberto M. Amadio; Pierre-Louis Curien (1998)
- Semantics with Applications: An Appetizer || — Hanne Riis Nielson PhD, Flemming Nielson PhD, DSc (auth.) (2007)
- Predicate Transformer Semantics (Cambridge Tracts in Theoretical Computer Science, Series Number 33) — Ernest G. Manes (2004)
- Lambda-calculus, Combinators and Functional Programming (Cambridge Tracts in Theoretical Computer Science, Series Number 4) — György E. Révész (1988)
- Semantics of Programming Languages (Prentice Hall International Series in Computer Science) — Tennent, R. D., 1944- (1991)
