Two for the Price of One: Lifting Separation Logic Assertions.

Keyphrases

• Separation Logic 100%
• Java 50%
• Type Theory 50%
• Relational Parametricity 50%
• Data Abstraction 50%
• Efficient Verification 50%
• Verification Tool 50%
• Relational Interpretation 50%
• Lifting Theorems 50%
• VeriFast 50%
• Challenging Programs 50%
• Logic-based 50%
• Observer Pattern 50%
• Client-side 50%
• Semantic Analysis 50%

Computer Science

• Data Abstraction 100%
• Observer Pattern 100%