Unified Algebras and Abstract Syntax

Peter D. Mosses

March 1994


We consider the algebraic specification of abstract syntax in the framework of unified algebras. We illustrate the expressiveness of unified algebraic specifications, and provide a grammar-like notation for specifying abstract syntax, particularly attractive for use in semantic descriptions of full-scale programming languages.

Available as PostScript, PDF, DVI.


Last modified: 2003-06-08 by webmaster.