scientific article; zbMATH DE number 3911685

zbMATH Open0571.68010MaRDI QIDQ3687690FDOQ3687690

Authors:

Publication date: 1984

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

abstract data typesprogram controlalgebra of data domaininformation environmentinvariants of programs

Mathematics Subject Classification ID

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

Cited In (5)

• Search for invariant linear relationships in programs
• Deterministic and nondeterministic computation, and horn programs, on abstract data types
• Title not available (Why is that?)
• Title not available (Why is that?)
• Symbolic abstract data type inference

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)