Proof systems for structured algebraic specifications: An overview

DOI10.1007/BFB0036169MaRDI QIDQ5055918zbMATH OpenOpenAlexFDO

Authors Rolf Hennicker, Martin Wirsing

Publication date 9 December 2022

Published in Fundamentals of Computation Theory (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bfb0036169

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 1368957
• Proof systems for structured specifications with observability operators
• scientific article; zbMATH DE number 1418375
• Structured algebraic specifications: A kernel language
• A proof system for conditional algebraic specifications

Cites work

• scientific article; zbMATH DE number 3837407 (Why is no real title available?)
• scientific article; zbMATH DE number 995878 (Why is no real title available?)
• scientific article; zbMATH DE number 4180831 (Why is no real title available?)
• scientific article; zbMATH DE number 3888893 (Why is no real title available?)
• scientific article; zbMATH DE number 3819086 (Why is no real title available?)
• scientific article; zbMATH DE number 3714904 (Why is no real title available?)
• scientific article; zbMATH DE number 1142323 (Why is no real title available?)
• scientific article; zbMATH DE number 4114587 (Why is no real title available?)
• scientific article; zbMATH DE number 3235223 (Why is no real title available?)
• Behavioural correctness of data representations
• Behavioural theories and the proof of behavioural properties
• Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
• Module algebra
• Proof systems for structured specifications with observability operators
• Proving Properties of Programs by Structural Induction
• Structured theory presentations and logic representations

Cited in

(11)

• scientific article; zbMATH DE number 1418375 (Why is no real title available?)
• Proof Theory, Semantics and Algebra for Normative Systems
• scientific article; zbMATH DE number 1324839 (Why is no real title available?)
• Structured algebraic specifications: A kernel language
• On the algebra of structured specifications
• scientific article; zbMATH DE number 6403889 (Why is no real title available?)
• scientific article; zbMATH DE number 2172806 (Why is no real title available?)
• A proof system for conditional algebraic specifications
• Proofs in parameterized specifications
• A framework for space complexity in algebraic proof systems
• scientific article; zbMATH DE number 1070623 (Why is no real title available?)

Describes a project that uses

Uses Software

• CoFI

This page was built for publication: Proof systems for structured algebraic specifications: An overview

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