Syntax-directed divide-and-conquer data-flow analysis

DOI10.1007/978-3-319-12736-1_21MaRDI QIDQ2789063zbMATH OpenOpenAlexFDO

Authors Shigeyuki Sato, Akimasa Morihata

Publication date 26 February 2016

Published in Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-12736-1_21

zbMATH Keywords

closed semiringdivide and conquersyntax-directed

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Structurally defined conditional data-flow static analysis
• Fuzzy array dataflow analysis
• Using locality of flow in dataflow analyses.
• COMPILE-TIME ANALYSIS AND OPTIMIZATION OF EXPLICITLY PARALLEL PROGRAMS*
• scientific article; zbMATH DE number 177787

This page was built for publication: Syntax-directed divide-and-conquer data-flow analysis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2789063)