Name Resolution

Release:

6.1.2

Date:

Oct 28, 2026

Stack graphs capturing the scoping structure of source code for name resolution, as in “Stack Graphs: Name Resolution at Scale”. Edges are the stack-graph transitions (push, pop, branch, epsilon) that carry names through scopes.

Graph	Num Nodes	Num Edges	Reachable pairs	Size (MB)	Download
jiaozi	54952	46322	14435	0.252	jiaozi.tar.gz 📥
jsonpath	185421	161488	59764	1.03	jsonpath.tar.gz 📥
shattered_pixel_dungeon	1179205	1017798	971998	5.13	shattered_pixel_dungeon.tar.gz 📥
libgdx	2571363	2321366	not available	11.54	libgdx.tar.gz 📥

Canonical grammars

The grammar file is attached to the archive.

\[\begin{split}\begin{aligned} S &\to \varepsilon \\ &\mid eps \quad S \\ &\mid Q \quad S \\ &\mid V \quad S \\ S\#psh_{i} &\to psh_{i} \quad S \\ S\#vpsh_{i} &\to vpsh_{i} \quad S \\ V &\to S\#vpsh_{i} \quad vpp_{i} \\ Q &\to S\#psh_{i} \quad pp_{i} \end{aligned}\end{split}\]