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
Dynamic template translators—a new device for specifying programming languages - MaRDI portal

Dynamic template translators—a new device for specifying programming languages

From MaRDI portal

Publication:3804225

Jump to:navigation, search

DOI10.1080/00207168708803593zbMath0656.68089OpenAlexW2055029202MaRDI QIDQ3804225

K. P. Mason

Publication date: 1987

Published in: International Journal of Computer Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/00207168708803593

zbMATH Keywords

formal specification production rules context free translation dynamic template translator

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) Theory of operating systems (68N25)

This page was built for publication: Dynamic template translators—a new device for specifying programming languages

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