On behavioural abstraction and behavioural satisfaction in higher-order logic
type: Item
instance of: scholarly article
title: On behavioural abstraction and behavioural satisfaction in higher-order logic
zbMATH Open document ID: 0874.68196
DOI: 10.1016/0304-3975(96)00068-0
author: Martin Hofmann
author: Donald Sannella
published in: Theoretical Computer Science
publication date: 1997-02-27T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 983437
MaRDI profile type: Publication
full work available at URL: 0304-3975(96)00068-0
OpenAlex ID: W2073899607
cites work: Modular correctness proofs of behavioural implementations
cites work: Behavioural theories and the proof of behavioural properties
cites work: Behavioural and abstractor specifications
cites work: Q4105777
cites work: Q3956373
cites work: Completeness in the theory of types
cites work: Context induction: A proof principle for behavioural abstractions and algebraic implementations
cites work: Q4842536
cites work: The definition of Extended ML: A gentle introduction
cites work: Universal algebra in higher types
cites work: Q3687683
cites work: Q4385534
cites work: Q3816965
cites work: Q4729318
cites work: Q4725725
cites work: On observational equivalence and algebraic specification
cites work: Specifications in an arbitrary institution
cites work: Toward formal development of programs from algebraic specifications: Implementations revisited
cites work: Q3666260
cites work: Q4702598
cites work: Q4942099
cites work: Behavioural correctness of data representations
cites work: Two impossibility theorems on behaviour specification of abstract data types
cites work: Q4143279
cites work: Constructivism in mathematics. An introduction. Volume II
cites work: Q3141916
description: scientific article; zbMATH DE number 983437