Sciweavers

36 search results - page 8 / 8
» On the Local and Global Means of Subtree Orders
Sort
View
TLDI
2010
ACM
198views Formal Methods» more  TLDI 2010»
15 years 6 months ago
Verifying event-driven programs using ramified frame properties
Interactive programs, such as GUIs or spreadsheets, often maintain dependency information over dynamically-created networks of objects. That is, each imperative object tracks not ...
Neel R. Krishnaswami, Lars Birkedal, Jonathan Aldr...