scientific article

zbMath0970.68034MaRDI QIDQ2712587

Helmut Seidl, Bernhard Steffen

Publication date: 21 October 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

bitvector problemsinter-procedural program analysis

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Related Items

Precise interprocedural dependence analysis of parallel programs ⋮ Join-Lock-Sensitive Forward Reachability Analysis for Concurrent Programs with Dynamic Process Creation