Classification of control of types in programs with complex data types

MaRDI QIDQ582877zbMATH OpenFDO

Authors A. V. Babichev

Publication date 1989

Published in Automation and Remote Control (Search for Journal in Brave)

zbMATH Keywords

program specificationdata types

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Data structures (68P05)

Recommendations

• scientific article; zbMATH DE number 1953279
• Types from Control Flow Analysis
• A theory for program and data type specification
• Program specification and data refinement in type theory
• Type-checking multi-parameter type classes
• scientific article; zbMATH DE number 3930968
• Specifying type systems
• scientific article; zbMATH DE number 4080882
• Type theories and object-oriented programmimg

This page was built for publication: Classification of control of types in programs with complex data types

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