A mathematical approximation of data types.

MaRDI QIDQ2756020zbMATH OpenFDO

Authors Alejandro Garcés Calvelo

Publication date 12 November 2001

Published in Revista Ciencias Matemáticas (Search for Journal in Brave)

zbMATH Keywords

denotational semantics

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 2012402
• scientific article; zbMATH DE number 3900134
• scientific article; zbMATH DE number 3854393
• Computability theory in admissible domains
• scientific article; zbMATH DE number 5545149

Cited in

(4)

• The essence of functional programming on semantic data
• An abstract data type for real numbers
• scientific article; zbMATH DE number 2012402 (Why is no real title available?)
• On extracting static semantics

This page was built for publication: A mathematical approximation of data types.

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