OpenBU

Browsing by Subject "Stateful view"

OpenBU

Browsing by Subject "Stateful view"

Sort by: Order: Results:

  • Xi, Hongwei; Zhu, Dengping; Li, Yanka (Boston University Computer Science Department, 2011-10-20)
    We present a type system that can effectively facilitate the use of types in capturing invariants in stateful programs that may involve (sophisticated) pointer manipulation. With its root in a recently developed framework ...