Two for the Price of One: Lifting Separation Logic Assertions

समान संसाधन

• Two for the Price of One: Lifting Separation Logic Assertions
  द्वारा: Jacob Thamsborg, और अन्य
  प्रकाशित: (2012-09-01)
• Relational Parametricity and Separation Logic
  द्वारा: Birkedal, L, और अन्य
  प्रकाशित: (2008)
• Relational Parametricity and Separation Logic
  द्वारा: Birkedal, L, और अन्य
  प्रकाशित: (2007)
• Relational Parametricity and Separation Logic
  द्वारा: Lars Birkedal, और अन्य
  प्रकाशित: (2008-05-01)
• The Logical Significance of Assertion: Frege on the Essence of Logic
  द्वारा: Walter B. Pedriali
  प्रकाशित: (2017-08-01)