Traces of Control-Flow Graphs

DOI10.1007/978-3-642-02737-6_12zbMath1247.68053OpenAlexW2154709499MaRDI QIDQ3637222

Stefano Crespi Reghizzi, Simone Campanoni

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

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

Cites Work

• Unnamed Item
• Local languages and the Berry-Sethi algorithm
• Determinizing Büchi asynchronous automata
• The program dependence graph and its use in optimization
• Modern Compiler Implementation in Java

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