Crypt-equivalent algebraic specifications

DOI10.1007/BF02737100MaRDI QIDQ1095646zbMATH OpenOpenAlexFDO

Authors Martin Wirsing, Friedrich L. Bauer

Publication date 1988

Published in Acta Informatica (Search for Journal in Brave)

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

zbMATH Keywords

predicate logicpositive definabilityabstract semantic equivalencecrypt-equivalencefirst- order modelsimplementation equivalenceinductive simulation equivalencesemantic analysis of algebraic specificationsterm-generated models

Mathematics Subject Classification ID

Data structures (68P05)

Recommendations

• scientific article; zbMATH DE number 3898213
• scientific article; zbMATH DE number 3888893
• scientific article; zbMATH DE number 1368951
• Equivalence of recursive specifications in process algebra
• Publication:4503969

Cites work

• scientific article; zbMATH DE number 4007703 (Why is no real title available?)
• scientific article; zbMATH DE number 3653518 (Why is no real title available?)
• scientific article; zbMATH DE number 3688682 (Why is no real title available?)
• scientific article; zbMATH DE number 3714904 (Why is no real title available?)
• scientific article; zbMATH DE number 3723836 (Why is no real title available?)
• scientific article; zbMATH DE number 3733236 (Why is no real title available?)
• scientific article; zbMATH DE number 3774870 (Why is no real title available?)
• scientific article; zbMATH DE number 3784848 (Why is no real title available?)
• scientific article; zbMATH DE number 3549200 (Why is no real title available?)
• scientific article; zbMATH DE number 3550181 (Why is no real title available?)
• scientific article; zbMATH DE number 3581594 (Why is no real title available?)
• scientific article; zbMATH DE number 3248792 (Why is no real title available?)
• scientific article; zbMATH DE number 3079597 (Why is no real title available?)
• scientific article; zbMATH DE number 3103212 (Why is no real title available?)
• A simple transfer lemma for algebraic specifications
• Abstract data types and software validation
• Algebraic implementation of abstract data types
• Algebraic implementations preserve program correctness
• Ein vereinfachtes Axiomensystem für Gruppen.
• Final algebra semantics and data type extensions
• Initial Algebra Semantics and Continuous Algebras
• On hierarchies of abstract data types
• On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types
• Proof of correctness of data representations
• Simplification of the set of four postulates for Boolean algebras in terms of rejection
• The Theory of Representation for Boolean Algebras

Cited in

(2)

• Randnomness, computability, and algebraic specifications
• scientific article; zbMATH DE number 3970814 (Why is no real title available?)

This page was built for publication: Crypt-equivalent algebraic specifications

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