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
Data Flow Analysis for Procedural Languages - MaRDI portal

Data Flow Analysis for Procedural Languages

From MaRDI portal

Publication:4178475

Jump to:navigation, search

DOI10.1145/322123.322135zbMath0395.68031OpenAlexW1991133357MaRDI QIDQ4178475

Barry K. Rosen

Publication date: 1979

Published in: Journal of the ACM (Search for Journal in Brave)

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

zbMATH Keywords

Optimization Aliasing Boolean Expression Control Flow Data Flow Analysis Procedural Languages

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25) Algorithms in computer science (68W99)

Related Items

Dynamic program slicing ⋮ The method of attributes for data flow analysis. I: Exhaustive analysis ⋮ Data flow analysis of distributed communicating processes ⋮ Polymorphic type, region and effect inference

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