Higher order data types

DOI10.1007/BF00995808zbMath0425.68026OpenAlexW1983662941MaRDI QIDQ3860824

Thomas S. E. Maibaum, Carlos J. P. Lucena

Publication date: 1980

Published in: International Journal of Computer & Information Sciences (Search for Journal in Brave)

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

zbMATH Keywords

algebraic modelsprogramming methodologydatabase systemshigher order data types

Mathematics Subject Classification ID

Data structures (68P05)

Related Items

Higher-order order-sorted algebras, D-oids: a model for dynamic data-types, R n - and G n -logics, Universal algebra in higher types, Computable total functions on metric algebras, universal algebraic specifications and dynamical systems, Verifying an infinite systolic algorithm using third-order equational methods, An algebraic generalization of Frege structures -- binding algebras, An algebraic semantics of higher-order types with subtypes

Cites Work

• An Illustration of Current Ideas on the Derivation of Correctness Proofs and Correct Programs
• Initial Algebra Semantics and Continuous Algebras
• An axiomatic basis for computer programming
• Unnamed Item
• Unnamed Item