Two for the Price of One: Lifting Separation Logic Assertions

Lignende værker

• Two for the Price of One: Lifting Separation Logic Assertions
  af: Jacob Thamsborg, et al.
  Udgivet: (2012-09-01)
• Relational Parametricity and Separation Logic
  af: Birkedal, L, et al.
  Udgivet: (2008)
• Relational Parametricity and Separation Logic
  af: Birkedal, L, et al.
  Udgivet: (2007)
• Relational Parametricity and Separation Logic
  af: Lars Birkedal, et al.
  Udgivet: (2008-05-01)
• The Logical Significance of Assertion: Frege on the Essence of Logic
  af: Walter B. Pedriali
  Udgivet: (2017-08-01)