Traces of Control-Flow Graphs

DOI10.1007/978-3-642-02737-6_12MaRDI QIDQ3637222zbMATH OpenOpenAlexFDO

Authors Simone Campanoni, Stefano Crespi Reghizzi

Publication date 7 July 2009

Published in Developments in Language Theory (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-02737-6_12

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Formal languages and automata (68Q45)

Recommendations

• Efficient recognition of trace languages defined by repeat-until loops
• A unifying theory of control dependence and its application to arbitrary program structures
• scientific article; zbMATH DE number 3876561
• The program dependence graph and its use in optimization
• scientific article; zbMATH DE number 1333602

Cites work

• Determinizing Büchi asynchronous automata
• scientific article; zbMATH DE number 5254145 (Why is no real title available?)
• Local languages and the Berry-Sethi algorithm
• Modern Compiler Implementation in Java
• The program dependence graph and its use in optimization

Cited in

(2)

• scientific article; zbMATH DE number 2079640 (Why is no real title available?)
• Source-Based Trace Exploration

This page was built for publication: Traces of Control-Flow Graphs

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