scientific article; zbMATH DE number 192827

MaRDI QIDQ4039723zbMATH OpenFDO

Authors Peter A. Darnell, Philip E. Margolis

Publication date 5 June 1993

zbMATH Keywords

ANSI standardC programming languagehierarchy of data types

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited in

(9)

• scientific article; zbMATH DE number 1678996 (Why is no real title available?)
• scientific article; zbMATH DE number 49159 (Why is no real title available?)
• scientific article; zbMATH DE number 48057 (Why is no real title available?)
• scientific article; zbMATH DE number 464561 (Why is no real title available?)
• scientific article; zbMATH DE number 482896 (Why is no real title available?)
• scientific article; zbMATH DE number 578232 (Why is no real title available?)
• scientific article; zbMATH DE number 641213 (Why is no real title available?)
• scientific article; zbMATH DE number 945078 (Why is no real title available?)
• scientific article; zbMATH DE number 924950 (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 Q4039723)