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
Denotational engineering - MaRDI portal

Denotational engineering

From MaRDI portal

Publication:1825025

Jump to:navigation, search

DOI10.1016/0167-6423(89)90003-8zbMath0683.68010OpenAlexW2913136328MaRDI QIDQ1825025

Andrzej Blikle

Publication date: 1989

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0167-6423(89)90003-8

zbMATH Keywords

denotational semantics syntax many-sorted algebra methodology of software design

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Semantics in the theory of computing (68Q55) General topics in the theory of software (68N01)

Related Items (1)

On conservative extensions of syntax in system development

This page was built for publication: Denotational engineering

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