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
Stratified operational semantics for safety and correctness of the region calculus - MaRDI portal

Stratified operational semantics for safety and correctness of the region calculus

From MaRDI portal

Publication:5178882

Jump to:navigation, search

DOI10.1145/360204.360217zbMath1323.68354OpenAlexW1972611814MaRDI QIDQ5178882

Cristiano Calcagno

Publication date: 17 March 2015

Published in: Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (3)

Syntactic Type Soundness for the Region Calculus ⋮ Typing Safe Deallocation ⋮ Syntactic type soundness results for the region calculus

This page was built for publication: Stratified operational semantics for safety and correctness of the region calculus

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