scientific article; zbMATH DE number 3880080

MaRDI QIDQ3345751zbMATH OpenFDO

Authors Marc Bergman

Publication date 1982

zbMATH Keywords

Algebraic abstract data typesalgebraic specificationsfirst order logicpredicate logicPROLOG

Mathematics Subject Classification ID

Classical first-order logic (03B10) Data structures (68P05)

Recommendations

• Algorithmic specifications: a constructive specification method for abstract data types
• scientific article; zbMATH DE number 3890710
• scientific article; zbMATH DE number 3936493
• scientific article; zbMATH DE number 194509
• Algebraic specifications of computable and semicomputable data types

Cited in

(16)

• scientific article; zbMATH DE number 4129965 (Why is no real title available?)
• scientific article; zbMATH DE number 3936497 (Why is no real title available?)
• scientific article; zbMATH DE number 3942988 (Why is no real title available?)
• Algorithmic specifications: a constructive specification method for abstract data types
• scientific article; zbMATH DE number 58299 (Why is no real title available?)
• scientific article; zbMATH DE number 2172806 (Why is no real title available?)
• An algebraic presentation of predicate logic (extended abstract)
• A generic algebra for data collections based on constructive logic
• Algebraic methods in the compositional analysis of logic programs
• An Informal Approach to Formal (Algebraic) Specifications
• scientific article; zbMATH DE number 5263431 (Why is no real title available?)
• On the algebra of structured specifications
• scientific article; zbMATH DE number 5499339 (Why is no real title available?)
• Recent Trends in Algebraic Development Techniques
• Exceptions for algebraic specifications: On the meaning of ``but
• A constructive method for abstract algebraic software specification

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 Q3345751)