scientific article; zbMATH DE number 3825150

MaRDI QIDQ3670543zbMATH OpenFDO

Authors Ulrich L. Hupbach, Heinz Kaphengst

Publication date 1983

zbMATH Keywords

algebraic specificationBasic PEARL compilerCanon specification method

Mathematics Subject Classification ID

Data structures (68P05) Theory of operating systems (68N25)

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 Q3670543)