TU Darmstadt / ULB / TUbiblio

On behavioural abstraction and behavioural satisfaction in higher-order logic

Hofmann, Martin ; Sannella, Donald (1996)
On behavioural abstraction and behavioural satisfaction in higher-order logic.
In: Theoretical Computer Science, 167 (1-2)
doi: 10.1016/0304-3975(96)00068-0
Artikel, Bibliographie

Kurzbeschreibung (Abstract)

The behavioural semantics of specifications with higher-order logical formulae as axioms is analyzed. A characterization of behavioural abstraction via behavioural satisfaction of formulae in which the equality symbol is interpreted as indistinguishability, which is due to Reichel and was recently generalized to the case of first-order logic by Bidoit et al., is further generalized to this case. The fact that higher-order logic is powerful enough to express the indistinguishability relation is used to characterize behavioural satisfaction in terms of ordinary satisfaction, and to develop new methods for reasoning about specifications under behavioural semantics.

Typ des Eintrags: Artikel
Erschienen: 1996
Autor(en): Hofmann, Martin ; Sannella, Donald
Art des Eintrags: Bibliographie
Titel: On behavioural abstraction and behavioural satisfaction in higher-order logic
Sprache: Englisch
Publikationsjahr: 1996
Verlag: Elsevier
Titel der Zeitschrift, Zeitung oder Schriftenreihe: Theoretical Computer Science
Jahrgang/Volume einer Zeitschrift: 167
(Heft-)Nummer: 1-2
DOI: 10.1016/0304-3975(96)00068-0
Kurzbeschreibung (Abstract):

The behavioural semantics of specifications with higher-order logical formulae as axioms is analyzed. A characterization of behavioural abstraction via behavioural satisfaction of formulae in which the equality symbol is interpreted as indistinguishability, which is due to Reichel and was recently generalized to the case of first-order logic by Bidoit et al., is further generalized to this case. The fact that higher-order logic is powerful enough to express the indistinguishability relation is used to characterize behavioural satisfaction in terms of ordinary satisfaction, and to develop new methods for reasoning about specifications under behavioural semantics.

Fachbereich(e)/-gebiet(e): 04 Fachbereich Mathematik
Hinterlegungsdatum: 19 Nov 2008 16:00
Letzte Änderung: 03 Aug 2023 11:57
PPN:
Export:
Suche nach Titel in: TUfind oder in Google
Frage zum Eintrag Frage zum Eintrag

Optionen (nur für Redakteure)
Redaktionelle Details anzeigen Redaktionelle Details anzeigen