Standard model semantics for DSL. A data type specification language

DOI10.1007/BF00263930zbMath0548.68017OpenAlexW2128115821MaRDI QIDQ799366

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

specification languagefirst order logicdata type specificationinitial and final semanticsparameterized data typeswhile-program languageWPL

Mathematics Subject Classification ID

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

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