Open AccessUnified Algebras and Abstract Syntax
Author(s) -
Peter D. Mosses
Publication year - 1994
Publication title -
brics report series
Language(s) - English
Resource type - Journals
eISSN - 1601-5355
pISSN - 0909-0878
DOI - 10.7146/brics.v1i5.21665
Subject(s) - syntax , programming language , abstract syntax , computer science , notation , grammar , algebraic number , syntax error , algebra over a field , linguistics , mathematics , natural language processing , pure mathematics , arithmetic , mathematical analysis , philosophy
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.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom