Jenna DiVincenzo
1 indexed paper
Recent (6 mo)
1With code
0Influential cites
0Benchmarked
0Publications per year
126
Top categories
Prog. Lang.×1
Frequent co-authors
Research Timeline
2026
Gradually Verifying Unfolding Expressions & Pure Functions
This paper presents the formal semantics for unfolding expressions and pure functions in deductive program verifiers for increased modularity.
Highlighted terms show continued research focus across papers
Papers
cs.PLTheoreticalRecentJul 16, 2026
Gradually Verifying Unfolding Expressions & Pure Functions
Hazel Torek, Long Tien Nguyen, Priyam Gupta, Jenna DiVincenzo +1 more
This paper presents the formal semantics for unfolding expressions and pure functions in deductive program verifiers for increased modularity.
View →