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

scientific article

From MaRDI portal

Publication:3935448

Jump to:navigation, search

zbMath0477.68012MaRDI QIDQ3935448

No author found.

Publication date: 1981

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

zbMATH Keywords

program verification abstract data types programming language design programming methodology

Mathematics Subject Classification ID

Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Specification and verification (program logics, model checking, etc.) (68Q60) Collected or selected works; reprintings or translations of classics (01A75) General topics in the theory of software (68N01) History of computer science (68-03)

Related Items (4)

A taxonomy of binary tree traversals ⋮ First order data types and first order logic ⋮ Programming with generators ⋮ Issues in the design of a parallel object-oriented language

This page was built for publication:

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