Stem intraprocedur$ (all stems)

5 papers:

SAS-2014-ChenHTWW #recursion #source code #using #verification

Verifying Recursive Programs Using Intraprocedural Analyzers (YFC, CH, MHT, BYW, FW), pp. 118–133.

LDTA-J-2009-SoderbergEHM #abstract syntax tree #analysis #syntax

Extensible intraprocedural flow analysis at the abstract syntax tree level (ES, TE, GH, EM), pp. 1809–1827.

LDTA-2008-Nilsson-NymanHME09 #analysis #declarative #java #source code

Declarative Intraprocedural Flow Analysis of Java Source Code (ENN, GH, EM, TE), pp. 155–171.

ICSM-1997-CifuentesF #bytecode #slicing

Intraprocedural Static Slicing of Binary Executables (CC, AF), p. 188–?.

PLDI-1997-YoungJKS #branch

Near-optimal Intraprocedural Branch Alignment (CY, DSJ, DRK, MDS), pp. 183–193.