Axiomatic data type specifications: A first order theory of linear lists

DOI10.1007/BF00289260MaRDI QIDQ1153682zbMATH OpenOpenAlexFDO

Authors Daniel J. Moore, Bruce Russell

Publication date 1981

Published in Acta Informatica (Search for Journal in Brave)

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

zbMATH Keywords

data type specificationsformal first order theorylinear lists

Mathematics Subject Classification ID

Data structures (68P05) Abstract data types; algebraic specification (68Q65)

Cites work

• Abstract data types and the development of data structures
• An axiomatic basis for computer programming
• Contributions to the Theory of Optimal Control. A General Procedure for the Computation of Switching Manifolds
• scientific article; zbMATH DE number 3761372 (Why is no real title available?)
• scientific article; zbMATH DE number 3467028 (Why is no real title available?)
• scientific article; zbMATH DE number 3448070 (Why is no real title available?)
• scientific article; zbMATH DE number 3241254 (Why is no real title available?)
• scientific article; zbMATH DE number 3351184 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• Model theory
• On the completeness of the inductive assertion method
• Proof of a structured program: 'The sieve of Eratosthenes'
• Subgoal induction

Cited in

(2)

• On decidability of list structures
• Quantifier-free induction for lists

This page was built for publication: Axiomatic data type specifications: A first order theory of linear lists

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