Classification of control of types in programs with complex data types

zbMATH Open0691.68017MaRDI QIDQ582877FDOQ582877

Authors: A. V. Babichev 

Publication date: 1989

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

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

zbMATH Keywords

program specificationdata types

Mathematics Subject Classification ID

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

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)