Programming Paradigm Driven Heap Analysis
No abstract available.
Related papers
- Symbolic heap abstraction with demand-driven axiomatization of memory invariants OOPSLA 2010
- Model-based, event-driven programming paradigm for interactive web applications Onward! 2013
- InspectCoder: Dynamic Analysis-Driven Self Repair through Interactive LLM-Debugger Collaboration OOPSLA 2026
- Modular interprocedural pointer analysis using access paths: design, implementation, and evaluation PLDI 2000
- An Event-Driven Model-View-Controller Framework for Smalltalk OOPSLA 1989
- Fuzzing C++ Compilers via Type-Driven Mutation OOPSLA 2025
- Region-based shape analysis with tracked locations POPL 2005
- Precise reasoning with structured time, structured heaps, and collective operations OOPSLA 2019