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
Magma2: a language oriented toward experiments in control - MaRDI portal

Magma2: a language oriented toward experiments in control

From MaRDI portal

Publication:3330489

Jump to:navigation, search

DOI10.1145/1780.1784zbMath0542.68012OpenAlexW2049033163MaRDI QIDQ3330489

Franco Turini

Publication date: 1984

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

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

zbMATH Keywords

denotational semantics control primitives computation agents control abstractions control environments control regimes

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Theory of operating systems (68N25)

Related Items (1)

Uses Software

MAGMA-Lisp

This page was built for publication: Magma2: a language oriented toward experiments in control

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