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
Theories of Programming - MaRDI portal

Theories of Programming

From MaRDI portal

Publication:5157282

Jump to:navigation, search

DOI10.1145/3477355zbMath1473.68016OpenAlexW4200437704MaRDI QIDQ5157282

No author found.

Publication date: 12 October 2021

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

zbMATH Keywords

scientific biography communicating sequential processes unifying theories of programming behavioral semantics verified software initiative computer science education efficient abstractions

Mathematics Subject Classification ID

Biographies, obituaries, personalia, bibliographies (01A70) Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) History of computer science (68-03)

Related Items (1)

Jifeng He at Oxford and beyond: an appreciation

This page was built for publication: Theories of Programming

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