Standard model semantics for DSL. A data type specification language

DOI10.1007/BF00263930zbMATH Open0548.68017OpenAlexW2128115821MaRDI QIDQ799366FDOQ799366

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

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

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)

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)