1986 | OriginalPaper | Buchkapitel
Partially Additive Semantics
verfasst von : Ernest G. Manes, Michael A. Arbib
Erschienen in: Algebraic Approaches to Program Semantics
Verlag: Springer New York
Enthalten in: Professional Book Archive
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
In Section 1.5 we introduced guard functions and finite and infinite sums of partial functions and multifunctions and used these as tools to describe guarded commands and various conditional and repetitive constructs. All this was in Pfn or Mfn. The task of this chapter is to develop axioms on a general semantic category to make similar constructions possible in a wider context and to clarify the algebraic processes of manipulation and simplification as partly demonstrated by Example 1.5.31.