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
Code generation based on formal BURS theory and heuristic search - MaRDI portal

Code generation based on formal BURS theory and heuristic search

From MaRDI portal

Publication:1920230

Jump to:navigation, search

DOI10.1007/S002360050099zbMath0869.68030OpenAlexW2162455108MaRDI QIDQ1920230

Joost-Pieter Katoen, Albert Nymeyer

Publication date: 25 September 1996

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://research.utwente.nl/en/publications/code-generation-based-on-formal-burs-theory-and-heuristic-search(1c2cfa55-1f99-49df-b359-d0adafb2a313).html

zbMATH Keywords

formal techniques search algorithms code generation term rewrite systems compiler generators

Mathematics Subject Classification ID

Searching and sorting (68P10) Theory of compilers and interpreters (68N20) Grammars and rewriting systems (68Q42)

Related Items (1)

Pattern-matching algorithms based on term rewrite systems

This page was built for publication: Code generation based on formal BURS theory and heuristic search

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