scientific article; zbMATH DE number 3911685

MaRDI QIDQ3687690zbMATH OpenFDO

Authors

Publication date 1984

zbMATH Keywords

abstract data typesalgebra of data domaininformation environmentinvariants of programsprogram control

Mathematics Subject Classification ID

Data structures (68P05) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Computability and implementability issues in abstract data types
• scientific article; zbMATH DE number 4007703
• Type inference, abstract interpretation and strictness analysis
• On the implementation of abstract data types by programming language constructs
• scientific article; zbMATH DE number 3898212
• scientific article; zbMATH DE number 3936490
• Abstract Data Types and Type Theory: Theories as Types
• Abstract data type systems
• Computer Science Logic

Cited in

(5)

• Symbolic abstract data type inference
• Search for invariant linear relationships in programs
• scientific article; zbMATH DE number 3934388 (Why is no real title available?)
• Deterministic and nondeterministic computation, and horn programs, on abstract data types
• scientific article; zbMATH DE number 2079998 (Why is no real title available?)

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