Standard model semantics for DSL. A data type specification language

DOI10.1007/BF00263930MaRDI QIDQ799366zbMATH OpenOpenAlexFDO

Authors N. E. Zubov

Publication date 1983

Published in Acta Informatica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf00263930

zbMATH Keywords

first order logicspecification languagedata type specificationinitial and final semanticsparameterized data typeswhile-program languageWPL

Mathematics Subject Classification ID

Data structures (68P05) Classical first-order logic (03B10)

Recommendations

• A second order theory of data types
• scientific article; zbMATH DE number 3956413
• scientific article; zbMATH DE number 554481
• Algebraic specifications of computable and semicomputable data types
• Weak monadic theories of the second order as a basis for creating data specification languages

This page was built for publication: Standard model semantics for DSL. A data type specification language

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