Correctness of programs with Pascal-like procedures without global variables
type: Item
instance of: scholarly article
title: Correctness of programs with Pascal-like procedures without global variables
zbMATH Open document ID: 0534.68016
DOI: 10.1016/0304-3975(84)90066-5
published in: Theoretical Computer Science
publication date: 1984-01-01T00:00:00Z
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 3848595
zbMATH Keywords: Hoare-like system
zbMATH Keywords: second-order theory
zbMATH Keywords: expressiveness
describes a project that uses: ALGOL 68
author: Ernst-Rüdiger Olderog
MaRDI profile type: Publication
full work available at URL: 0304-3975(84)90066-5
OpenAlex ID: W2026086747
cites work: Ten Years of Hoare's Logic: A Survey—Part I
cites work: Q3898009
cites work: Q3899466
cites work: Q3939205
cites work: Q3919062
cites work: Programming Language Constructs for Which It Is Impossible To Obtain Good Hoare Axiom Systems
cites work: Effective Axiomatizations of Hoare Logics
cites work: Soundness and Completeness of an Axiom System for Program Verification
cites work: Q3854596
cites work: The IO- and OI-hierarchies
cites work: A sound and relatively* complete Hoare-logic for a language with higher type procedures
cites work: First-order dynamic logic
cites work: An axiomatic basis for computer programming
cites work: Q5626277
cites work: Pascal. User manual and report. 2nd ed
cites work: On correct procedure parameter transmission in higher programming languages
cites work: On termination problems for finitely interpreted ALGOL-like programs
cites work: The formal termination problem for programs with finite ALGOL 68-modes
cites work: Q3883459
cites work: Sound and complete Hoare-like calculi based on copy rules
cites work: Q3040481
cites work: On the notion of expressiveness and the rule of adaptation
cites work: Q5559220
cites work: Generic commands--a tool for partial correctness formalisms
Recommended article: Correctness of on-line partial evaluation for a Pascal-like language
Recommended article: Q3707370
Recommended article: Q3221385
Recommended article: Q4934533
Recommended article: An elementary and unified approach to program correctness
Recommended article: Correctness of programs which calculate recurrent consequences
Recommended article: Implementation of Functional Languages
Recommended article: Correctness of procedure representations in higher-order assembly language
description: scientific article; zbMATH DE number 3848595