View in EDS PDF Full Text

Interprocedural Context-Unbounded Program Analysis Using Observation Sequences.

Saved in:
Bibliographic Details
Title: Interprocedural Context-Unbounded Program Analysis Using Observation Sequences.
Authors: PEIZUN LIU1, liu.pei@northeastern.edu, WAHL, THOMAS1, reps@cs.wisc.edu, REPS, THOMAS2, t.wahl@northeastern.edu
Source: ACM Transactions on Programming Languages & Systems; Dec2020, Vol. 42 Issue 4, p1-34, 34p
Database: Applied Science & Technology Source
Description
ISSN:01640925
DOI:10.1145/3418583