• DocumentCode
    2203412
  • Title

    Initial algebra semantics

  • Author

    Goguen, J.A. ; Thatcher, J.W.

  • fYear
    1974
  • fDate
    14-16 Oct. 1974
  • Firstpage
    63
  • Lastpage
    77
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Switching and Automata Theory, 1974., IEEE Conference Record of 15th Annual Symposium on
  • Conference_Location
    USA
  • ISSN
    0272-4847
  • Type

    conf

  • DOI
    10.1109/SWAT.1974.13
  • Filename
    4569759
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2203412