Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
The syntactic-node data type for VDM - MaRDI portal

The syntactic-node data type for VDM

From MaRDI portal

Publication:1817120

Jump to:navigation, search

zbMATH Open0875.68643MaRDI QIDQ1817120

Publication date: 13 May 1997

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

zbMATH Keywords

compilers specification of programming languages syntactic node data type VDM specification language

Mathematics Subject Classification ID

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

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)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1817120&oldid=14172946"