Browsing Computer Science by Author "Zhu, Dengping"

OpenBU

Browsing Computer Science by Author "Zhu, Dengping"

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 ...

Search OpenBU


Advanced Search

Browse

Deposit Materials