Hierarchical program specification and verification - a many-sorted logical approach
type: Item
instance of: scholarly article
title: Hierarchical program specification and verification - a many-sorted logical approach
zbMATH Open document ID: 0432.68011
DOI: 10.1007/BF00288541
author: Reiji Nakajima
author: Michio Honda
author: Hayao Nakahara
published in: Acta Informatica
publication date: 1980-01-01T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68N01
Mathematics Subject Classification ID: 68Q65
zbMATH DE Number: 3673505
zbMATH Keywords: hierarchical program specification
zbMATH Keywords: specification
zbMATH Keywords: many-sorted logic
zbMATH Keywords: validation of implementations
zbMATH Keywords: first order logic
zbMATH Keywords: verification
MaRDI profile type: Publication
cites work: Remarks on 'Program proving: Jumps and functions' by M. Clint and C.A.R. Hoare
cites work: Program proving: KJumps and functions
cites work: Q4138096
cites work: Abstract data types and software validation
cites work: Proof of correctness of data representations
cites work: Abstraction mechanisms in CLU
cites work: Q5537599
cites work: Axioms for total correctness
description: scientific article; zbMATH DE number 3673505