Title :
Initial algebra semantics
Author :
Goguen, J.A. ; Thatcher, J.W.
Abstract :
Many apparently divergent approaches to specifying formal semantics for programming languages are applications of initial algebra semantics. Here we provide an overview of the concept of initial algebra semantics.
Keywords :
Algebra; Art; EMP radiation effects; Helium; Open systems; Radio access networks; Tellurium;
Conference_Titel :
Switching and Automata Theory, 1974., IEEE Conference Record of 15th Annual Symposium on
Conference_Location :
USA
DOI :
10.1109/SWAT.1974.13
