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
scientific article; zbMATH DE number 1549510 - MaRDI portal

scientific article; zbMATH DE number 1549510

From MaRDI portal

Publication:4523165

Jump to:navigation, search

zbMath0965.68050MaRDI QIDQ4523165

Michael Marz

Publication date: 8 January 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

operational semantics denotational semantics domain theory semantics of programming languages

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Research exposition (monographs, survey articles) pertaining to computer science (68-02)

Related Items (2)

Call-by-push-value: Decomposing call-by-value and call-by-name ⋮ A relational account of call-by-value sequentiality

This page was built for publication:

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