The syntactic-node data type for VDM

MaRDI QIDQ1817120zbMATH OpenFDO

Authors Yanyan Li

Publication date 13 May 1997

Published in Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

compilersspecification of programming languagessyntactic node data typeVDM specification language

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Theory of compilers and interpreters (68N20) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

This page was built for publication: The syntactic-node data type for VDM

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