Difference between revisions of "Matching Logic: An Alternative to Hoare Logic"

From FSL
Jump to: navigation, search
 
Line 1: Line 1:
<purge></purge><private>== AMAST'10 ==</private><pub id="rosu-ellison-schulte-2010-amast" template="PubDefaultWithAbstractAndTitle"> </pub>
+
<purge></purge><private>== AMAST'10 ==</private><pubbib id="rosu-ellison-schulte-2010-amast" template="PubDefaultWithAbstractAndTitle"/>
 
<private>==Submitted to AMAST'10==</private><pub id='rosu-ellison-schulte-2010-amast-submission' template='PubDefaultWithAbstractAndTitle'></pub>
 
<private>==Submitted to AMAST'10==</private><pub id='rosu-ellison-schulte-2010-amast-submission' template='PubDefaultWithAbstractAndTitle'></pub>
 
<private>==Submitted to LICS'10==</private><pub id='rosu-ellison-schulte-2010-lics-submission' template='PubDefaultWithAbstractAndTitle'></pub>
 
<private>==Submitted to LICS'10==</private><pub id='rosu-ellison-schulte-2010-lics-submission' template='PubDefaultWithAbstractAndTitle'></pub>
 
<private>==Submitted to ESOP'10==</private><pub id='rosu-ellison-schulte-2010-esop' template='PubDefaultWithAbstractAndTitle'></pub>
 
<private>==Submitted to ESOP'10==</private><pub id='rosu-ellison-schulte-2010-esop' template='PubDefaultWithAbstractAndTitle'></pub>

Latest revision as of 04:08, 8 April 2016

Matching Logic: An Alternative to Hoare/Floyd Logic
Grigore Rosu and Chucky Ellison and Wolfram Schulte
AMAST'10, Springer, pp 142-162. 2010
Abstract.
PDF, Slides(PPTX), Slides(PDF), Matching Logic, DOI, AMAST'10, BIB




Personal tools
Namespaces

Variants
Actions
Navigation