Relational Parametricity and Separation Logic

類似資料

• Relational Parametricity and Separation Logic
  著者:: Birkedal, L, 等
  出版事項: (2007)
• Relational Parametricity and Separation Logic
  著者:: Lars Birkedal, 等
  出版事項: (2008-05-01)
• Two for the Price of One: Lifting Separation Logic Assertions
  著者:: Thamsborg, J, 等
  出版事項: (2011)
• Semantics of Separation−logic Typing and Higher−order Frame Rules
  著者:: Birkedal, L, 等
  出版事項: (2005)
• A Simple Model of Separation Logic for Higher−Order Store
  著者:: Birkedal, L, 等
  出版事項: (2008)