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
Two-level grammar as an implementable metalanguage for axiomatic semantics - MaRDI portal

Two-level grammar as an implementable metalanguage for axiomatic semantics

From MaRDI portal

Publication:3768426

Jump to:navigation, search

DOI10.1016/0096-0551(86)90010-XzbMath0631.68070MaRDI QIDQ3768426

Barrett R. Bryant, Lee S. Hull, Balanjaninath Edupuganty

Publication date: 1986

Published in: Computer Languages (Search for Journal in Brave)

zbMATH Keywords

operational semantics programming languages axiomatic semantics syntax two-level grammar automatic program verification

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Two-level grammar as an implementable metalanguage for axiomatic semantics

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