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
Programming by successive refinement of data abstractions - MaRDI portal

Programming by successive refinement of data abstractions

From MaRDI portal

Publication:3867154

Jump to:navigation, search

DOI10.1002/SPE.4380100402zbMath0429.68019OpenAlexW2056537124MaRDI QIDQ3867154

James B. Morris

Publication date: 1980

Published in: Software: Practice and Experience (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/spe.4380100402

zbMATH Keywords

data abstraction type-checking structural programming hierarchical program development

Mathematics Subject Classification ID

Data structures (68P05) General topics in the theory of software (68N01)

Uses Software

Simula 67

Cites Work

Abstraction mechanisms in CLU

This page was built for publication: Programming by successive refinement of data abstractions

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