Unified Algebras and Abstract Syntax

Authors

  • Peter D. Mosses

DOI:

https://doi.org/10.7146/brics.v1i5.21665

Abstract

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.

Downloads

Published

1994-03-03

How to Cite

Mosses, P. D. (1994). Unified Algebras and Abstract Syntax. BRICS Report Series, 1(5). https://doi.org/10.7146/brics.v1i5.21665