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
One approach to the specification and verification of translators - MaRDI portal

One approach to the specification and verification of translators

From MaRDI portal

Publication:801659

Jump to:navigation, search

zbMath0552.68002MaRDI QIDQ801659

A. A. Sulimov, V. A. Nepomnyashchij

Publication date: 1983

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

zbMATH Keywords

correctness specification and verification of translators syntactic and semantic analyzer verification of large programs

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05)

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