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
Direct Implementation of Algebraic Specification of Abstract Data Types - MaRDI portal

Direct Implementation of Algebraic Specification of Abstract Data Types

From MaRDI portal

Publication:3923583

Jump to:navigation, search

DOI10.1109/TSE.1982.234770zbMath0469.68028WikidataQ111898482 ScholiaQ111898482MaRDI QIDQ3923583

Abha Moitra

Publication date: 1982

Published in: IEEE Transactions on Software Engineering (Search for Journal in Brave)

zbMATH Keywords

automatic implementation rewriting rules concrete model

Mathematics Subject Classification ID

Data structures (68P05)

This page was built for publication: Direct Implementation of Algebraic Specification of Abstract Data Types

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