The Functional Imperative: Shape!
No abstract available.
Related papers
- Resolving and exploiting the k-CFA paradox: illuminating functional vs. object-oriented program analysis PLDI 2010
- TurtleTalk: A DSL for Constraint-Based Turtle Graphics in Programmatic CAD GPCE 2026
- Shape Types POPL 1997
- Arithmetizing Shape Analysis CAV 2025
- A relational approach to interprocedural shape analysis TOPLAS 2010
- Expressing heap-shape contracts in linear logic GPCE 2006
- The essence of the Iterator pattern JFP 2009
- The Principles of the Flix Programming Language Onward! 2022