scientific article; zbMATH DE number 3688675

zbMATH Open0441.68007MaRDI QIDQ3883458FDOQ3883458

Authors:

Publication date: 1980

Full work available at URL: https://eudml.org/doc/92127

Title of this publication is not available (Why is that?)

zbMATH Keywords

program schemesalgebraic semanticHoare rulesproof system for partial correctness of programs

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• First-order dynamic logic
• An axiomatic basis for computer programming
• Model theory.
• Soundness and Completeness of an Axiom System for Program Verification
• Guarded commands, nondeterminacy and formal derivation of programs
• Tree acceptors and some of their applications
• Program proving: KJumps and functions
• A New Incompleteness Result for Hoare's System
• An algebraic definition for control structures
• Title not available (Why is that?)
• Consistent and complementary formal theories of the semantics of programming languages
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (2)

• Étude et implémentation d'un système de déduction pour logique algorithmique
• Title not available (Why is that?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3883458)