Optimal Dyck reachability for data-dependence and alias analysis

A fundamental algorithmic problem at the heart of static analysis is Dyck reachability. The input is a graph where the edges are labeled with different types of opening and closing parentheses, and the reachability information is computed via paths whose parentheses are properly matched. We present...

Celý popis

Podrobná bibliografie

Vydáno v:	Proceedings of ACM on programming languages Ročník 2; číslo POPL; s. 1 - 30
Hlavní autoři:	Chatterjee, Krishnendu, Choudhary, Bhavya, Pavlogiannis, Andreas
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	01.01.2018
ISSN:	2475-1421, 2475-1421
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!