Semantics of program representation graphs

MaRDI QIDQ3400631zbMATH OpenFDO

Authors G. Ramalingam, Thomas Reps

Publication date 5 February 2010

zbMATH Keywords

operational semanticsprogram dependence graphs

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55) Graph theory (including graph drawing) in computer science (68R10)

Recommendations

• On the adequacy of dependence-based representations for programs with heaps
• scientific article; zbMATH DE number 3976320
• scientific article; zbMATH DE number 3876561
• scientific article; zbMATH DE number 1533817
• scientific article; zbMATH DE number 168428

Cited in

(3)

• Semantics for existential graphs
• scientific article; zbMATH DE number 3876614 (Why is no real title available?)
• On the adequacy of dependence-based representations for programs with heaps

This page was built for publication: Semantics of program representation graphs

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