Interconvertibility of a class of set constraints and context-free-language reachability

DOI10.1016/S0304-3975(00)00049-9zbMATH Open0949.68087WikidataQ126296747 ScholiaQ126296747MaRDI QIDQ1583350FDOQ1583350

Authors: David Melski, Thomas Reps 

Publication date: 26 October 2000

Published in: Theoretical Computer Science (Search for Journal in Brave)

Recommendations

• Set constraints with intersection
• Set constraints with projections
• Set constraints in some equational theories
• Introduction to set constraint-based program analysis
• Formal language constrained reachability and model checking propositional dynamic logics

zbMATH Keywords

path problemprogram analysiscomplexity of program-analysis problemscontext-free-language reachabilitydefinite set constraints

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Cites Work

• Complete problems for deterministic polynomial time
• Title not available (Why is that?)
• On the security of ping-pong protocols
• Title not available (Why is that?)
• Program Slicing
• Title not available (Why is that?)
• Precise interprocedural dataflow analysis with applications to constant propagation
• Title not available (Why is that?)
• On the sequential nature of interprocedural program-analysis problems
• On the complexity of set-based analysis
• Title not available (Why is that?)
• The method of attributes for data flow analysis. II: Demand analysis
• On Live-Dead Analysis for Global Data Flow Problems
• On edge addition rewrite systems and their relevance to program analysis

Cited In (5)

• Source-tracking unification
• Simplifying subtyping constraints: a theory
• Type-based flow analysis and context-free language reachability
• The NFA acceptance hypothesis: non-combinatorial and dynamic lower bounds
• Generating Specialized Rules and Programs for Demand-Driven Analysis

This page was built for publication: Interconvertibility of a class of set constraints and context-free-language reachability

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