˜Theœ calculus of SPECTRUM

Abstract: "In this paper I present the logical calculus for the specification language SPECTRUM [BFG⁺93a, BFG⁺93b]. It is a three-valued variant of the calculus for the logic LCF [Pau87]. Familiarity with the technical report [GR94] in which the semantics of SPECTRUM is defined is assumed."...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Regensburger, Franz (VerfasserIn)
Format: UnknownFormat
Sprache:ger
Veröffentlicht: München 1994
Schriftenreihe:Technische Universität <München>: TUM-I 9424
Schlagworte:
Functional programming languages > Logic, Symbolic and mathematical
Online Zugang:Inhaltsverzeichnis
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:Abstract: "In this paper I present the logical calculus for the specification language SPECTRUM [BFG⁺93a, BFG⁺93b]. It is a three-valued variant of the calculus for the logic LCF [Pau87]. Familiarity with the technical report [GR94] in which the semantics of SPECTRUM is defined is assumed."
Beschreibung:18 S.