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
Synthesizing JIT compilers for in-kernel DSLs - MaRDI portal

Synthesizing JIT compilers for in-kernel DSLs

From MaRDI portal

Publication:2226758

Jump to:navigation, search

DOI10.1007/978-3-030-53291-8_29zbMath1478.68049OpenAlexW3042778520MaRDI QIDQ2226758

Publication date: 9 February 2021

Full work available at URL: https://doi.org/10.1007/978-3-030-53291-8_29

zbMATH Keywords

synthesis just-in-time compilation symbolic execution

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Theory of operating systems (68N25)

Related Items (1)

Approximate bit dependency analysis to identify program synthesis problems as infeasible

This page was built for publication: Synthesizing JIT compilers for in-kernel DSLs

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