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
A Model for Implementing EUCLID Modules and Prototypes - MaRDI portal

A Model for Implementing EUCLID Modules and Prototypes

From MaRDI portal

Publication:3954795

Jump to:navigation, search

DOI10.1145/69622.357183zbMath0492.68013OpenAlexW2013267634MaRDI QIDQ3954795

Richard C. Holt, David B. Wortman

Publication date: 1982

Published in: ACM Transactions on Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/69622.357183

zbMATH Keywords

programming languages abstract data types processors language constructs run-time environments packages system implementation language parametrized type definitions verifiable systems software

Mathematics Subject Classification ID

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

This page was built for publication: A Model for Implementing EUCLID Modules and Prototypes

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