scientific article; zbMATH DE number 3485194

MaRDI QIDQ4068080zbMATH OpenFDO

Authors Matthew S. Hecht, Jeffrey D. Ullman

Publication date 1973

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Algorithms in computer science (68W99)

Cited in

(6)

• Correctness of parallel programs: The Church-Rosser approach
• Fast algorithms for the elimination of common subexpressions
• An algorithm for tracing live variables based on a straightened program graph
• May-happen-in-parallel analysis for actor-based concurrency
• Algebraic program analysis
• Properties of data flow frameworks: A unified model

This page was built for publication:

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